TY  - BOOK
AU  - De Alencar Filho,Edgard
TI  - Iniciacao á lógica matemática /  
SN  - 852130403X
PY  - 2005///
CY  - Sao Paulo : 
PB  - Nobel, 
KW  - LOGICA MATEMATICA
N2  - Proposicoes conectivos - Operacoes lógicas sobre proposicoes - Construcao de tabelas-verdade - Tautologias, contradicoes e contingencias - Implicao lógica - Equivalencia lógica - Algebra das proposicoes - Método dedutivo - Argumentos. Regras de inferencia - Validade mediante tableas-verdade - Validade mediante regras de inferencia - Validade mediante regras de inferencia e quivalencias - Demostracao condicional e demosntracao indireta - Sentencas abertas - Operacoes lógicas sobre sentencas abertas - Quantificadores - Quantificao de sentencas abertas com mais de uma variavel
ER  -