Proposições

Proposições

1. Imagem da valoração

   • Tautologia
     • Sempre verdade. Verdade estrutural nas operações. Invariante por proposições simples
   • Contradição
     • Sempre falsa. Análoga à tautologia
   • Contingência
     • Indeterminada

2. Operações entre proposições

   • Grupos de operações

3. Relações lógicas

   • Implicação lógica
     • Difere da condicional. A princípio não denota uma nova proposição
       • Equivale a uma condicional tautológica
     • É uma afirmação que só pode ser feita quando não ocorre P sendo V e Q sendo F simultaneamente. Neste caso, P implica Q.
     • É um símbolo e não uma operação. Tem significado, não é avaliado.
     • Trata-se de algo conclusivo
     • Regras de inferência/ Modus ponens/tollens
     • É uma relação: Reflexiva e transitiva
   • Equivalência lógica
     • Relação de equivalência
     • Equivale a uma bicondicional tautológica