
Con argumento lógico
Notas de matemáticas aplicadasBy Virgilio Obeso, Manuel Navarro, Francisco José SantosLength6h 24m
About this audiobook
Este texto será de gran ayuda para afrontar situaciones cotidianas en las que sea necesario mantener diálogos para interactuar o defender alguna posición o idea. Se abordan los temas básicos de un curso de Lógica Matemática, y con base en ejemplos y ejercicios tomados de situaciones cotidianas, los autores plantean estrategias para evaluar y diferenciar, con base en los conceptos y reglas de esta disciplina, el pensamiento correcto del incorrecto.
Audiobook details
GenreScience and Nature
Length6 hrs 24 mins
Narrated byListen with 1,000+ voices
FormateBook with Audio
Publish dateMay 21, 2018
LanguageSpanish
Table of contents
1Anteportada
313.3.2 Modus tollendo tollens (TT)
2Portadilla
323.3.3 Doble negación (DN)
3Dedicatoria
333.3.4 Conmutatividad de la conjunción (CC)
4Prólogo
343.3.5 Conmutatividad de la disyunción (CD)
51 Preliminares
353.3.6 Tollendo ponens (TP)
Show all chaptersShow less
61.1 Proposiciones
363.3.7 Ley de simplificación (S)
71.1.1 Valores de verdad de una proposición
373.3.8 Ley de adición (A)
81.1.2 Conectivos lógicos
383.3.9 Ley de combinación (CM)
91.1.3 Proposiciones simples y compuestas
393.3.10 Silogismo hipotético (SH)
101.1.4 Simbolización de proposiciones
403.3.11 Silogismo disyuntivo (SD)
111.1.5 Tablas de verdad
413.3.12 Idempotencia disyuntiva (ID)
121.1.6 Conjunción, disyunción, condicional, bicondicional y negación
423.3.13 Tercio excluido (TE)
131.1.7 Tautología y contradicción
433.3.14 Ley de De Morgan (LM)
142 Fórmulas bien formadas
443.3.15 Leyes del bicondicional (LB)
152.1 Definiciones básicas
454 Cálculo de predicados
162.1.1 Segmento inicial y segmento inicial propio
464.1 Términos y predicados
172.1.2 Unicidad de las simbolizaciones
474.1.1 Términos
182.2 Supresión o asignación de paréntesis
484.1.2 Predicados
192.2.1 Prioridad de los conectivos lógicos
494.2 Cuantificadores
202.3 Escritura de una fórmula bien formada
504.2.1 Cuantificador universal
212.3.1 Algoritmo de los ceros
514.2.2 Cuantificador existencial
222.3.2 Determinación del conectivo principal de una fbf
524.3 Alcance de un cuantificador
232.4 Conjuntos inductivos
534.3.1 Variables ligadas y libres
242.4.1 Principio de inducción en fórmulas
544.4 Teoría general de la inferencia
252.5 Equivalencias lógicas y su utilización
554.4.1 Suprimir cuantificador universal
263 Cálculo proposicional
564.4.2 Agregar cuantificador existencial
273.1 Reglas de inferencia lógica
574.4.3 Suprimir cuantificador existencial
283.2 Deducción
584.4.4 Agregar cuantificador universal
293.3 Completitud
594.4.5 Principio de inducción en fórmulas
303.3.1 Modus ponendo ponens (MP)