Iniciacao á lógica matemática /

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 - Valida...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: De Alencar Filho, Edgard
Formato: Libro
Lenguaje:Español
Publicado: Sao Paulo : Nobel, 2005.
Materias:
LOGICA MATEMATICA
Aporte de:Registro referencial: Solicitar el recurso aquí
Bibliotecas (ING-UNLP) de Universidad Nacional de La Plata
LEADER 01179Cam#a22002175a#4500
001 INGC-MON-018459
003 AR-LpUFI
005 20221019005616.0
008 131030s2002||||bl |||||||||||||||||spa d
020 |a 852130403X 
040 |a AR-LpUFI  |b spa  |c AR-LpUFI 
080 |a 164 
100 1 |a De Alencar Filho, Edgard.   |9 303670 
245 1 0 |a Iniciacao á lógica matemática /   |c Edgard De Alencar Filho. 
260 |a Sao Paulo :   |b Nobel,   |c 2005. 
300 |a 203 p. 
520 2 |a 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. 
650 4 |a LOGICA MATEMATICA  |9 265406 
929 |a 40337 DON Lafuente 
942 |c LIB  |6 _ 
999 |a GEB  |c 18458  |d 18458 

Ejemplares similares