uso de arboles en lógica
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
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!