Caro autor,
A resposta ao exercício 3 está incompleta já que a explicação chegou até a proposição A v B omitindo o passo seguinte que seria a negação de B para concordar com o proposto no enunciado.
Atenciosamente.
Mathias Abramovic
Está corrigido! Muito obrigado! --Dante 04h09min de 10 de Junho de 2007 (UTC)
O histórico anterior da página foi arquivado para fins de backup em Discussão:Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas de Verdade/Resolução dos Exercícios/Arquivo LQT 1 em 2015-11-03.