Ejercicio 2

 Expresión simbólica

Ley de inferencia de la expresión: modus tollendo ponens (MTP)

Proposiciones simples

P:el parcial de lógica matemática fue el viernes

q: mariana realizo la tarea de la unidad 1

Lenguaje Natural:

el parcial de lógica matemática fue el viernes o mariana realizo la tarea de la unidad 1.maraiana
no realizo la tarea de la unidad 1, por lo tanto el parcial de lógica matemática fue el viernes

 Expresión simbólica

Ley de inferencia de la expresión: simplificación (SIM)

Proposiciones simples:

r:el parcial de lógica matemática fue el viernes

s:mariana realizo la tarea de la unidad 1

Lenguaje Natural:

el parcial de lógica matemática fue el viernes y mariana realizo la tarea de la unidad 1, por lo
tanto, el parcial de lógica matemática fue el viernes

 Expresión simbólica

Ley de inferencia de la expresión: modus ponens (MP)

Proposiciones simples:

P: el parcial de lógica matemática fue el viernes

q: mariana realizo la tarea de la unidad 1

lenguaje natural

el parcial de lógica matemática fue el viernes entonces mariana realizo la tarea de la unidad 1. El
parcial de lógica matemática fue el viernes por lo tanto mariana realizo la tara de la unidad 1