Documentos de Académico
Documentos de Profesional
Documentos de Cultura
III. TAUTOLOGIAS
Una Tautología es una proposición que, sin importar el valor de verdad de las
proposiciones que la conforman, tiene siempre un valor de verdad verdadero.
Las tautologías se representan con la decimonovena letra del alfabeto griego: 𝝉.
(tau).
EJEMPLO:
1) La proposición compuesta (𝒒 ∨ 𝒑) ∧ ~𝒒 ⟺ 𝒑 ∧ ~𝒒 es una tautología.
La tabla de verdad que construimos previamente, nos indica que la
proposición siempre es verdadera, independiente de los valores de verdad
que tengan 𝑝 y 𝑞.
Sin embargo, cuando nos encontramos con una proposición, que, independiente
del valor de verdad de las proposiciones que la constituyen, tiene siempre un valor
de verdad falso, estamos ante una Contradicción.
Las tautologías se representan con la primera letra del alfabeto griego: 𝜶 (Alpha).
EJEMPLO:
1) La proposición compuesta (𝒑 ∨ 𝒒) ∧ (~𝒑 ∧ ~𝒒) es una contradicción.
Realizar la tabla de verdad queda como ejercicio para el lector.
Sabemos que una proposición puede tomar valores de verdad falso o verdadero.
Cuando siempre es verdadero es una tautología y cuando siempre es falso estamos
ante una contradicción. Pero ¿Qué pasa cuando la proposición compuesta tiene
valores de verdad, a veces falsa? Como es el caso de la proposición. Cuya tabla de
verdad es:
1. TAUTOLOGÍAS IMPORTANTES
Antes de comenzar a detallar la siguiente colección de tautologías, querido
lector, debo advertir que no trate de memorizar esta lista. Las tautologías
son infinitas, en el sentido que, a cualquier colección de tautologías que
pudiésemos escribir, se le puede agregar una expresión distinta y
formaremos otra colección completamente distinta de tautologías.
8
Conjuntos numéricos y álgebra general
Pedagogía en Matemáticas y Física
Prof. Coraima Robles Pizarro
1 𝑝⇔𝑝 Identidad
2 ~(~𝑝) ⇔ 𝑝 Doble Negación
(𝑝 ∧ 𝑝) ⇔ 𝑝
3 Idempotencia
(𝑝 ∨ 𝑝) ⇔ 𝑝
(𝑝 ∧ ~𝑝) ⇔ 𝛼
4 Complementación
(𝑝 ∨ ~𝑝) ⇔ 𝜏
𝑝∧𝑞 ⇔𝑞∧𝑝
5 Conmutativa
𝑝∨𝑞 ⇔𝑞∨𝑝
(𝑝 ∧ 𝑞) ∧ 𝑟 ⇔ 𝑝 ∧ (𝑞 ∧ 𝑟)
6 Asociativa
(𝑝 ∨ 𝑞) ∨ 𝑟 ⇔ 𝑝 ∨ (𝑞 ∨ 𝑟)
𝑝 ∧ (𝑞 ∨ 𝑟) ⇔ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
7 Distributiva
𝑝 ∨ (𝑞 ∧ 𝑟) ⇔ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
~(𝑝 ∧ 𝑞) ⇔ ~𝑝 ∨ ~𝑞
8 De Morgan
~(𝑝 ∨ 𝑞) ⇔ ~𝑝 ∧ ~𝑞
𝑝 ∧ (𝑝 ∨ 𝑞) ⇔ 𝑝
9 Absorción
𝑝 ∨ (𝑝 ∧ 𝑞) ⇔ 𝑝
𝑝∧𝜏 ⇔𝑝 ; 𝑝∧𝛼 ⇔𝛼
-
10
𝑝∨𝜏⇔𝜏 ; 𝑝∨𝛼 ⇔𝑝
11 (𝑝 ⇒ 𝑞) ⇔ ~𝑝 ∨ 𝑞 -
(𝑝 ⇔ 𝑞) ⇔ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝) Equivalencia dividida
12
en dos partes
13 (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑟) ⇒ (𝑝 ⇒ 𝑟) Transitividad
14 ~(𝑝 ⇒ 𝑞) ⇔ 𝑝 ∧ ~𝑞 Reducción al absurdo
15 (𝑝 ⇒ 𝑞) ⇔ (~𝑞 ⇒ ~𝑝) Contrarrecíproca
9
Conjuntos numéricos y álgebra general
Pedagogía en Matemáticas y Física
Prof. Coraima Robles Pizarro
Las tautologías anteriores son útiles tanto para demostrar que dos proposiciones
son equivalentes, como para expresar las proposiciones por expresiones mas
simples.
10