Conceito de proposição

• O que é uma proposição
• O que não é uma proposição
• Proposições simples
• Operadores lógicos
  • e, ou, se então
• Proposições compostas
• Sentenças abertas

Tabelas-verdade

• O que é uma tabela-verdade
• Conectivos lógicos
  • Conjunção (e)
  • Disjunção inclusiva (ou)
  • Disjunção exclusiva (ou... ou...)
  • Condição (se então)
  • equivalência (se, e somente se)
• Operações com os conectivos lógicos

Tautologia, contradição e contingência

• Tautologias
• Contradições
• Contingências
• Condicional tautológico

leis de De Morgan

• Negação de proposições
• Leis de De Morgan
  • Negação da conjunção (e)
  • Negação da disjunção (ou)
• Correlação das Leis de De Morgan com o condicional

Algumas equivalências lógicas

• Revisão das leis de De Morgan
  • Negação da disjunção (ou)
  • Negação da conjunção (e)
• Negação do condicional (se então)
• Equivalências entre
  • As Leis de De Morgan e o condicional

Mais um pouco sobre equivalências lógicas

• Proposição contrapositiva
• Proposição inversa
• Proposição recíproca
• Equivalências com o condicional (se então)

Análise de argumentos

• O que é um argumento
• Proposições de um argumento
  • O que são premissas
  • O que é uma conclusão
  • Como identificar uma conclusão
• Validade de um argumento

• Análise da validade de um argumento
  • Análise sem tabelas-verdade
  • Análise com tabelas-verdade

Validade e verdade

• Revisão sobre argumentos
• Componente lógico de um argumento
• Componente de verdade de um argumento
• Como identificar um argumento válido
• Como identificar um argumento inválido
  • Falácias
  • Sofismas

Teoria dos conjuntos e diagramas de Venn

• Conjuntos
• Intersecção de conjuntos
• União de conjuntos
• Universo dos conjuntos
• Diagramas de Venn
• Análise com diagramas de Venn

As quatro proposições categóricas e o quadrado lógico

• O que são proposições categóricas
• Quadrado lógico e as proposições categóricas
  • Todo S é P (Universal afirmativa)
  • Nenhum S é P (Universal negativa)
  • Algum S é P (Particular afirmativa)
  • Algum S não é P (Particular negativa)
• Proposições contraditórias
• Proposições contrárias
• proposições subcontrárias
• Proposições subalternas

Sobre os silogismos

• Silogismos
  • Disjuntivo
  • Condicional
    • Modus ponens
    • Modus tollens
  • Conjuntivo (Adição)
  • Hipotético
• Silogismo categórico

Análise dos silogismos categóricos com diagramas de Venn

• Silogismos categóricos
  • Premissas
    • Duas proposições categóricas
  • Conclusão
    • Uma proposição categórica
• Modos dos silogismos categóricos
• Números dos silogismos categóricos
• Análise dos silogismos categóricos
  • Com diagramas de Venn
• Conexões dos silogismos categóricos
  • Com as leis de De Morgan
  • Com a disjunção (ou)
  • Com a conjunção (e)
  • Com a condição (se então)