200611C-1144 Tarea1guia1anyela Valencia
200611C-1144 Tarea1guia1anyela Valencia
200611C-1144 Tarea1guia1anyela Valencia
Presentado por:
Presentado a:
FECHA DE ENTREGA
25-09-2022
INTRODUCCON
Lenguaje simbólico:
(p r) q
Lenguaje natural :
El pacto Colombia con las juventudes es una estrategia del
gobierno si permite construir soluciones a los retos del país
Entonces El pacto Colombia con las juventudes escucha a los
jóvenes.
Tabla manual:
2 =2 ×2 ×2=8 ÷ 4 ÷ 2=1
3
P Q R (PR) (PR) Q
V V V V V
V V F F F
V F V V V
V F F F V
F V V V V
F V F V V
F F V V V
F F F V V
Expresión simbólica
P→q
¬q
¬p
Ley de inferencia de la expresión:
Lenguaje Natural:
SI tiene luz propia, ENTONCES el astro es una estrella,
El astro NO es una estrella NO tiene luz propia
p →q
p
Preposiciones simples:
P: Traes todos los paquetes organizados
Q: Te doy una recompensa
Lenguaje natural:
SI traes todos los paquetes organizados,
ENTONCES te doy una recompensa
p→s
p→ q
p→ s
preposición simple:
Lenguaje natural:
SI clara y cimilla van al partido ENTONCES
Santiago esta con ellas SI Camila es la porrista
EJERSIO3: Aplicaciones de las reglas de la
inferencia lógica
Argumento:
Lenguaje simbólico:
P: Colombia cuenta con las costas del mar caribe
S: Colombia está en una posición privilegiada
P→ s
p
s
Preposiciones simples:
Lenguaje natural:
Si iremos de pesca el próximo mes entonces, es-
tudio todo el fin de semana, aunque. Iremos de
pesca el próximo mes y aprobare el examen final
si estudio todo el fin de semana.
S S
P Q S P→ Q PS (P →Q)
(P )
[( P →Q ¿(P ) ¿ → Q
V V V V V V V
V V F V F F V
V F V F V F F
V F F F F F V
F V V V F F V
F V F V F F V
F F V V F F V
F F f V F F V
P Q S [( P →Q)(P ) ]→ Q
V V V V
V V F V
V F V F
V F F V
F V V V
F V F V
F F V V
F F F V
Primisa1: (P→Q)
Primisa2: (P^S)
P1. P → q
P2. p ^ s
Simplificación (S)
∴𝑝
𝑝∧𝑞
∴𝑞
Adjunción (A)
𝑝
𝑞
∴𝑝∧𝑞
Silogismo disyuntivo (DS)
𝑝∨𝑞
𝑝→𝑟
𝑞→𝑠
∴𝑟∨𝑠
Simplificación disyuntiva (SD)
𝑝∨𝑞
𝑝→𝑟
𝑞→𝑟
∴𝑟
Modus Tollendo Ponens (MTP)
𝑝∨𝑞
~𝑞
∴𝑝
Ley de la Adición (LA)
𝑝
𝑝∨𝑞