c.

{[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞

P: Camila realiza su trabajo de lógica a tiempo

Q: Camila obtendrá buena nota
R: Los compañeros de Camila no aportan al foro
S: Camila entrega el trabajo con sus compañeros
T: El profesor hace los aportes respectivos

Si Camila realiza su trabajo de lógica a tiempo entonces obtendrá buena nota o los
compañeros de camilo no aportan al foro. Si Camila entrega el trabajo con sus compañeros
entonces no obtendrá buena nota. Si el profesor hace los aportes respectivos entonces los
compañeros de Camila aportan al foro. Camila su realiza su trabajo a tiempo y el profesor
hace los aportes respectivos.

Validación por tablas de verdad.

P Q R S T Qvr 𝑝→(𝑞∨𝑟) ~q 𝑠→∼𝑞 ~r 𝑡→∼𝑟 P^t 1 1→q

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

1= {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}

Validación por leyes de inferencia lógica

1. 𝑝→(𝑞∨𝑟)
2. 𝑠→∼𝑞
3. 𝑡→∼𝑟
4. P^t
---------------
…q
5. P simplificación 4
6. T simplificación 4
7. ~r Ponendo ponens entre 3 y 6
8. Qvr ponendo ponens entre 5 y 1
9. Q tolendo ponens