Transcrierea limbajului natural n logica predicatelor

Toi S sunt P Nici un S nu este P Unii S sunt P Unii S nu sunt P

x (Sx Px) x (Sx Px) x (Sx ~Px)

x (Sx ~Px)

Exemple: 1. Exist csnicii fericite 3. Exist animale 4. Unicornii nu exist 5. Orice este posibil 6. Leii de mare sunt mamifere 7. n acele peteri triesc lei de mare x (Cx Fx) xAx ~xUx xPx x (Lx Mx) x (Lx Px) x (Ex ~Px) x (Ix Px) x (Dx Cx)

2. Fiecare pediatru doarme puin x (Px Dx)

8. Egoitii nu sunt o companie foarte plcut 9. Unii egoiti nu sunt punctuali x (Ex ~Px)

10. Numai prietenii apropiai au fost invitai la nunt

11. Nimeni altcineva, n afara cetenilor nu are drept de vot 12. Nici mcar un psiholog nu a venit la conferin ~x (Px Cx) sau x (Px ~ Cx) 13. Numai erpii i oprlele triesc n deert 14. Lmile i portocalele sunt citrice 15. Merele coapte sunt dulci i gustoase x [(Lx v Px) Cx]

x [Tx (Sx v x)]

16. Friptura e gustoas dac i numai dac e bine condimentat x [Fx (Gx Cx)] 17. Cinii si pisicile muc dac sunt speriai sau agresai x{(Cx v Px) [(Sx v Ax) Mx]} 18. Dac Elena este chimist, atunci unele femei sunt chimiste Ce x (Fx Cx) 19. Dac unii violoniti sunt dirijori, atunci unele orchestre sunt bine conduse x(Vx Dx) x (Ox Cx)

x [(Mx Cx) (Dx Gx)]