Академический Документы
Профессиональный Документы
Культура Документы
UNIDAD 2 – TAREA 2
PRESENTADO POR
PRESENTADO A
ABRIL 2019
INTRODUCCIÓN
Este trabajo se pretende profundizar los conceptos correspondientes a los métodos para
probar la validez de argumentos, en el cual se contextualiza las reglas de inferencia y
razonamientos deductivos e inductivos, y se aplique a situaciones problemáticas planteadas,
donde se pueda desarrollar el concepto que evidencia el apropiamiento del mismo.
OBJETIVOS
Unidad 2
-Conectores lógicos
- Conjunción Negando – afirmo:
-Conectores Modus Ponens: Negando, niego: Razonamiento Razonamiento Razonamiento
-Disyunción [(pvq) ^~p]
Proposiciones lógicas [(p→q)^p] →q [(p→q) ^~q] →~p Inductivo Deductivo Silogismos
-Negación →qo[(pvq) ^~q] →p
-Condicional
-Bicondicional Conclusiones Conclusiones
Unidad fundamental generales a específicas a partir Infiere conclusión a
de la lógica situaciones de la lógica, leyes y partir de premisas
específicas teorías.
Uso de tablas de
verdades
Actividad Seleccionada: D
Si hoy vendo gomitas a mis amigos, entonces tendré dinero. Si tengo dinero entonces puedo
comprar un juego.
Lenguaje simbólico:
p: hoy vendo gomitas a mis amigos
q: Tengo dinero
r: puedo comprar un juego
p→q
q→r
Premisas:
P1: ¬𝑝𝑝→¬𝑟𝑟
P2: ¬𝑝𝑝→¬𝑟𝑟
P3: 𝑠𝑠∧𝑟𝑟
Conclusión ¬𝑞𝑞
Proposiciones simples
Lenguaje Natural
Tabla de verdad
CONSLUSIONES
Se logro evidenciar una buena apropiación y dominio del tema, al formular problemas
matemáticos, basados en requerimientos planteados.
BIBLIOGRAFÍA
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -
Grupo Editorial Patria. (pp. 29-38). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=1101
3570&tm=1492519542738