000			02834nam a22002657a 4500
003			OSt
005			20250110141759.0
008			231120b2009 xxu||||| |||| 00| 0 spa d
020			_a9786074422092
040			_c00001 _aUnicoc _bspa _d00001
100			_aBustamante Arias, Alfonso _911503
245			_aLógica y argumentación _b: De los argumentos inductivos a las álgebras de Boole _c/ Alfonso Bustamante Arias
250			_a1 Ed.
260			_aBogotá : _bPearson , _c2009
300			_a294 Paginas.
505			_tCAPÍTULO 1: Lógica y argumentación. -- _tlógica y cotidianidad. -- _tFrases y proposiciones. -- _tRazonamiento y argumentación. -- _tUna clasificación de los razonamientos. -- _tRazonamientos inductivos. -- _tCAPÍTULO 2: El silogismo categórico. -- _tAfirmaciones categóricas y proposiciones categóricas. -- _tEl silogismo categórico. -- _tRepresentación de proposiciones categóricas mediante diagramas de Venn. -- _tCondiciones necesarias, suficientes y suficientes y necesarias. -- _tFalacias lógicas. -- _tProblemas lógicos o de razonamiento lógico. -- _tCAPÍTULO 3: Lógica simbólica . Lógica proposicional. -- _tEl lenguaje de la lógica proposicional, L(P). -- _tFórmulas bien formadas. sintaxis en la lógica proposicional. -- _tContenido semántico de las fórmulas bien formadas. -- _tRepresentación simbólica. -- _tConectivos lógicos y tablas de verdad. -- _tFórmulas lógicamente equivalentes. -- _tEquivalencias y cálculo proposicional. -- _tConsecuencia lógica. -- _tRazonamiento válido. -- _tReglas de inferencia. deducción natural. -- _tRegla de la deducción. -- _tInconsistencia. -- _tEl método indirecto en las pruebas de validez de razonamientos. -- _tCAPÍTULO 4: Lógica Simbólica - Fundamentos de cálculo de predicados. -- _tLimitaciones de la lógica proposicional. -- _tEl cálculo de predicados. -- _tEl alfabeto del cálculo de predicados. -- _tCuantificadores. -- _tInterpretaciones en el cálculo de predicados. -- _tRepresentación simbólica en el cálculo de predicados. -- _tNegación de cuantificadores. -- _tCondiciones suficientes y condiciones necesarias. -- _tValidez de razonamientos en el cálculo de predicados. -- _tCAPÍTULO 5: Demostración formal y álgebras de Boole. -- _tTeoremas y técnicas de demostración. -- _tConjuntos . -- _tÁlgebras de Boole.
526			_5Unicoc
546			_aEspañol
650		0	_aArgumentación, retórica, interpretación y hermenéutica _98661
650		0	_aLógica _94715
650		0	_a Lógica simbólica y matemática _98980
658		0	_98008 _aPrograma de Derecho
856			_uhttps://unicoceduco-my.sharepoint.com/:b:/g/personal/direccionbiblioteca_unicoc_edu_co/EVlrEzGilQ1MkG_bWmgMhnwBzVN-h97umD4J0-K5BCvQSw?e=eh20bs _yAcceso online exclusivo para comunidad Unicoc.
942			_2ddc _cEBOOK
999			_c10282 _d10282