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

Ejercicio 2: Identificación de las reglas de la inferencia lógica.

C. Silogismo Hipotético (SH).

¬s →r
r →t
¬s →t

Proposiciones simples:

¬s: Jerry no va al colegio

r: Jerry se siente con malestar

t: Jerry estará en la casa

Lenguaje Natural:

Si Jerry no va al colegio, entonces Jerry se siente con malestar, si Jerry se siente

con malestar, entonces estará en la casa, Por lo tanto, Si Jerry no va al colegio,
entonces Jerry estará.

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