LÓGICA II.

PRINCIPIOS LÓGICOS CLÁSICOS. TAUTOLOGÍAS

NOTABLES: EQUIVALENCIAS E IMPLICACIONES
NOTABLES. MÉTODO DE DEDUCCIÓN NATURAL.
LÓGICA E INFORMÁTICA
PLANA DE FILOSOFIA
 1. PRINCIPIOS LÓGICOS CLÁSICOS
Principio de identidad Principio de no-contradicción Principio de tercio excluido

Si una proposición es verdadera Una proposición no puede ser Toda proposición es verdadera o
entonces es verdadera. verdadera y falsa a la vez. falsa (no hay una tercera
posibilidad)

p→p ∼ ( p ∧ ∼p ) p ∨ ∼p

Ejemplo: Si Carlos es estudiante Ejemplo: No es posible que Iván Ejemplo: Esteban es o no es

preuniversitario, entonces es sea y no sea ingeniero. Arquitecto.
estudiante preuniversitario.

PLANA DE FILOSOFÍA
 2. TAUTOLOGÍAS NOTABLES
 Son las fórmulas lógicas que al ser sometidas a las tablas de
verdad resultan ser tautológicas. Son de dos tipos: equivalencias
notables e implicaciones notables.

2.1. Equivalencias notables

Las equivalencias notables son reglas de reemplazo que establecen
identidad entre las fórmulas A y B. En otros términos: lo que se
afirme en la fórmula A significará lo mismo que lo que se afirme en la
fórmula B, aunque difieran en sus estructuras.

PLANA DE FILOSOFÍA
 Equivalencias notables
EQUIVALENCIA NOTABLE ESTRUCTURA
(p∧q) ↔ (q∧p)
Conmutatividad (Conm.)
(p∨q) ↔ (q∨p)
[p∧(q∧r)] ↔ [(p∧q)∧r]
Asociación (Asoc.)
[p∨(q∨r)] ↔ [(p∨q)∨r]
[p∧(q∨r)] ↔ [(p∧q)∨(p∧r)]
Distribución (Distrib.)
[p∨(q∧r)] ↔ [(p∨q)∧(p∨r)]
(p∧p) ↔ p
Idempotencia (Idemp.)
(p∨p) ↔ p
Doble negación (DN) ∼(∼p) ↔ p
∼(p∧q) ↔ (∼p∨∼q)
De Morgan (De M.)
∼(p∨q) ↔ (∼p∧∼q)
(p→q) ↔ (∼p∨q)
Definición de condicional (Def. Cond.)
(p→q) ↔∼(p∧∼q)

PLANA DE FILOSOFÍA
 (p→q) ↔ (∼p∨q)
Definición de condicional (Def. Cond.)
(p→q) ↔∼(p∧∼q)
(p↔q) ↔ [(p→q)∧(q→p)]
Definición de bicondicional (Def. Bicond.)
(p↔q) ↔ [(p∧q)∨(∼p∧∼q)]
(p↮q) ↔∼(p↔q)
Definición de Disyunción exclusiva (Def. DE)
(p↮q)↔ [(p∨q)∧(∼p∨∼q)]
(p→q) ↔ (∼q→∼p)
Transposición (Trans.)
(p↔q) ↔ (∼q↔∼p)
Exportación (Exp.) [(p∧q)→r] ↔ [p→(q→r)]
(p→q) ↔ [p↔(p∧q)]
Expansión (Expan.)
(p→q) ↔ [q↔(p∨q)]
[p∧(p∨q)] ↔ p
[p∨(p∧q)] ↔ p
Absorción (Abs.)
[p∧(∼p∨q)] ↔ p∧q
[p∨(∼p∧q)] ↔ p∨q
(T ∧ p) ↔ p
Leyes de tautología (T) (⊥ ∧ p) ↔ ⊥
y contradicción (⊥) (T ∨ p) ↔ T
(⊥ ∨ p) ↔ p

PLANA DE FILOSOFÍA
 Dos fórmulas ‘A’ y ‘B’ son equivalentes si y sólo si sus
matrices son iguales; si sus matrices son diferentes, de
dice que ‘A’ y ‘B’ no son equivalentes.
Notación:
A ↔ B: se lee ‘A’ es equivalente a ‘B’
A ↮ B: se lee ‘A’ no es equivalente a ‘B’
Ejemplo:

PLANA DE FILOSOFÍA
 2. TAUTOLOGÍAS NOTABLES
2.2. Implicaciones notables
Las implicaciones notables son reglas de inferencia o deducción que establecen que de la fórmula A se infiere la
fórmula B.

IMPLICACIÓN NOTABLE ESTRUCTURA EJEMPLO

p→q Si practico entonces aprendo
Modus Ponens (MP) p _ . Practico
∴q Luego, aprendo
p→q Si es ingeniero entonces construye casas
Modus Tollens (MT) ∼q . No construye casas
∴∼p Por lo tanto, no es ingeniero
p→q Si es lobo entonces es peligroso
Silogismo Hipotético (SH) q → r_ Si es peligroso entonces debo evitarlo
∴p→r Por ende, si es lobo entonces debo evitarlo

PLANA DE FILOSOFÍA
 2.2. Implicaciones notables
p∨q Estudias historia o matemáticas
Silogismo Disyuntivo (SD) ∼p . No estudias historia
∴q En consecuencia, estudias matemática
p∧q Alejandro fue macedónico y emperador
Simplificación (Simp.) ∴q Luego, fue emperador
p _. Eres docente
Adición (Ad.) ∴p ∨ q Por ello, eres docente o arquitecto
p La puerta es de madera
Adjunción o conjunción La puerta es marrón
q___
(Adj.) ∴p ∧ q Entonces, la puerta es de madera y marrón

PLANA DE FILOSOFÍA
 Una fórmula ‘A’ implica a ‘B’ si y solo si unidas en forma condicional, ‘A’ como
antecedente y ‘B’ como consecuente, su matriz resulta tautológica (en este caso
decimos que la inferencia es válida); si su matriz es consistente o contradictoria,
se dice que ‘A’ no implica a ‘B’ (en este caso decimos que la inferencia es
inválida).
 Notación:
 A→B: se lee ‘A’ implica a ‘B’
 Ejemplo:

PLANA DE FILOSOFÍA
 3. MÉTODO DE DEDUCCIÓN NATURAL (MDN)
El método de deducción natural es una prueba formal que permite demostrar la validez de un
razonamiento haciendo uso de las tautologías notables. Los pasos para aplicar el MDN son los siguientes:

Paso 1 Se formaliza cada premisa del argumento enumeradas de manera correlativa y se las ordena
verticalmente.

Se formaliza la conclusión ubicándola en el mismo renglón de la última premisa. Entre esta

Paso 2 premisa y la conclusión se escribe una barra seguida de tres puntos
( /∴ ), la cual se lee “por lo tanto”.

Se procede a ejecutar las derivaciones tomando como punto de partida cualquiera de las premisas
Paso 3 siempre que sea factible, e indicando a la derecha de cada derivación en forma abreviada de qué
premisas y mediante qué regla lógica se ha obtenido la nueva fórmula. Este proceso debe llevar a
la obtención sistemática de la conclusión.

PLANA DE FILOSOFÍA
 3. MÉTODO DE DEDUCCIÓN NATURAL (MDN)
Ejemplo:

1. (A ν B) → C
Premisas 2. (C ν B) → [A → (B ↔ ~C)] RAZONAMIENTO
3. A ˄ D /∴ B → ~C
Conclusión
a demostrar
4. A Simp. (3)
5. AνB Ad. (4)
6. C M.P. (1,5)
Premisas 7. CνB Ad. (6)
Justificación
adicionales 8. A → (B ↔ ~C) M.P. (2,7)
9. B ↔ ~C M.P. (4,8)
10. (B → ~C) ʌ (~C → B) Def. Bicond (9)
11. B → ~C Simp. (10)

PLANA DE FILOSOFÍA
 4. LÓGICA E INFORMÁTICA
 Premisa de la informática: Para que la informática pueda ser enfocada desde el punto de vista de la lógica
es necesario plantear la premisa más importante de esta ciencia de las computadoras, según la cual: La
lógica (ciencia cuya unidad mínima es la fórmula proposicional) y la electrodinámica (ciencia relacionada
con los circuitos eléctricos) son isomorfas y conforman la informática. La aplicación de la lógica proposicional
a los circuitos eléctricos es posible en virtud del isomorfismo existente entre ambos.

 El isomorfismo, aquí referido, es la relación de igualdad estructural que existe entre dos objetos. En efecto,
el matemático e ingeniero norteamericano Claudio Shannon descubrió, en 1936, el isomorfismo existente
entre la lógica proposicional y la teoría física de los circuitos eléctricos. Gracias a este descubrimiento se ha
desarrollado una teoría sistemática de los circuitos eléctricos y esta ha hecho posible resolver cualquier
problema concerniente a la construcción y funcionamiento de estos circuitos básicos de las computadoras
electrónicas.

PLANA DE FILOSOFÍA