Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
Desarrollo Tarea 3
Grupo: 200611_184
OBJETIVOS:
Identificación y aplicación de Proposiciones Categóricas
Identificación y argumentación de tipos de Razonamiento
Problemas de aplicación de métodos para probar validez de argumentos
Desarrollo Tarea 3 - Clasificación de proposiciones categóricas y Métodos para
probar validez de argumentos
Proposiciones categóricas:
p
p
Desarrollo
Expresión simbólica:
[ ( p ∨ q ) ∧ ( q ⟶ ∼r ) ∧ ( ∼ r ⟶ s ) ∧ ( ∼ p ) ∧ ( s ⟶r ) ]⟶( r)
Premisas:
P1:( p ∨q )
P2:( q ⟶ ∼ r )
P3: ( ∼ r ⟶ s )
P4: ( ∼ p )
P5: ( s ⟶ r )
Conclusión: (r )
Desarrollo:
p: compro un computador
q: compro un carro
r: ingresare a la UNAD
Conclusión: (r )
P6: (s ⟶ r)
CONCLUSIONES:
Se completa la solución de los ejercicios, se comprende la teoría y se pone en práctica para
la realización de cada punto, se tienen inconvenientes pero son prontamente solucionados.
Se realizó la tabla de verdad manualmente y por el simulador, observando que dio el mismo
resultado siendo la solución correcta en ambas partes.
REFERENCIAS BIBLIOGRAFICAS:
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=72&docID=4569631&tm=1529336365580
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
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=91&docID=4569631&tm=1529513879802
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado de
http://hdl.handle.net/10596/13869