Lógica

Lógica

1. Aristotélica

   • Proposição
     • Informação Completa
     • Verdadeira ou Falsa
       • Não pode ser os dois ao mesmo tempo.
         • Não contradição
       • Valor Lógico
         • Valor de Verdade
       • Terceiro excluído
     • Verbo
     • Não são proposição
       • Interrogativa - Pergunta
       • Exclamativa
       • Imperativa - Ordem
       • Sentença aberta
         • Não permite classificação - variável/Vaga
           • Português - Ele/Ela/Aquele/Aquela
           • Matemática - X/Y
           • Exceção - Todo, nenhum, se, então, algum...
       • Cuidado!
       • Paradoxo
         • Verdadeira e falsa ao mesmo tempo.
           • Exemplo: Eu estou mentindo.
         • Situação sem solução.
           • Exemplo: Quem cortará o cabelo do Barbeiro?
     • Proposição Composta
       • Duas ou mais informações
         • Conectivo Lógico
           • Conectivo E: Conjunção
             • Estudo e passo. Simbologia: P^Q
               • Sinônimos
                 • Vírgula: Estudo, passo.
                 • Mas: Estudo, mas vou ao parque. (Não é a virgula que manda, pode vir sem vírgula antes do mas.
                 • Conjunções adversativas (Porém, contudo, entretanto...): Estudo entretanto passo.
                 • Nem (E + Não): Não vou ao parque nem vou estudar/Nem vou ao parque, nem vou estudar.
                 • Como: Estudo como passo.
             • Exceção: 1 Verbo: Simples/2 verbos ou +: Composta
           • Conectivo OU: Disjunção
             • Estudo ou passo. Simbologia: PvQ
               • Não tem sinônimo.
           • Conectivo OU...OU...: Disjunção exclusiva.
             • Ou estudo ou passo. Simbologia: P⊕Q
               • Sinônimos
                 • Usa o OU normal + já que não é possível ocorrer as duas.
           • Conectivo Se... então: Condicional
             • Se estudo, então passo. Simbologia P->Q
               • Mais importante!!!
               • Sinônimos
                 • Vírgula: Se estudo, passo.
                 • Quando: Quando estudo, passo.
                 • Como: Como estudo, passo.
                 • Sempre que: Sempre que estudo, passo.
                 • ...Logo: Estudo logo passo.
                 • ...Consequentemente: Estudo consequentemente passo.
                 • ...Pois/Porque (invertida): Passo pois estudo.
                 • ...É uma consequência de... (invertida): Passar é uma consequência de estudar. Somente será se/então se tiver um verbo.
                 • ...É suficiente para...: Estudar é suficiente para passar.
                 • ...É necessário para... (invertida): Passar é necessário para estudar.
           • conectivo Se, e somente se: Bicondicional
             • Estudo se, e somente se passo. Simbologia: P<->Q
               • Sinônimos
                 • ...É suficiente e necessário para: Passar é suficiente e necessário para estudar.
                 • ...É equivalente a: Passar é equivalente a estudar.
           • Conectivo: Não (negação)
             • Estudo. Não estudo. Simbologia: ~P ou ¬P
     • Proposição Simples

2. Identidade

   • Toda proposição é igual a si mesma.
   • Alguns autores acrescem esse princípio.