MOMENTO INTERMEDIO PASO 2 USO DE LAS TABLAS DE VERDAD

(ACTIVIDAD GRUPAL TOMADA INDIVIDUAL)

EDGAR BALANTA

GRUPO:
482

TUTOR:
JOHN J GETIAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENIERIA ELECTRONICA
ESTADISTICA DESCRIPTIVA
SANTIAGO DE CALI, ABRIL 2017
 OBJETIVOS

Objetivos General: por medio del Aprendizaje Basado en Problemas (ABP), aplicar y entender los conceptos
y clasificacin de las reglas y estrategias de educacin natural; las proposiciones lgicas; tabla de la verdad
(su validez); reglas de equivalencia; el entendimiento de la ley asociativa (escogida en este caso)

Objetivos Especficos:
- Interpretar el lenguaje Natural y Simblico para aplicarlo a nuestro(ABP)
- simulacin TRUTH para comprobar la respectiva tabla de verdad
- Solucionar el problema planteado del Anexo 3.
 INTRODUCCIN

Se busca bajo un entorno aplicando el Aprendizaje Basado en Problemas (ABP), en el Momento Intermedio
Paso 2 Uso de las Tablas de Verdad, dentro de una actividad grupal que tomo individual mente, consiste
en dos etapas
Primera etapa: la participacin significativa de cada integrante en el E-Portafolio (este recurso lo encuentran
en el entorno de Seguimiento y Evaluacin). Para este aporte, se escoge la proposicin lgica (publicar en
el Foro de Interaccin y Produccin la propiedad asociativa y se realiza una pequea presentacin en PREZI,
de la demostracin y un ejemplo evidenciando en el E-Portafolio el enlace de acceso.
Una Segunda etapa: de la solucin del enunciado problmico de Lgica Proposicional del ANEXO 3 y el uso
del simulador TRUTH para comprobar la respectiva tabla de verdad, con la clasificacin de la tabla.
ETEPA 1:

ANEXO 3

SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL

Para todos es preocupante la situacin econmica actual que vivimos y que infortunadamente todo
est muy costoso y el dinero no alcanza. Clemencia reflexiona acerca de su proceder con su propia
economa y su esposo reflexiona lo siguiente: Clemencia mi esposa escribe su lista de gastos y ella
consigue un trabajo alterno en otra universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca
que queda o ella se desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra
mucho dinero. Por consiguiente, mi esposa ahorra mucho dinero. Es claro lo que expresa el esposo
de Clemencia? Para dar la respuesta es necesario elaborar la tabla de verdad de lo que comenta el
esposo de Clemencia, si es tautologa es afirmativo el comentario, si da contradiccin hay falsedad en
lo expresado, y si da contingencia, es porque hace falta informacin para tener asertividad del
comentario hecho.

Res/:
- Declaracin de las proposiciones simples

p =Clemencia mis esposas escribe su lista de gastos

q = ella consigue otro trabajo alterno en otra universidad
r = Mi esposa viaja en bicicleta a su trabajo por lo cerca que es
s = Ella se desplaza caminando
 t = Ella ahorra mucho dinero

Declaracin de las proposiciones compuestas (lenguaje natural)

Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra universidad. Mi
esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se desplaza caminando. Si Clemencia
escribe su lista de gastos, entonces ella ahorra mucho dinero. Por consiguiente, mi esposa ahorra mucho
dinero.

Declaracin de las proposiciones compuestas (lenguaje formal)

[(p q) (r V s) ^ (p t)] t

Tabla de la Verdad

(P
p q r s t ~p ~q ~r ~s ~t (p q) rVs (r V s) ^ (p [(p
t) t) [(p q) (r V s) ^ (p t)] t
q)

(r
V
s)
^
(p

t)]
V V V V V F F F F F V V V V V V
V V V V F F F F F V V V F F F V
V V V F V F F F V F V V V V V V
V V V F F F F F V V V V F F F V
V V F V V F F V F F V V V V V V
V V F V F F F V F V V V F F F V
V V F F V F F V V F V F F V F V
V V F F F F F V V V V F F F F V
V F V V V F V F F F F V V V F V
V F V V F F V F F V F V F F F V
V F V F V F V F V F F V V V F V
V F V F F F V F V V F V F F F V
V F F V V F V V F F F V V V F V
V F F V F F V V F V F V F F F V
V F F F V F V V V F F F F V F V
V F F F F F V V V V F F F F F V
F V V V V V F F F F F V V V F V
F V V V F V F F F V F V V V F V
F V V F V V F F V F F V V V F V
F V V F F V F F V V F V V V F V
F V F V V V F V F F F V V V F V
F V F V F V F V F V F V V V F V
F V F F V V F V V F F F F V F V
F V F F F V F V V V F F F V F V
F F V V V V V F F F F V V V F V
F F V V F V V F F V F V V V F V
F F V F V V V F V F F V V V F V
F F V F F V V F V V F V V V F V
F F F V V V V V F F F V V V F V
F F F V F V V V F V F V V V F V
F F F F V V V V V F F F F V F V
F F F F F V V V V V F F F V F V

Conclusin:
Se clasifica la tabla de verdad en Tautologa, ya que en su resultado (columna final) los datos arrojados
son todos Verdaderos(v)

Pantallazo Herramienta Truth table (se logra corroborar los resultados planteados)

NOTA: disculpa por la presentacin de estos pantallazos, pero es que estaban muy largos. De igual
manera esta la frmula para verificar.
-
 CONCLUSIONES

Por medio de un Aprendizaje Basado en Problemas (ABP),se logr aplicar y entender los conceptos y
clasificacin de las reglas y estrategias de educacin natural, las proposiciones lgicas, la tabla de la verdad
(encontrando su validez),las reglas de equivalencia, que nos llev a interpretar el lenguaje Natural y
Simblico para aplicarlo a nuestro(ABP)para luego Desarrollar las expresiones matemticas y proposiciones
que nos llev a la consolidacin de la Solucin de los problemas planteados del Anexo 3 ejercicio para en
ltima instancia el aprendizaje y destreza del simulador TRUTH.
 REFERENCIAS BIBLIOGRAFICAS

Argoty, L. (2015). Repaso Lgica Matemtica.

Recuperado de:
https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/host/0By7BIcHpFSDON090QVkzd
mJOeXc/index.html

Prez, A. R. (2013). Lgica matemtica. Una introduccin a las matemticas discretas y teora de grafos.
(pp. 1-22). Crdoba, AR: El Cid Editor.
Recuperado de:
http://www.ebrary.com

Argoty, L. (2015). Repaso Lgica Matemtica.

Recuperado de:
https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/host/0By7BIcHpFSDON090QVkzd
mJOeXc/index.html

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse - Grupo Editorial

Patria. Pginas 19 - 29.
Recuperado de:
http://hdl.handle.net/10596/6551
Chvez, C. P. (2000). Compendio de lgica. Larousse - Grupo Editorial Patria. Pginas 151- 162.
Recuperado de:
http://hdl.handle.net/10596/6552

Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la educacin media. Bogot,
CO: Educar Editores S.A. Pginas 151 -162
Recuperado de:
http://hdl.handle.net/10596/6541

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las lgebras de Boole.
1. Edicin. Mxico, Editorial Pearson. Pginas 63-81.
Recuperado de:
http://hdl.handle.net/10596/7959
url de origen: http://es.slideshare.net/gollolarios/logica-y-argumentacion-48589590

Hilder Moscote. [Hilder Moscote]. (2016, agosto 01) [aplicacin de las tablas de verdad en el lgebra de
proposiciones]. Recuperado de:
http://hdl.handle.net/10596/7961

https://www.youtube.com/watch?v=GOzAFEcR2k0
https://matedisunidad3.wordpress.com/
https://www.ecured.cu/Tablas_de_la_verdad