Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I

Facultad de Ciencias SEMESTRE 2024 - I

Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

DESARROLLO
DEL PENSAMIENTO
MATEMÁTICO Tautología, contradicción y contingencia
Equivalencia e implicación
Principales leyes lógicas o tautologías notables

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

TAUTOLOGÍA
Es una expresión lógica que es verdadera para todos los posibles valores de
verdad de sus componentes atómicos. Las proposiciones dan el resultado
positivo.

Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de
valores de verdad para sus proposiciones componentes.

Una tautología es una fórmula bien formada que, bajo cualquier interpretación de sus
componentes atómicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una
fórmula cualquiera es una tautología, basta con considerar todas las posibles interpretaciones
de las fórmulas atómicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla
de verdad.

Definiendo diremos que Tautología es una expresión lógica que resulta verdadera para
cualquier interpretación; es decir, para cualquier asignación de valores de verdad.

La construcción de una tabla de verdad es un método efectivo para determinar si una expresión
cualquiera es una tautología o no.
Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I
Facultad de Ciencias SEMESTRE 2024 - I
Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

Por ejemplo:

CONTRADICCIÓN:
Son aquellas fórmulas que son falsas para cualquier valoración de los
símbolos proposicionales que contiene. Las proposiciones dan el
resultado negativo.

Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos

los casos posibles de su tabla de verdad su valor siempre es F.

Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que
la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras.

Sea el caso:

Contradicción entonces, es una proposición que siempre es falsa para todos los valores
de verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea , el resultado
de la fórmula lógica estudiada siempre va a ser falso.

Por ejemplo:
Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I
Facultad de Ciencias SEMESTRE 2024 - I
Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

CONTINGENCIAS
Son aquellas fórmulas cuyo valor de verdadera falsedad depende de la
valoración de los símbolos proposicionales que contiene. Las proposiciones dan
un resultado negativo y positivo.

Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser
verdadera o falsa, (combinación entre tautología y contradicción) según los valores de las
proposiciones que la integran.

Sea el caso:

La contingencia es el modo de ser de lo que no es necesario ni imposible, sino que puede ser o
no ser el caso. En general la contingencia se predica de los estados de cosas, los hechos,
los eventos o las proposiciones.
Existe un debate sobre si es aceptable hablar de entidades contingentes (o
entidades necesarias o imposibles), conocido como el debate en torno a las
modalidades de dicto (de la palabra) y de res (de la cosa).

La relación entre necesidad, posibilidad y contingencia es fácil de malentender. Todo lo que es

contingente es posible, pero no todo lo que es posible es contingente, pues aquello que es
necesario también es posible, pero no es contingente. Por otra parte, no todo lo que no es
necesario es contingente, pues lo que es imposible no es ni necesario ni contingente.
En lógica modal, se dice que una fórmula es contingente cuando es verdadera en al menos
un mundo posible y falsa en otro.
Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I
Facultad de Ciencias SEMESTRE 2024 - I
Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

Definiendo diremos que una Contingencia es, si la proposición no es ni verdadera ni

falsa independientemente de los valores de verdad de las proposiciones simples que la
componen. Por ejemplo:

EQUIVALENCIA E IMPLICACIÓN
EQUIVALENCIA LÓGICA
Dos fórmulas lógicas son equivalentes si tienen los mismos valores de verdad para todos los
posibles valores de verdad de sus componentes.
Ejemplo:
Las dos fórmulas siguientes son equivalentes:
(p → ¬q) ∨ (¬p ∨ r) ¬p ∨ ¬q ∨ r

Revisemos la tabla.
p q r ¬q ¬p p → ¬q ¬p ∨ r (p → ¬q) ∨ (¬p ∨ r) ¬ p ∨ ¬q ¬p ∨ ¬q ∨ r
V V V F F F V V F V
V V F F F F F F F F
V F V V F V V V V V
V F F V F V F V V V
F V V F V V V V V V
F V F F V V V V V V
F F V V V V V V V V
F F F V V V V V V V

Se puede observar que la última y la antepenúltima columnas son iguales.

Las equivalencias se relacionan con las tautologías de la siguiente forma.

Teorema: Si dos fórmulas lógicas son equivalentes, entonces la fórmula que se obtiene al
operarlas con la bicondicional es una tautología.
Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I
Facultad de Ciencias SEMESTRE 2024 - I
Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

LA IMPLICACIÓN
La implicación o condicional es un operador que actúa sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor
de falso sólo cuando la primera proposición es verdadera y la segunda falsa,
y verdadero en cualquier otro caso. La tabla de verdad del condicional es la siguiente:

El operador en lógica de conjuntos equivalente a la implicación es el contenido.

PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS

LEYES LÓGICAS.
Son proposiciones universales, necesarias, evidentes y verdaderas.
Dichas leyes son cuatro: el principio de identidad, el de contradicción, el de tercero excluido y
el de razón suficiente. Las tres primeras leyes fueron descubiertas por Aristóteles y la cuarta
por Leibniz.

Las leyes lógicas funcionan en el pensamiento como principios del raciocinio correcto durante
la demostración de los juicios y teorías verdaderos y la refutación de los juicios e hipótesis
falsos. La violación de las leyes lógicas induce al error lógico sea impremeditado (llamado
paralogismo) o consciente (llamado sofisma), aunque los errores de estos tipos se dan en otras
situaciones.

Estos principios sólo son posible si una proposición interactúa consigo mismas bajo las
siguientes leyes simbólicamente expresivas que veremos a continuación.

PRINCIPIO DE IDENTIDAD
Todo objeto es idéntico a sí mismo ("A es A").
Una proposición sólo es idéntica a si misma, se representa así:
P→P
P↔P

PRINCIPIO DE NO CONTRADICCIÓN
Es imposible que algo sea y no sea al mismo tiempo y en el mismo sentido ("es
imposible que A sea B y no sea B").
Una proposición sólo puede ser verdadera o falsa a la vez. Se denota:
∼(p ∧ ∼p)

PRINCIPIO DEL TERCERO EXCLUIDO

Todo tiene que ser o no ser ("A es B" o "A no es B").
Una proposición o es verdadera o es falsa, no existe una tercera posibilidad.
Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I
Facultad de Ciencias SEMESTRE 2024 - I
Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

P ∧ ∼p

PRINCIPIO DE RAZON SUFICIENTE

Todo objeto debe tener una razón suficiente que lo explique
Este es el principio supremo de Leibniz, según el cual nada puede ser "por que
sí", nada es sin razón (o fundamento); todo lo que es, es por alguna razón que lo
hace ser como es y no de otra manera.
Ejemplo:
-Los objetos caen al suelo por una razón, y esa razón la sabremos al estudiar la ley de gravedad.

EQUIVALENCIAS NOTABLES
Ayudan en la resolución y simplificación de esquemas moleculares más complejas.

LEY DE INVOLUCIÓN
La doble negación de una proposición es una afirmación.
∼(∼p) ≡ p

LEYES DE IDEMPOTENCIA
Una cadena de conjunciones o disyunciones de una misma proposición resulta ser tal
proposición.
p∧p≡p
p∨p≡p

LEYES CONMUTATIVAS
Los componentes de las proposiciones conjuntivas, disyuntivas (inclusiva o exclusiva)
y bicondicionales son conmutables.
p∧q≡q∧p
p∨q≡q∨p
p△q≡q△p
p↔q≡q↔p

LEYES ASOCIATIVAS
Esta ley establece la posibilidad de poder agrupar como quieras una proposición
formada por una serie de conjuntivos, disyuntivos o bicondicionales por signos de
agrupación como veras a continuación:
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
(p △ q) △ r ≡ p △ (q △ r)
(p ↔ q) ↔ r ≡ p ↔ (q ↔ r)

LEYES DISTRIBUTIVAS
Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I
Facultad de Ciencias SEMESTRE 2024 - I
Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

Las propiedades de distribución de los conectivos lógicos son como sigue (no lo puedo
expresar en palabras porque no se me ocurre como):
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p → (q ∧ r) ≡ (p → q) ∧ (p → r)
p → (q ∨ r) ≡ (p → q) ∨ (p → r)

LEYES DE MORGAN
La negación de un conjuntivo o disyuntivo inclusivo de dos proposiciones p
y q es igual a un disyuntivo inclusivo o conjuntivo de ∼p y ∼q respectivamente.
∼ (p ∧ q) ≡ ∼ p ∨ ∼ q
∼ (p ∨ q) ≡ ∼ p ∧ ∼ q

LEYES CONDICIONALES
p→q≡∼p∨q
∼ (p → q) ≡ p ∧ ∼ q

LEYES BICONDICIONALES
P ↔ q ≡ (p → q) ∧ (q → p)
p ↔ q ≡ (p ∧ q) ∨(∼p∧∼q)

LEYES DE ABSORCIÓN
p ∧ (p ∨ q) ≡ p
p ∧ (∼p ∨ q) ≡ p ∧ q
p ∨ (p ∧ q) ≡ p
p ∨ (∼p ∧ q)

LEYES DE TRANSPOSICIÓN
p → q ≡ ∼q→∼p
P ↔ q ≡ ∼p↔∼q

LEYES DE EXPORTACIÓN
(p ∧ q) → r ≡ p → (q → r)
(p1∧p2∧p3∧⋯∧pn) → r ≡ (p1∧p2∧p3∧⋯∧pn−1) → (pn → r)

LEYES TAUTOLÓGICAS Y CONTRADICTORIAS

Téngase en cuenta que T= tautología, F=contradictoria y P= cualquier esquema
molecular.

Se cumplen las siguientes leyes:

PARA LA CONJUNCIÓN
Universidad Nacional del Santa DESARROLLO DEL PENSAMIENTO MATEMATICO I
Facultad de Ciencias SEMESTRE 2024 - I
Departamento Académico de Matemática y Estadística Compil. Ms. MEBG

T∧T ≡ T
T∧P ≡ P
F∧P ≡ F

PARA LA DISYUNCIÓN INCLUSIVA

F∨F ≡ F
F∨P ≡ P
T∨P ≡ T

Propiedad de los elementos neutros para la tautológica y contradictoria

p∧F≡ F
F∨T ≡ T
p ∨T ≡ T