Diferencia entre revisiones de «Lógica proposicional/Deducciones directas»
Contenido eliminado Contenido añadido
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap |
|||
Línea 21:
Esta información se puede organizar en forma de tabla para facilitar su visualización. Por ejemplo, si nos piden verificar si una proposición <math>M</math> es una consecuencia lógica de las siguientes premisas:
# <math>C \
# <math>C \Rightarrow O</math>
# <math>D \Rightarrow M</math>
Línea 35:
|-
|1
|<math>C \
|Premisa
|n/a
Línea 75:
|-
|1
|<math>C \
|Premisa
|n/a
Línea 129:
* '''Premisa''': Si Juan obtiene el puesto de gerente y trabaja mucho, entonces obtendrá un aumento.
::<math>(A \
* '''Premisa''': Si recibe el aumento entonces comprará una casa.
::<math>C \Rightarrow D</math>
Línea 135:
::<math>\neg D</math>
* '''Conclusión''': Juan no ha obtenido el puesto de gerente o no ha trabajado mucho.
::<math>\neg A \
Finalmente organizamos las premisas en una tabla y aplicamos las equivalencias lógicas y las reglas de inferencia para determinar si la conclusión es una consecuencia lógica de las premisas proporcionadas en la definición del problema.
Línea 146:
|-
|1
|<math>(A \
|Premisa
|n/a
Línea 166:
|-
|5
|<math>\neg (A \
|''Modus tollens'' (MT)
|1, 4
|-
|6
|<math>\neg A \
|Ley de De Morgan para la conjunción
|5
| |||