Friday, May 13, 2016

Predicate Logic Translations (2)

19.) Whoever is a socialite is vain: ∀x(Sx ⇒ Vx)
20.) Any caring mother is vigilant and nurturing: ∀y[(Cy ∧ My⇒ (Vy ∧ Ny)]
21.) Terrorists are neither rational nor empathic: ∀z[Tx ⇒ (¬Rx  ¬Ex)
22.) Nobody consumed by jealousy is happy: ¬∃y(Cy ∧ Hy)
23.) Everything is imaginable: ∀w(Iw)
24.) Ghosts do not exist: ¬∃z(Gz)
25.) A thoroughbred is a horse: ∀y(Ty ⇒ Hy)
26.) A thoroughbred won the race: ∃z(Tz ∧ Wz)
27.) Not all mushrooms are edible: ∃x(Mx ∧ ¬Ex)
28.) Not any horse chestnuts are edible: ∀w(Hw ⇒ ¬Ew)
29.) A few guests arrived late: ∃x(Gx  Ax)
30.) None but gentlemen prefer blondes: ∀x(Px ⇒ Gx)
31.) A few cities are neither safe nor beautiful: ∃w[(Cw ∧ ¬Sw) ∧ ¬Bw]
32.) There are no circular triangles: ¬∃z(Cz ∧ Tz)
33.) Snakes are harmless unless they have fangs: ∀x[(Sx ∧ Fx) ⇒ ¬Hx]
34.) Some dogs bite if and only if they are teased: ∃y[(Dy ∧ By) ⇔ Ty]
35.) An airliner is safe if and only if it is properly maintained: ∀z[(Az ∧ Sz) ⇔ Pz]

No comments:

Post a Comment