Facultad de Educación
Lógica
Tema: Tautología, contingencia y
contradicción
Docente: Dr. Luis Alberto Cumpa Farfán Ciclo: II
Diciembre 2022
Desarrollo de esquemas moleculares por tablas de verdad
Un esquema molecular puede estar compuestas por muchas proposiciones y
conectivos lógicos combinadas que estas tengan, sin embargo, sean cual fuese la
combinación, siempre existirá una jerarquía (con algunas excepciones) de algún
conectivo lógico.
Dependiendo de la jerarquía de una formula proposicional, esta puede ser una
proposición conjuntiva, disyuntiva, etc., incluyendo la negación que tiene la
propiedad de cambiar como por ejemplo a una proposición conjuntiva a una
disyuntiva.
Y no solo hay una sola jerarquía, un esquema molecular puede contener
combinaciones de conectivos lógicos incluida la negación tal que podemos
encontrar conectivos de menor a mayor jerarquía.
Obviamente siempre se comienza calculando aquellos conectivos lógicos de menor
jerarquía hasta llegar a la ultima jerarquía.
Vayamos con un ejemplo más extenso de 3 proposiciones p, q y r
Signos de agrupación en lógica proposicional
Los signos de agrupación sirven para no caer en ambigüedades cuando
realizamos muchas combinaciones de proposiciones y conectivos lógicos, esto
obliga simbólicamente a definir una jerarquía en las proposiciones y el orden
de como debe de desarrollarse un esquema molecular cuando tratamos con
las tablas de verdad.
También explicaremos todas combinaciones posibles de los valores de verdad
para mas de dos proposiciones cualesquiera de una proposición general o
matriz.
Simbolizar los enunciados significa transformar la estructura de los argumentos
en el lenguaje de los símbolos.
Por lo general en un curso de lógica proposicional los signos de agrupación,
conectivos lógicos y variables proposicionales, deben estar bien formadas.
Signos de agrupación
Para calcular la validez de un esquema molecular, hay que tener en cuenta siempre la existencia
de un operador principal, es decir, un conectivo lógico principal donde se calculará finalmente la
validez de la proposición matriz.
Vayamos con un ejemplo para explicar las diferentes tablas de verdad para diferentes esquemas
moleculares, de esta manera sabrás como agrupar correctamente los conectivos lógicos junto con
las proposiciones simbólicas.
Si deseamos calcular todas los valores de verdad en una tabla de verdad de
la siguiente fórmula proposicional: p∧ (q → p)
Debemos saber todos los posibles valores de verdad de p y de q → p, de
aquí, el símbolo conjuntivo es de mayor jerarquía y esto es así porque fue
restringido por los signos de agrupación de nuestra fórmula proposicional.
Primero necesitamos calcular todos los valores de verdad de q → p y como
estamos tratando con dos proposiciones, entonces trabajaremos tan solo con
= 4 combinaciones posibles de los valores de verdad de p y q, nuestra tabla
quedaría así:
Calcular todas los valores de verdad en una tabla de verdad del siguiente
molecular (p → q) ∨ (r ∧ p)
Fíjense que este esquema tiene como mayor jerarquía a una disyunción
inclusiva, por tanto, tenemos que resolver primero lo que está encerrado en
paréntesis.
Como tenemos 3 proposiciones diferentes, entonces se calculan =8 posibles
combinaciones de valores de verdad para nuestro esquema. La tabla de
verdad quedaría de la siguiente manera:
Calcular todos los posibles valores de verdad, obtenemos que la siguiente tabla
de verdad tiene 4 tipos de jerarquías enumerados del 1 al 4:
Tautología
Son aquellas proposiciones que siempre son verdad, sin importar los valores
de verdad de las proposiciones que la componen.
Ejemplo : [(p q) p]
p q pq [(p q) p]
V V V V V V
V F F F v V
F V F F V F
F F F F V F
Contingencia
Son aquellas proposiciones que pueden ser verdad o falsa, dependiendo de los
valores de verdad de las proposiciones que la componen.
Ejemplo: [(p →q) Λ (q →p)]
p q p → q q→ p [(p →q) Λ (q →p)]
V V V V V
V F F V F
F V V F F
F F V V V
Contradicción
Son aquellas proposiciones que siempre son falsas, sin importar los valores de verdad
de las proposiciones que la componen.
Ejemplo: [p Λ (p v q)] ~ p
p q pvq [p Λ (p v q)] ~ p
V V V F
V F V F
F V V F
F F F F
4. Establecer por medio de una tabla de valores, si cada una de los siguientes
esquemas moleculares es consistente, tautológico o contradictorio
a) ~ (p →q) ↔ ~ [(~q) → (~p)]
b) [(p v ~q) ᴧ (~ p)] ∆ ~ (~q →p)
Implicación o Condicional ()
Es aquél conectivo en el que se establece una condición para que se cumpla la otra proposición.
Normalmente se establece como: “Si se cumple p, entonces se cumple q”
Ejemplo:
Si Luis obtiene un promedio de 15 o más, entonces se le otorgará beca
Su símbolo es:
Se escribe: p q
Se lee: p solo si q
Su tabla de verdad es:
p q pq
V V V
V F F
F V V
F F V
Nota: A toda condición se le asocian otras tres proposiciones, igualmente importantes, que
son: La reciproca, la inversa y la contra reciproca
Proposición reciproca
Dada la proposición condicional p → q , se llama proposición reciproca a la proposición que se
denota por q → p
Ejemplo: sea la proposición directa p → q,
“Si x es par, entonces, x es múltiplo de 2”
La proposición reciproca, q → p, es:
“ si x es múltiplo de 2, entonces, x es par”
Proposición inversa
Dada la proposición condicional p → q , se llama proposición inversa a la proposición que se
denota por: ~p → ~q
Ejemplo: sea la proposición directa p → q,
“Si patricia tiene 30 años, entonces es joven”
La proposición reciproca, ~p → ~q , es:
“Si patricia no tiene 30 años, entonces no es joven”
Proposición contra reciproca
Dada la proposición condicional “p → q“ , se llama proposición contra reciproca a la proposición
que se denota por “~q → ~p”
Esta proposición es de mucha utilidad en la demostración de teoremas dados por la reducción
al absurdo o falsa suposición.
Ejemplo: sea la proposición directa “p → q“,
“si dos rectas son perpendiculares a una misma recta, entonces son paralelas“
La proposición contra reciproca, “~q → ~p”, es:
“si dos rectas no son paralelas, entonces no son perpendiculares a una misma recta “
Otro uso de la implicación
Se dice que una proposición A implica a otra proposición B, cuando unidas por el condicional
“→” , resulta una Tautología.
Se simboliza: A → B
Se lee: “A implica a B”, o también “A es condición suficiente para que B” o “B es condición
necesaria para A”
Ejemplo:
Sean los esquemas moleculares: A = p → q y B = ~ p v q , Demostrar que A implica a
B
Como el resultado arroja una tautología, queda demostrado que A → B
2. Sean los esquemas moleculares: A = (~ p) ∆ (~ r) y B = ~ (p ^ q) V ~ r
Solución. En efecto. Construyamos la tabla de verdad de A → B
Como el resultado arroja una tautología, queda demostrado que A implica a B,
o sea A → B
3. Dados los esquemas moleculares: A = P ^ ~ q, B = q → ~ r y C = ~ p ∆ (q ^ r)
determinar si C es una condición necesaria para la conjunción A y B
Solución. Si A es una condición necesaria para A ^ B, entonces se debe probar
que (A ^ B) → C
Como el resultado (7) no es una tautología. Entonces C no es un condición
necesaria para A y B, esto es:
proposiciones equivalentes
Dos proposiciones compuestas P y Q se dice que son equivalentes si unidas por el bicondicional
“ y se lee: “P es equivalente a Q” ó “Q es equivalente a P”
Ejemplo:
Evaluar la tabla de verdad de la proposición: A =[(~ P ^ ~ q) → ~ r] y B ={(~ p) v [r ∆ (~ p ^ ~ q)]} y
determinar si son equivalentes.
