Lógica/Cálculo Quantificacional Clássico

Voltar para o Índice de Lógica

Índice

  1. Introdução
  2. Constantes, Variáveis e Quantificadores
  3. Estruturas
  4. Tablôs semânticos no CQC
  5. Dedução Natural no CQC
  6. Identidade e Símbolos Funcionais
Este artigo é emitido por Wikilivros. O texto é licenciado sob Creative Commons Attribution-Share Alike 4.0. Termos adicionais podem ser aplicados aos arquivos de mídia.