Ejercicio 2

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 2:

a. Expresión simbólica:

{ [( p → q ) ∨r ] ∧ ( r →∼ p ) ∧ ( p ∧ s ) }⟶ ( q ∧ s )

Premisas:
P1: ( p →q ) ∨ r
P2: r →∼ p
P3: p ∧ s

Conclusión: q ∧ s

Desarrollo:

Premisas simples:

p: estudia en la UNAD

q: estudia una carrera virtual

r: estudia una carrera presencial en otra universidad

s: sé un profesional
Si estudia en la UNAD, entonces estudia una carrera virtual o estudia
una carrera presencial en otra universidad. Si estudia una carrera
presencial en otra universidad, entonces no estudia en la UNAD.
Estudia en la UNAD y sé un profesional.

Conclusión: Estudia una carrera virtual y sé un profesional.

Tabla de la verdad con simulador Truth Table:

 Tabla de la verdad manual:
(p→q)∨ r→~ p∧ q∧ ((p→q)∨r)∧(r→~p ((p→q)∨r)∧(r→~p)∧(p∧s (((p→q)∨r)∧(r→~p)∧(p∧s))→(q∧s
p q r s
r p s s ) ) )
v v v v v f v v f f v
v v v f v f f f f f v
v v f v v v v v v v v
v v f f v v f f v f v
v f v v v f v f f f v
v f v f v f f f f f v
v f f v f v v f f f v
v f f f f v f f f f v
f v v v v v f v v f v
f v v f v v f f v f v
f v f v v v f f v f v
f v f f v v f f v f v
f f v v v v f f v f v
f f v f v v f f v f v
f f f v v v f f v f v
f f f f v v f f v f v

Leyes de inferencia:
{ [( p → q ) ∨r ] ∧ ( r →∼ p ) ∧ ( p ∧ s ) }⟶ ( q ∧ s )

Premisa 1: p →q

Premisa 2: r

Premisa 3: r →∼ p

Premisa 4: p∧s
_______________________________________________

5. ∼p MPP (3),(2)

6. s MTP (4),(5)

7. p S (4)

8. q MPP (1),(7)

9. q∧s A (8),(6) CONCLUSIÓN

 Bibliografía

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores.
Recuperado
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924

Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México:

Larousse - Grupo Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=15&docID=11046169&tm=1489706134764

Gonzáles, T. L., & Saavedra, M. (2009). Teoría de Conjuntos. En

ProQuest ebrary (Ed). Aciertos matemáticos 11: serie para la educación
media. (pp. 20 -24). Bogotá, Colombia: Educar Editores S.A.
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=21&docID=10345286&tm=1489708381971

Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado de

http://hdl.handle.net/10596/6542

Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video].

Recuperado de http://hdl.handle.net/10596/6547

Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado de

http://hdl.handle.net/10596/6558