Reglas de Inferencia Lógica
Inferencia
Condicional
Modus Ponendo Pones
Antecedente de la primera
Consecuente es la conclusión
(𝑃→𝑄) ˄ 𝑃 ⟹𝑄
Modus Tollendo Tollens
Consecuente es falso
"El modo que, al negar, niega"
Antecedente es falso
[(𝑃→𝑄) ˄ ̴ 𝑄] ⟹ ̴ 𝑃
Silogismo Hipotético
Es un condicional
Antecedente 1ra premisa
(𝑃→𝑄) ˄ (𝑄→𝑅) ⟹ (𝑃→𝑅)
Doble Negación
Premisa positiva
Conjunción
Ley de la Simplificación
Separar proposición
𝑃 ˄ 𝑄⟹𝑃
Regla de la Unión
Premisas separadas
(𝑃) ˄ (𝑄) ⟹(𝑃 ˄ 𝑄)
Disyunción Inclusiva
Modus Tollendo Ponens
Ley de Adición
ciertas
Conclusión
Premisas verdaderas
Disyunción
[( 𝑃 ˅ 𝑄)] ˄ ̴ 𝑃 ⟹𝑄
"El modo que, al negar, afirma"
𝑃 ˄ 𝑄⟹𝑄
falsas
Implicación
A⟹B
B es conclusión
lógica de A
Si es tautología
María Fernanda Fermin
CI: v30186495
Ingeniería en Sistemas
Razonamiento
[(𝑃 ˅ 𝑄)] ̴ 𝑄 ⟹𝑃
Se comprueba mediante
Tablas de la verdad
~ (~ P) / P
Proposición conclusión
donde
Premisas
resulta de
Métodos alternativos
Deducción
Ley de Demostración de Casos
𝑋 ˅ 𝑌→𝑍≡ 𝑋→𝑍 ˄ (𝑌→𝑍)
significado
2da premisa es
"El modo que, al afirmar, afirma"
Consecuente 2da premisa
significado
define que
entonces
conclusión
compuesto por
Reglas de Inferencia
equivale a
conecta
permite
𝑃⟹𝑃 ˅ 𝑄
premisas son
determina
significado
también