Iniciação à lógica matemática /
Edgard de Alencar Filho. -
- 1. ed.
- São Paulo: Nobel, 2002.-
- 203 p.
Ciências: Matemática. Lógica simbólica e matemática. Proposições. Conectivos. Operações lógicas sobre as proposições. Implicação lógica. Equivalência lógica. Álgebra das proposições. Validade mediante tabelas-verdade.