APORTE DE LOS 4 EJERCICIOS DESARROLLADOS

Ejercicio 1: Proposiciones y tablas de verdad.

C. Proposiciones simples:

p: Yanuri se inscribió en la UIS

q: Yanuri estudia matemáticas

r: A Yanuri le gusta el aprendizaje didáctico

leguaje simbólico:

(𝑝∧𝑞) ⟷ 𝑟

lenguaje natural:

Yanuri se inscribió en la UIS y Yanuri estudia Matemáticas, si y solo si, A Yanuri le

gusta el aprendizaje didáctico

Tabla de verdad

p q r (p ∧ q) (p ∧ q) ⟷ r
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V

Se clasifica como: Contingencia.

Es contingencia ya que hay V y F

Tabla de Verdad en el simulador

Adjunción (A).

p ¿q ¿
¿
p ∧ ¬q

Proposiciones simples:

p: Jerry va al colegio

q: El estará en la casa

Lenguaje Natural:

Jerry va al colegio, El estará en la casa, por lo tanto, Jerry va al colegio y

Jerry no estará en la casa.

Tollendo Ponens (TP).

r∨ ¬s
s ¿
¿
r ¿¿

Proposiciones simples:

r: Jerry va al colegio

s: El estará en la casa

Lenguaje Natural:

Jerry va al colegio y el no estará en la casa, Por lo tanto, Jerry va al colegio.

Ejercicio 3: Aplicación de las reglas de inferencia lógica.

C. En el almuerzo de hoy comeré mojarra frita con arroz de coco o un mote de
ñame

con suero. En el almuerzo de hoy no comeré un mote de ñame con suero.

A. Lenguaje simbólico:
p∨ q
¬q ¿
¿
∴ p ¿¿
B. Ley de inferencia aplicada: Tollendo Ponens (TP)
C. Conclusión: En el almuerzo de hoy comeré mojarra frita con arroz de coco

Ejercicio 4: Problemas de aplicación

C. Expresión simbólica: [ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →¬ p

Premisas:
P1: p→¬q
P2: q v ¬r
P3: r
Conclusión: →¬p
Proposiciones simples:
p: Yo manejare carro
q: Carlos va de paseo
r: Él tiene que trabajar
Lenguaje natural:
Si yo manejare carro entonces Carlos no va de paseo, Carlos va de paseo o el no
va para la playa, él va para la playa. Por lo tanto, yo no manejare carro.
Tabla de verdad manual
p q r ¬p ¬q ¬r P →¬ q qv¬r (p →¬ q) ∧ (q v ¬ r) (p →¬ q) ∧ (q v ¬ r) ∧ r [(p→¬ q) ∧ (q v ¬ r) ∧ r] → ¬ p

V V V F F F F V F F V
V V F F F V F V F F V
V F V F V F V F F F V
V F F F V V V V V F V
F V V V F F V V V V V
F V F V F V V V V F V
F F V V V F V F F F V
F F F V V V V V V V V

Tabla de verdad Simulador UNAD

Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: p→¬q
P2: q v ¬r
P3: r
Conclusión: →¬p
P4: q Tollendo Ponens (TT) entre premisas (2,3)
q ∨ ¬r
r ¿
¿
q
P5: ¬p Modus Ponendo Ponens (PP) entre premisas (1,4)
q→ ¬q
q ¿
¿
¬p