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