 Ejercicio 3

Expresión simbólica: [ ( p ∧ q ) ∧ ( p →r ) ]⟶ ( r ∧q )

Premisas:
P1: p ∧q
P2: p →r
Conclusión: r ∧q

 De acuerdo a la anterior expresión simbólica definir las proposiciones

simples

p: voy a estudiar en la universidad

q: El semestre es costoso

r: Tengo que conseguir dinero

 Pasar al lenguaje natural la expresión simbólica

[ ( p ∧ q ) ∧ ( p →r ) ]⟶ ( r ∧q )

Voy a estudiar en la universidad y el semestre es costoso. Voy a estudiar en la

universidad entonces tengo que conseguir dinero.

Por lo tanto, tengo que conseguir dinero porque el semestre es costoso.

  Generar una tabla de verdad con el simulador Truth Table

El razonamiento es una tautología.

 Generar una tabla de verdad manualmente

  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

[ ( p ∧ q ) ∧ ( p →r ) ]⟶ ( r ∧q )

Premisas:
1: p ∧q
2: p →r

‫؞‬
_______
r ∧q

3: p S en 1 ⟶ (S) Ley de la simplificación

p ∧q
_____
p

4: r PP en 2 y 3 ⟶ (PP) Modus Ponendo Ponens

p →r

p
____

5: q S en 1 ⟶ (S) Ley de la simplificación

p ∧q
____
q

6: r∧ q A en 4 y 5 ⟶ (A) ley de la adjunción

r

q
____
r ∧q
 Referencias bibliográficas

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom,
Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader
.action?ppg=81&docID=3199701&tm=1529336485971

Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869

John Karts. [John Karts]. (1819). [Simulador Truth].

Recuperado
de:http://turner.faculty.swau.edu/mathematics/materialslibrary
/truth/