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.
