Negación de una implicación
¿Cómo escribir la negación[1] de una proposición
?
Según el sentido mismo de la implicación[2] se ve de inmediato que
La proposición
es equivalente a
¿Cómo escribir la negación[1] de una proposición
?
Según el sentido mismo de la implicación[2] se ve de inmediato que
La proposición
es equivalente a
Conector "no". Cuando se tiene una proposición
es lo contrario de
es decir, la proposición que es verdadera cuando
es falsa, e, inversamente, que es falsa cuando
es verdadera.
Conector "implica". Si se tiene dos proposiciones
y
significa que si
es verdadera, entonces
también lo es.
Se indica como