Complessit`a Logica del primo ordine
Complessit`a Logica del primo ordine
Complessit`a Logica del primo ordine
Trasformi i suoi PDF in rivista online e aumenti il suo fatturato!
Ottimizzi le sue riviste online per SEO, utilizza backlink potenti e contenuti multimediali per aumentare la sua visibilità e il suo fatturato.
Il linguaggio puro dei predicati:<br />
Uguaglianza: assente;<br />
Esempi – 1<br />
Simboli di predicato n-ari: P n<br />
1 ,Pn<br />
2 ,...;<br />
Simboli di costante: c1,c2,...;<br />
Simboli di funzione n-ari, n>0: nessuno.<br />
Il linguaggio <strong>del</strong>la teoria degli insiemi:<br />
Uguaglianza: presente;<br />
Simboli di predicato: un simbolo di predicato binario ∈;<br />
Simboli di costante: ∅;<br />
Simboli di funzione n-ari, n>0: nessuno.<br />
M. Lenzerini Richiami di logica 22<br />
Esempi – 2<br />
Il linguaggio <strong>del</strong>la teoria elementare dei numeri:<br />
Uguaglianza: presente;<br />
Simboli di predicato: un simbolo di predicato binario
Cambia lingua