Proposições II - RB

Proposições II - RB

1. Negação

   • OU
     • E
       • Hoje é sexta-feira OU amanhã choverá. Negaçao: Hoje não é sexta e amanhã não choverá
   • E
     • OU
       • Estudei bastante E fui aprovado. Negação: Não estudei bastante OU não fui aprovado.
     • NEM = E não = OU
   • Se então
     • MA NÉ
       • Mantém a primeira e Nega a segunda
   • Todos
     • Algum que não é
   • Bicondicional (se somente se)
     • Disjunção Exclusiva (OU OU)
   • Disjunção Exclusiva
     • Bicondicional
   • A negação de > é ≤ A negação de < é ≥ A negação de ≥ é < A negação de ≤ é >

2. Equivalência lógicas

   • Condicional (Se então)
     • Teorema do X: troca as frases de lugar e nega as duas.
       • P -->Q mesma coisa que ~Q -->~P
     • Teorema do Neuma: NEga o 1° ou Mantem o segundo
       • P -> Q mesma coisa que ~P v Q
       • P v Q mesma coisa que ~P -> Q
   • Atentar que se a frase original for verdadeira sua equivalência também será verdadeira e vice e versa
   • Bicondicional (se e somente se)
     • Condicional na ida e condicional na volta
       • P <--> Q mesma coisa (P-->Q) ^ (Q-->P)
       • P<-->Q mesma coisa que (P ^ ~Q) v (~P ^ Q)
   • Disjunção
     • P v Q é a mesma coisa que ~P-->Q

3. Lógica de Argumentação

   • Todas Premissas - Verdadeiras
     • Conclusão Falsa
       • Argumento Inválido
     • Conclusão Verdadeira
       • Argumento Válido
   • Conclusão Falsa
     • Todas Premissas Verdadeiras
       • Argumento Inválido
     • Alguma Premissa Falsa
       • Argumento Válido