Lógica proposicional: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 467:
Fica mais fácil lembrar a regra assim: só é falsa se P acontecer e Q não.
==== Bi-implicação ou Equivalência ====
: A bi-implicação, ou equivalência, entre duas fórmulas é verdadeira quando ambas são verdadeiras ou ambas são falsas.
<div align="center">
Linha 527:
* '''Interpretação''': "<math>P\leftrightarrow Q</math>" pode ser interpretada como "''<math>P\!\,</math> se e somente se <math>Q\!\,</math>''", "''<math>P\!\,</math> é equivalente a <math>Q\!\,</math>''", "''<math>P\!\,</math> e <math>Q\!\,</math> possuem o mesmo valor de verdade''".
Assim, se <math>P\!\,</math> significa "''
Na linguagem natural o problema está em confundir uma condição necessária como sendo a única possibilidade para se chegar ao resultado verdadeiro. Por exemplo, alguém pode estar chorando por tristeza, mas também porque está a descascar cebola. Para que haja a equivalência o raciocínio deve ser verdadeiro nos dois sentidos.
== Exemplo 1. Sistema axiomático simples ==
| |||