TY  - BOOK
T1  - Iniciacao á lógica matemática
A1  - De Alencar Filho, Edgard
LA  - Spanish
PP  - Sao Paulo
PB  - Nobel
YR  - 2005
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dfi.18458
AB  - 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.
OP  - 203
SN  - 852130403X
KW  - LOGICA MATEMATICA
ER  -