Está en la página 1de 23

Desarrollo del

pensamiento Lógico
Esquivel Luavictoria Kenjiro
Gallo Sánchez Victor Orlando
Geldres Rios Diego Alexader
Lavado Mesías Sebastián Jesús
Vásquez Díaz Anel Milagros
Principios Lógicos
BASE
DESARROLLA LA LÓGICA

1) P. De Identidad  𝑝→ 𝑝𝑜 𝑝↔ 𝑝
2) P. De la No Contradicción  
¿
3) P. De el Tercero Excluído   𝑝∨ 𝑝
1. Principio de Identidad(Parménides)
 
𝒑→ 𝒑𝒐 𝒑↔ 𝒑
Toda proposición que se implica a sí misma es verdadera.

Por ejemplo:
• -Si Victor hace sus tareas, entonces cumple sus quehaceres.
• -El sol es una estrella si y solo si es un astro.
• -Kenjiro es idéntico a sí mismo, Marlon.
2. Principios de No Contradicción(Platón)
 

¿
Es imposible que una proposición sea verdadera y falsa a la vez.
Por ejemplo:
-Mentira es que, Sebastián aprobó ese curso y lo jaló.
-El avión no puede tener tres alas y a la vez no tener tres alas
al mismo tiempo.
- No se puede decir que André come manzanas y pero al
mismo tiempo no lo hace.
3. Principio del Tercero Excluído
(Aristóteles)
 
𝒑∨ 𝒑
Toda proposición es necesariamente verdadera o
falsa. No hay una tercera posibilidad.
Por ejemplo:
-Nicolás gusta de cocinar, excepto que odia hacerlo.
-El Perú es un país desarrollado, o no es
desarrollado.
-Una persona está viva, amenos que esté muerta.
Implicaciones
Esquemas condicionales tautológicos
Propiedades:

𝐴→ 𝐴
 
[ ( 𝐴 → 𝐵 ) ∧ ( 𝐵 →𝐶 ) ] → ( 𝐴 → 𝐶 )
TRANSITIVA
REFLEXIVA

CONCORDANCI
A
 𝐴 →1 ∧
  0  → 𝐴
Formas de inferir:

1. Inferencias por leyes


Equivalencias lógicas

2. Inferencias por reglas


Modus Conjunción

Dilemas Adición

Silogismos Simplificación

Expansión
1. Modus Ponendo Ponens (M.P.P)
• Forma Horizontal:
[ ( 𝑝 →𝑞 ) ∧ 𝑝 ] → 𝑞
• Forma Vertical: Argumentos formales
2. Modus Tollendo Tollens (M.T.T)
• Forma Horizontal:  [ ( 𝑝 → 𝑞 ) ∧¬ 𝑞 ] → ¬ 𝑝
• Forma Vertical: Argumentos formales
3. Modus Ponendo Tollens (M.P.T):
• Forma Horizontal:  [ ( 𝑝 ∨
´ 𝑞 ) ∧ 𝑝 ] →¬ 𝑞
• Forma Vertical: Argumentos formales
4. Silogismo disyuntivo (S.D) o Tollendo
Ponens
• Forma Horizontal: [  ( 𝑝 ∨ 𝑞 ) ∧ ¬ 𝑝 ] → 𝑞 ∧ [ ( 𝑝 ∨ 𝑞 ) ∧ ¬𝑞 ] → 𝑝
• Forma Vertical: Argumentos formales
5. Silogismo [ ( 𝑝 hipotético Puro
→ 𝑞 ) ∧ ( 𝑞 → 𝑟 ) ] → ( 𝑝 →𝑟 )
(S.H)
• Forma Horizontal: [(𝑞 → 𝑟 ) ∧ ( 𝑝 →𝑞 ) ] → ( 𝑝 → 𝑟 )
• Forma Vertical: Argumentos formales
6. Dilema Constructivo (D.C)
• Forma Horizontal:  {[ ( 𝑝 → 𝑞 ) ∧ ( 𝑟 → 𝑠 ) ] ∧ ( 𝑝 ∨ 𝑟 ) } → ( 𝑞 ∨𝑠 )
• Forma Vertical:
7. Dilema Destructivo (D.D)
• Forma Horizontal:  {[ ( 𝑝 → 𝑞 ) ∧ ( 𝑟 → 𝑠 ) ] ∧ ( ¬ 𝑞 ∨¬ 𝑠 ) } → (¬ 𝑝 ∨¬ 𝑟 )
• Forma Vertical: Argumentos formales
8. La conjunción o adjunción (Conj.)
9. La adición o nuevo factor (Ad.)
10. Simplificación (Simp.)
Equivalencias lógicas
A) Principio de 1. p = (p ʌ p)
Idempotencia 2. p = (p v p)

B) Ley de
1. A = ¬ ¬ A
Doble Negación

C) Ley de 1. A ʌ B = B ʌ A
Conmutación 2. A v B = B v A
D) Ley de 1. A ʌ (B v C) = (A ʌ B) v (A ʌ C)
Distrubución 2. (A ʌ B) v (A ʌ ¬C) = A ʌ (B v ¬C)

E) Ley de 1. ¬ (A ʌ B) = ¬A v ¬B 
D’Morgan 2. ¬ ( A v B) =¬A ʌ ¬B

F) Ley de
1. (p → q) = (¬ q → ¬ p)
transposición
G) Principio de
1. [(p ʌ q) → r] = [p → (q → r)]
Exportación
I) Definición de 1. (p → q) = (¬ p v q)
la Implicación 2. (p → q) = ¬(p ʌ ¬ q)

J) Definición de 1. (p ↔ q) = [(p → q) ʌ (q → p)]


la Equivalencia 2. (p ↔ q) = [(p v q) v (¬ p ʌ ¬ q)]

1. A ʌ (B ʌ C) = (A ʌ B) ʌ C = A ʌ B ʌ C
K) Ley de 2. A v (B v C) = (A v B) v C = A ʌ B ʌ C
Asociación 3. A ↔ (B ↔ C) = A ↔ B ↔ C
Bibliografía
• Implicaciones Lógicas Notables PDF. http://matematica1.com/implicaciones-logicas-
notables-pdf/ Consultado el 18/04/2019 1:12 pm
• Daga, E (2017). Lógica y razonamiento lógico. Gráfica-Cabrera E.I.R.L(Perú). Pág.
127-132
• Rea, B (2003). Introducción a la lógica. Editorial Mantaro (Lima-Perú). Pág. 59-66

También podría gustarte