Beruflich Dokumente
Kultur Dokumente
UNPRG
18 de marzo de 2011
Formalizando
Una inferencia lógica es un razonamiento expresado en una frase
cuya última parte se afirma con base a lo que previamente se haya
declarado.
Significado Procesal
En el caso de que el agente sea humano, de los aspectos
procesales de los razonamientos se ocupa la psicologı́a.
Pero si el agente es un artefacto, por ejemplo, un computador,
entonces es un asunto propio de la inteligencia artificial.
Parte 01
Ejemplo 1.2
“Si estudio, aprendo. Es ası́ que estudio, luego aprendo.”
Parte 02
Ejemplo 1.3
Parte 03
Validación de un razonamiento
Parte 04
Modus operandi
1 Se da valor 0 a la conclusión.
2 Se le asigna valor 1 a cada premisa.
3 Se deducen los valores las variables que componen a las
premisas y de la conclusión.
4 En estos valores, si no se encuentra ningún conflicto o
ambiguedad, el razonamiento es inválido.
Leyes Elementales
Se usan para la demostración directa
8. Ley de transposición
B) 1. ∼q → ∼p
A) 1. p →q ∴ p→q
∴ ∼q → ∼p
9. Ley de traslación
A) 1. (p ∧ q) → r B) 1. p → (q ∧ r )
∴ p → (q → r) ∴ (p ∧ q) → r
A) 1. ∼(p ∨ q) B) 1. ∼(p ∧ q)
∴ ∼p ∧ ∼q ∴ ∼p ∨ ∼ q
Dilema constructivo, destructivo, y ley condicional
A) 1. p →q B) 1. ∼p ∨ q
∴ ∼p ∨ q ∴ p→q
Video Explicativo (en HD)
Leyes de Inferencia y ejemplos
Parte 08
Demostración Indirecta
Demostración Indirecta
Modus operandi - II
4. No hay que llegar a la conclusión, solamente buscar una
contradicción en las premisas.
5. Se concluye que C es verdadera, ya que ∼C hace inválida a la
inferencia.
Ası́, se habrá demostrado formalmente la inferencia por el método
indirecto.
2. ∼q → r (D.I.)
∴ ∼p → r 4. ∼(p ∨ r ) sustitución del condicional en
3.
es válido por
5. ∼p ∧ ∼r Ley de Morgan en 4.
demostración
indirecta. 6. ∼r Ley simplificación en 5.
Ejemplo 1.15
Demostrar que el razonamiento:
1. p →q
2. p → ∼q
∴ ∼p
es válido por demostración indirecta.
Ejercicios Explicativos
Solución
. Regla Comentario
1. p → q Premisa
2. p → ∼q Premisa
3. ∼( ∼p) =p Hipótesis Se supone falsa la con-
clusión ∼p
4. q Modus ponens
entre 1 y 3.
5. ∼q Modus ponens
entre 2 y 3.
6. q ∧ ∼q Ley conjuntiva Tenemos la contradicción
entre 4 y 5. buscada.
Bibliografı́a
Figueroa G, Rubén.
Matemática Básica.
Editorial America S.R.L., Lima, Perú, 1995.
Educared
Lógica Proposicional. [en lı́nea]
http://portales.educared.net/wikiEducared/ [Consulta: 22 Dic 2010].
Licencia de Creative Commons - Fundacion Telefónica.