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.
Esempi di formule ben formate<br />
Alcuni medici sono arroganti<br />
Tutti gli operai faticano<br />
a) ∃x(Medico(x) ∧ Arrogante(x))<br />
b) ∀x(Operaio(x) → F atica(x))<br />
Tutti i pasticcieri sanno fare la pasta frolla<br />
Tutti i cuochi eccellono in almeno un piatto<br />
c) ∀x(P asticciere(x) → SaF are(x, pastafrolla))<br />
d) ∀x(Cuoco(x) →∃y(P iatto(y) ∧ Eccelle(x, y)))<br />
M. Lenzerini Richiami di logica 24<br />
Termini<br />
L’insieme Term dei termini di L1 è definito induttivamente come segue:<br />
1. Ogni simbolo di costante e di variabile è un termine;<br />
2. Se t1 ...tn sono termini e f è un simbolo di funzione n-aria, allora<br />
f(t1,...,tn) è un termine (detto termine funzionale).<br />
Esempi: x, c, f(x, y + c),. . .<br />
M. Lenzerini Richiami di logica 25
Cambia lingua