Matemáticas I

Lógica
Tautología: Una tautología es una proposición
cuyo valor de verdad es verdadero (V),
independientemente de los valores de verdad de las
proposiciones que la componen.
Tautología
 Tautología
(p ∧ q) ↔ (q ∧ p) es una tautología.
 Lógica
Contradicción: Una contradicción es una
proposición cuyo valor de verdad es falso (F),
independientemente de los valores de verdad de las
proposiciones que la forman.
Contradicción
 Contradicción
(p ∧ q) ∧ (∼p ∧ ∼q) es una contradicción.
 Lógica
Contingencia: Una contingencia es una
proposición que toma valores de verdad verdaderos
en unos casos y falsos en otros, según los valores de
verdad de las proposiciones que la forman.
Contingencia
Contingencia
 Lógica
Equivalencia lógica: Sea un conjunto de
proposiciones lógicas 𝑃(𝑝,𝑞,𝑟,…) y 𝑄(𝑝,𝑞,𝑟,…)
se dirá que son lógicamente equivalentes si sus
tablas de verdad son idénticas.
Equivalencia lógica
Equivalencia lógica
Ejercicios
Argumentos
Argumentos
Reglas de inferencia
Reglas de inferencia
Reglas de inferencia
Ejemplo
Reglas de inferencia
Ejemplo
Proposiciones equivalentes
Proposiciones equivalentes
Ejemplo
Ejemplo
Ejemplo
Ejemplo
Ejemplo
Reglas de inferencia
Reglas de inferencia
Ejercicios
Ejercicios
Ejercicios