Lógica proposicional: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 395:
Para estes casos usamos a '''disjunção exclusiva''' ou a '''bi-implicação''' combinada com a '''negação''', como veremos mais adiante.
==== Implicação ou Condicional ====
: A implicação, ou condicional (SE-ENTÃO), entre duas fórmulas só é falsa se a da esquerda (antecedente) for verdadeira e da direita (consequente) for falsa. A saber:
<div align="center">
| |||