Course: Álgebra Discreta
Date: February 13, 2023 8:25 PM Status: Done Year: 2022
- Razonamiento o Argumentos
- Defina Razonamiento o Argumento. ↓
- Un razonamiento o argumento es toda expresión lógica cuya estructura es del tipo p1, p2, … , pn→q donde p1, p2, … , pn (premisas) y q (conclusión) son proposiciones cualesquiera.
- Cómo se establece la validez de un argumento? ↓
- Se dice que un razonamiento o argumento es válido cuando la conclusión se infiere o se deduce de las premisas.
- Por lo tanto una manera de establecer la validez de un argumento es demostrar que la proposición
- p1 ∧ p2 ∧ … ∧ pn→q es una tautologı́a.
- Reglas de Inferencia
-
Modus Ponens ↓
-
Modus Tollens ↓
-
Adición disyuntiva ↓
-
Combinación Conjuntiva ↓
-
Simplificación Conjuntiva ↓
-
- Defina Razonamiento o Argumento. ↓