Diferenças entre edições de "Lógica proposicional"

44 bytes adicionados ,  15h29min de 25 de agosto de 2013
m
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">
317

edições