Expresiones equivalentes

Expresiones equivalentes a “Y” p˄q	-          Peano habla y Quine duerme -          Peano habla pero Quine duerme -          Peano habla aunque Quine duerme -          Peano habla sin embargo Quine duerme -          Peano habla, Quine Duerme -          A pesar de que Peano habla, Quine duerme
Expresiones equivalentes a “O” Pvq	-          Peano habla o Quine duerme -          Peano habla, a menos que Quine duerma
Expresiones equivalentes a “NO” ¬p	-          Peano no habla -          No es el caso que Peano hable -          No ocurre que Peano hable -          No es cierto que Peano habla
Expresiones equivalentes a “SI…ENTONCES” pàq	-          Si Peano habla (entonces) Quine duerme -          Cuando Peano habla, Quine duerme -          Que Peano hable, es suficiente para que Quine duerma -          Que Peano hable, implica que Quine duerma -          Siempre que Peano habla, Quine duerme -          Quine duerme si Peano habla -          Quine duerme en caso de que Peano hable -          Quine duerme supuesto que Peano hable
Expresiones equivalentes a “Si Y SÓLO SI” p↔q	-          Peano habla si y solo si Quine duerme -          Peano habla cuando y sólo cuando Quine duerme -          Que Peano hable es necesario y suficiente para que Quine duerma -          Que Peano hable equivale a que Quine duerma -          Peano habla, en el caso y sólo en el caso, de que Quine duerma

Aquí tenemos varios trucos para formalizar. Cuando nos encontremos, en el lenguaje natural, con esta serie de expresiones (las de la derecha), ya sabemos qué conectiva usar en cada caso.