Matenme.

Sócrates es sabio y prudente.	Ss ∧ Ps
Si Sócrates es sabio, entonces también es prudente.	Ss → Ps
Nadie es sabio y además prudente.	¬∃x (Sx ∧ Px)
Todos los sabios son prudentes.	∀x (Sx → Px)

Me canse de hacer estas cosas.