Aulas e Resumos

Previous

Proposições e conectivos
Vamos apresentar a disciplina e seus conceitos básicos, começando com proposições, conectivos, e tudo que os envolve.
8 aulas
Iniciar

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).
6 aulas
Iniciar

Construção de tabelas-verdade
Agora que já vimos o que são as Tabelas-verdade, aprenderemos como construí-las.
10 aulas
Iniciar

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.
6 aulas
Iniciar

Implicação lógica
Aqui veremos a definição de implicação lógica, suas propriedades e como ela funciona dentro das tautologias.
6 aulas
Iniciar

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.
8 aulas
Iniciar

Á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.
8 aulas
Iniciar

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".
8 aulas
Iniciar

Argumentos e regras de inferência
Aqui definiremos o conceito de argumento, definiremos a validade de um argumento juntamente com os critérios.
9 aulas
Iniciar

Quantificadores
Introdução à quantificadores e suas propriedades.
8 aulas
Iniciar
Next