EJERCICIO 3:

Descripción del ejercicio:

A)
- Expresión simbólica:

Premisas:

P1: (p→s)

P2: (˜q→˜r)

P3: (p^r)

Conclusión: (q^s)

Desarrollo:

- Proposición simple:

p: Carlos estudia en la Unad

s: estudia en una Universidad pública

q: estudia en la Unad

r: estudia una carrera con ayuda del estado

Lenguaje Natural

Carlos estudia en la Unad entonces estudia en una Universidad pública y si no estudiara en

la Unad entonces no puede estudiar una carrera Universitaria con ayuda del estado si
Carlos estudia en la Unad entonces puede estudiar una carrera con ayuda del estado. Por lo
tanto, estudia en la Unad y estudia en una Universidad pública.

Generar tabla de verdad manualmente:

 - Resultado de la tabla de verdad: TAULOLOGIA

Leyes de inferencia:P

P1: (p→s)

P2: (˜q→˜r)

P3: (p^r)

Conclusión: (q^s)

P4: P simplificación 1:3

P5: r simplificación 1:3

P6: q tollendo tollens: 2,5

P7:s modus ponens: 1,4

P8: q^s Adjuncion: 6,7