Uso de Arboles en Lógica
80
Academia DHP Uso de Árboles para Evaluar Expresiones Lógicas Dr. José Enrique Alvarez Estrada [email protected] Versión 1.0 10/10/11
-
Upload
jose-enrique-alvarez-estrada -
Category
Education
-
view
2.884 -
download
1
description
Con la introducción de materias de Lógica en la Unuversidad del Caribe, surge el reto para la Academia de Desarrollo de Habilidades del Pensamiento (DHP) de instrumentar didácticas nuevas para su enseñanza. Aquí presento una alternativa visual: convertir las expresiones en árboles.
Transcript of Uso de Arboles en Lógica
Academia DHP
Uso de Árboles paraEvaluar Expresiones Lógicas
Dr. José Enrique Alvarez [email protected]
Versión 1.0 10/10/11
~ A ^ B v A ^ ~ B
~ A ^ B v A ^ ~ B
Una Expresión
Lógica
~ A ^ B v A ^ ~ B
~
^
~
^
v
Puedeevaluars
emediant
eun árbol
Pero... ¿Cómo?
~ A ^ B v A ^ ~ B
Recorremosla expresiónde izquierdaa derecha
~ A ^ B v A ^ ~ B
La negaciónprimero
~
~ A ^ B v A ^ ~ B
~
A ^ B v A ^ ~ B
~
A ^ B v A ^ ~ B
La otranegació
ndespués
~
A ^ B v A ^ ~ B
~
~
A ^ B v A ^ B
~
~
A ^ B v A ^ B
~
Luegola
conjunción“Y”
~
^
A ^ B v A ^ B
~
~
^
A B v A ^ B
~
~
^
A B v A ^ B
~
Despues laotra
conjunción“Y”
~
^
A B v A ^ B
~
^
~
^
A B v A B
~
^
~
^
A B v A B
~
^La
disyunción“O” al último
~
^
A B v A B
~
^
v
~
^
A B A B
~
^
v
~
^
A B A B
~
^
v ¡Árboltermina
do!
~
^
A B A B
~
^
v
Ahora...¡ a evaluarlo !
~
^
A B A B
~
^
v el Arbol...
~
^
A B A B
~
^
vA B R
...y su Tabla
de
Verdad
~
^
A B A B
~
^
vA B R
F
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V ?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F ?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
F
F
~
^
A B A B
~
^
vA B R
F
F F
FF
F
~
^
A B A B
~
^
vA B R
F
F F
F
V V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V ?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V ?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
V
F
F V V
~
^
A B A B
~
^
vA B R
F
V V
FF
F VV
V
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F ?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F ?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
V
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
V
F
F V V
V F V
~
^
A B A B
~
^
vA B R
F
V V
FF
F VV
V VF
V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F ?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F ?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
F
F
F V V
V F V
V V V
~
^
A B A B
~
^
vA B R
F F F
F V V
V F V
V V V
¡TERMINADO!
