Unidad 3 - Paso 3 - Uso de las reglas de inferencia

(FASE GRUPAL)

YORMAN HERNAN MEDINA RODRIGUEZ

ESCUELA: ECBTI

CÓDIGO: 200611_651

TUTOR:

OSCAR EDUARDO VIDAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

NEIVA-HUILA

2016
 OBJETIVOS

 Aprender que el estudiante identifique y utilice en forma clara las reglas de

inferencia lógica por inducción y deducción en formulaciones.
 hacer e Interpretar un enunciado tipo de argumento en una situación problémica del
mundo real y demostrar su validez a través de las tablas de verdad y de las leyes de
inferencia.
 INTRODUCCION

Es aplicar todos los pasos que hemos realizado durante las actividades para poder aplicarlos
en la vida cotidiana ya que son buenos aportes que nos llevan a ser más efectivos y trabajar
como grupo.
“Si Ximena se ganó el computador entonces Johan recibió la Tablet o Ricardo fue quien
recibió la Tablet. Si Ximena fue quien recibió la Tablet, entonces Ximena no obtuvo como
premio el computador. Si Carlos fue quien recibió la Tablet entonces Ricardo no fue quien
recibió la Tablet. Ximena se ganó el computador. Por lo tanto, Carlos no fue quien recibió
la Tablet.

P: se ganó el computador.

q: recibió la Tablet.

r: fue quien recibió la Tablet.

Premisa 1: p → (q ∨ r)

Premisa 2: r → -p

Premisa 3: q → -r

Premisa 4: p

Conclusión: -r

Se obtiene una tautología

[(p → (q ∨ r)) ˄ (r → -p) ˄ (q → -r) ˄ (p)] → -r

 CONCLUSION

1. Aplicar y desarrollar estrategias de las tablas de verdad.

2. Tener en cuenta cuando se aplican los Proposiciones simples y compuestas, tablas
de verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos.
3. Las operaciones problemicas interpretarlas y dar solución.
 BILBIOGRAFIA

file:///C:/Users/Familia%20Medina/Downloads/Orientaciones%20Trabajo%20Colaborativ
o%20Tres%20(3).pdf

https://www.youtube.com/watch?v=OuHYh1Xw5no

www.unad.edu.co