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
![Page 1: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/1.jpg)
Academia DHP
Uso de Árboles paraEvaluar Expresiones Lógicas
Dr. José Enrique Alvarez [email protected]
Versión 1.0 10/10/11
![Page 2: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/2.jpg)
~ A ^ B v A ^ ~ B
![Page 3: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/3.jpg)
~ A ^ B v A ^ ~ B
Una Expresión
Lógica
![Page 4: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/4.jpg)
~ A ^ B v A ^ ~ B
~
^
~
^
v
Puedeevaluars
emediant
eun árbol
![Page 5: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/5.jpg)
Pero... ¿Cómo?
![Page 6: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/6.jpg)
~ A ^ B v A ^ ~ B
Recorremosla expresiónde izquierdaa derecha
![Page 7: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/7.jpg)
~ A ^ B v A ^ ~ B
La negaciónprimero
![Page 8: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/8.jpg)
~
~ A ^ B v A ^ ~ B
![Page 9: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/9.jpg)
~
A ^ B v A ^ ~ B
![Page 10: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/10.jpg)
~
A ^ B v A ^ ~ B
La otranegació
ndespués
![Page 11: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/11.jpg)
~
A ^ B v A ^ ~ B
~
![Page 12: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/12.jpg)
~
A ^ B v A ^ B
~
![Page 13: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/13.jpg)
~
A ^ B v A ^ B
~
Luegola
conjunción“Y”
![Page 14: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/14.jpg)
~
^
A ^ B v A ^ B
~
![Page 15: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/15.jpg)
~
^
A B v A ^ B
~
![Page 16: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/16.jpg)
~
^
A B v A ^ B
~
Despues laotra
conjunción“Y”
![Page 17: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/17.jpg)
~
^
A B v A ^ B
~
^
![Page 18: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/18.jpg)
~
^
A B v A B
~
^
![Page 19: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/19.jpg)
~
^
A B v A B
~
^La
disyunción“O” al último
![Page 20: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/20.jpg)
~
^
A B v A B
~
^
v
![Page 21: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/21.jpg)
~
^
A B A B
~
^
v
![Page 22: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/22.jpg)
~
^
A B A B
~
^
v ¡Árboltermina
do!
![Page 23: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/23.jpg)
~
^
A B A B
~
^
v
![Page 24: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/24.jpg)
Ahora...¡ a evaluarlo !
![Page 25: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/25.jpg)
~
^
A B A B
~
^
v el Arbol...
![Page 26: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/26.jpg)
~
^
A B A B
~
^
vA B R
...y su Tabla
de
Verdad
![Page 27: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/27.jpg)
~
^
A B A B
~
^
vA B R
F
F F
![Page 28: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/28.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
![Page 29: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/29.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
![Page 30: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/30.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
?
![Page 31: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/31.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V
![Page 32: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/32.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V ?
![Page 33: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/33.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
![Page 34: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/34.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
?
![Page 35: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/35.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F
![Page 36: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/36.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F ?
![Page 37: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/37.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
![Page 38: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/38.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
?
![Page 39: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/39.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
F
![Page 40: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/40.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
F
F
![Page 41: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/41.jpg)
~
^
A B A B
~
^
vA B R
F
F F
FF
F
![Page 42: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/42.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
F
F V
![Page 43: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/43.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
?
F
F V
![Page 44: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/44.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V
F
F V
![Page 45: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/45.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V ?
F
F V
![Page 46: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/46.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
F
F V
![Page 47: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/47.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
?
F
F V
![Page 48: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/48.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V
F
F V
![Page 49: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/49.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V ?
F
F V
![Page 50: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/50.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
F
F V
![Page 51: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/51.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
?
F
F V
![Page 52: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/52.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
V
F
F V
![Page 53: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/53.jpg)
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
V
F
F V V
![Page 54: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/54.jpg)
~
^
A B A B
~
^
vA B R
F
V V
FF
F VV
V
![Page 55: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/55.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F
F V V
V F
![Page 56: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/56.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
?
F
F V V
V F
![Page 57: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/57.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F
F
F V V
V F
![Page 58: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/58.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F ?
F
F V V
V F
![Page 59: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/59.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F
F V V
V F
![Page 60: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/60.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
?
F
F V V
V F
![Page 61: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/61.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F
F
F V V
V F
![Page 62: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/62.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F ?
F
F V V
V F
![Page 63: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/63.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
F
F V V
V F
![Page 64: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/64.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
?
F
F V V
V F
![Page 65: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/65.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
V
F
F V V
V F
![Page 66: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/66.jpg)
~
^
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
![Page 67: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/67.jpg)
~
^
A B A B
~
^
vA B R
F
V V
FF
F VV
V VF
V
![Page 68: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/68.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F
F V V
V F V
V V
![Page 69: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/69.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
V V
?
F
F V V
V F V
V V
![Page 70: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/70.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F
F
F V V
V F V
V V
![Page 71: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/71.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F ?
F
F V V
V F V
V V
![Page 72: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/72.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F
F V V
V F V
V V
![Page 73: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/73.jpg)
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
?
F
F V V
V F V
V V
![Page 74: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/74.jpg)
~
^
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
![Page 75: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/75.jpg)
~
^
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
![Page 76: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/76.jpg)
~
^
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
![Page 77: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/77.jpg)
~
^
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
![Page 78: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/78.jpg)
~
^
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
![Page 79: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/79.jpg)
~
^
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
![Page 80: Uso de Arboles en Lógica](https://reader033.vdocumento.com/reader033/viewer/2022050818/5593b63a1a28ab6b0d8b45b8/html5/thumbnails/80.jpg)
~
^
A B A B
~
^
vA B R
F F F
F V V
V F V
V V V
¡TERMINADO!