1.

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

 Expresión simbólica

p∨ q
1. q
p

p→q
2. q → r
p→r

p∧ q
3.
q

 Ley de inferencia de la expresión

1. Tollendo ponens (tp)

2. Silogismo hipotético (sh)

3. Simplificación

 Preposiciones simples

p: carlos estudia todos los días.

q: carlos saca buenas notas.
r: carlos gana el semestre.

 Lenguaje simple

1. carlos estudia todos los días o carlos no saca buenas notas, por lo
cual carlos saca buenas notas. por lo tanto, carlos estudia todo lo
días.

2. Carlos estudias todos los días entonces carlos saca buenas notas,
donde carlos saca buenas notas entonces carlos ganara el semestre.
Por lo tanto, si carlos estudia todos los días entonces carlos ganara el
semestre.
3. Si carlos no estudia todos los días y carlos no saca buenas notas, se
diría que carlos no saca buenas notas