Raciocínio Lógico

2682 materiais | 47398 seguidores
  • ...
  • Aulas e Resumos

    • Proposições e conectivos

      Vamos apresentar a disciplina e seus conceitos básicos, começando com proposições, conectivos, e tudo que os envolve.
    • Operações lógicas sobre proposições

      Aqui serão apresentadas as principais operações lógicas envolvendo proposições (Negação, Conjunção, Disjunção, Disjunção exclusiva, Condicional e Bicondicional).
    • Construção de tabelas-verdade

      Agora que já vimos o que são as Tabelas-verdade, aprenderemos como construí-las.
    • Tautologias, contradições e contingências

      Neste tópico, veremos o que é a tautologia, o princípio da substituição, a contradição em tabelas-verdade e a contingência em proposições compostas.
    • Implicação lógica

      Aqui veremos a definição de implicação lógica, suas propriedades e como ela funciona dentro das tautologias.
    • Equivalência lógica

      O objetivo deste tópico é apresentar o conceito de equivalência lógica, alguns teoremas envolvidos, a ideia de proposição associada a uma condicional e, por fim, as as propriedades das negações conjuntas e disjuntas.
    • Álgebra das proposições

      Aqui serão demonstradas as principais propriedades da conjunção, da disjunção, e por fim, das negações condicional e bicondicional.
    • Método dedutivo

      Todas as implicações e equivalências foram demonstradas até aqui com o auxílio das tabelas-verdade. Agora nós vamos exemplificar a demonstração de implicações e equivalências por um método mais eficiente, denominado "Método dedutivo".
    • Argumentos e regras de inferência

      Aqui definiremos o conceito de argumento, definiremos a validade de um argumento juntamente com os critérios.
    • Quantificadores

      Introdução à quantificadores e suas propriedades.
  • Exercícios Resolvidos

Carregar mais