Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA PROPOSIONAL - Coggle Diagram
LÓGICA PROPOSIONAL
-
Propriedades
EQUIVALÊNCIA
Duas proposições são equivalentes quando o valor lógico de todas as combinações possíveis for o mesmo para as duas
-
-
TAUTOLOGIA
Proposição que é sempre verdadira, independente das combinações dos valores
CONTRADIÇÃO
Proposição que é sempre falsa, independente da combinações dos valores
Princípios
- Identidade: Um proposição verdadeira é verdadeira e uma proposição falsa é falsa
- Terceiro excluído: Toda proposição deve ser ou verdadeira ou falsa, não existe outra possibilidade
- Não-contradição: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo
O que é Proposição?
Qualquer sentença que possa ser classificada como verdadeiro ou falso sem necessitar de nenhuma informação adicional
Exemplos
-
-
-
Se está chovendo, então a rua está molhada
-
-