TAREA 1

PRESENTADO POR:

PRESENTADO A:
JAVIER ERNESTO RODRIGUEZ

ASIGNATURA:
LÓGICA MATEMÁTICA

UNAD
AGRONOMIA
2021
Ejercicio 2: Identificación de las reglas de la inferencia lógica

A. Expresión simbólica

P→q r p ∨¬ q
p s q
¿ ¿
q r∧ s p

Solución:
 Ley de inferencia de cada expresión

P→q
p
Ley de inferencia: Modus ponendo Ponens
¿ ¿
q

r
s Ley de inferencia: Conjunción
r∧ s

p ∨¬ q Ley de inferencia: Modus Tollendo Ponens

q
p
  Preposiciones simples y lenguaje natural de cada expresión
a)
P→q
p
¿ ¿
q

Preposiciones:
p: Fernando matriculó lógica en este semestre
q: Fernando presentó la tarea 1 de lógica

Lenguaje Natural:
Sí Fernando matriculó lógica este semestre entonces Fernando presentó
la tarea 1 de lógica. Fernando matriculo lógica en este semestre. Por lo
tanto, Fernando presentó la tarea 1 de lógica.

b)
r
s
r∧ s
Preposiciones:
r: Carlos estudia para el parcial de lógica
s: Gana el parcial de lógica

Lenguaje Natural:
Carlos estudia para el parcial de logica. Gana el parcial de logica. Por lo
tanto, Carlos estudia para el parcial de lògica y gana el parcial de lógica.

c)
p ∨¬ q
q
p
Preposiciones:
p: Juan empieza a trabajar
q: Juan no podrá pagar el valor de la matricula de la universidad

Lenguaje Natural: Juan empieza a trabajar o no podrá pagar el valor

de la matricula de la universidad. Juan podrá pagar el valor de la
matricula de la universidad. Por lo tanto, Juan empieza a trabajar.