Da notare che si richiede una segnatura ed una struttura per
entrambe le affermazioni.
Non una segantura ed una struttora per ogni singola affermazione.
La segnatura sara'
{{20,Carlo0,Bruno0,Alberto0,q2,d2},{>2,Par2,Nat1,Pers1}}
Come struttura prendiamo la tripla <A,F,P> dove:
il supporto A
e' l'insieme dei numeri Naturali unito a quello delle persone;
F associa alla costante(funzione 0-aria) '2' il numero naturale 2,
a 'Carlo' una certa persona di nome Carlo, a 'Bruno' una certa persona di
nome Bruno e a 'Alberto' una certa persona di nome Alberto;
P associa a 'q' la funzione quadrato sui naturali, a 'd' la funzione doppio,
a 'Par' il predicato binario "essere parente di", a 'Nat' il predicato "essere un numero naturale", a 'Pers' il predicato "essere una persona".
-
∀ x. ((Nat(x)∧(x>2)) → (q(x)>d(x)))
-
∃ x. (Pers(x)∧Par(x,Carlo)∧Par(x,Bruno)∧¬Par(x,Alberto))