LÓGICA: CÁLCULO DE PREDICADOS E TABLÔS SEMÂNTICOS

 Nathalia Gleyce dos Santos Salazar

Este trabalho apresenta o sistema dos tablôs semânticos na linguagem do cálculo de predicados (CQC) pelo método indireto, cogitando a refutação da fórmula principal. Mostramos como se desenvolvem a linguagem do CQC. Os procedimentos de prova têm como objetivo atribuir valores de verdade às fórmulas.