Pensamiento lgico y matemtico.

Estudiantes:
John Sebastin Barona - 1144078484
Kelly Alejandra Parra Molina - 1144181300
Jorge Luis Hernndez - 1116433735
Hctor Fabio Arias Romero - 1116251979

Tutor:
Leonardo Fabio Garca

Paso 2: Uso de las tablas de verdad- Trabajo grupal

Grupo:
200611_408

Universidad Nacional Abierta y a Distancia - UNAD

Ingeniera Electrnica
Cali, octubre de 2016
 Objetivos

Identificar los conectores lgicos y su organizacin en las tablas de verdad

Representar el lenguaje normal a travs del algebra proposicional.

Clasificar el resultado de la tabla en tautologa, contradiccin o contingencia.

Hacer el trabajo de manera grupal y ordenada.

 Introduccin.

Las tablas de verdad nos permiten analizar cualquier frmula y hallar sus valores

de verdad. Nos dice si un enunciado satisface una realidad. Si un razonamiento es

vlido o no. Constituye un procedimiento de decisin que en un nmero finito de pasos

nos dice si una frmula es una tautologa o no.

Con este trabajo se busca que los estudiantes comprendan los temas tratados

en la unidad II, se familiaricen con ellos y los pongan en prctica para aplicar los

conocimientos obtenidos durante el periodo acadmico; logrando as interpretar los

mtodos de la proposicin lgica, las cuatro tablas de la verdad, tautologas,

contradicciones, contingencias y dems temas tratados en el desarrollo de la unidad.

 Situacin problmica del uso de tablas de verdad 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.

Desarrollo

1. Separamos el fragmento a analizar de la situacin problmica

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.

2. Identificamos el nmero de proposiciones.

p: Clemencia escribe su lista de gastos.

q: Clemencia consigue un trabajo alterno.

r: Viaja en bicicleta.
 s: Clemencia se desplaza caminando.

t: Clemencia ahorra mucho dinero.

Tenemos entonces la siguiente expresin:

[(pq)(rvs)(pt)]t

3. Realizamos la tabla de verdad.

p q r s t (pq) (rvs) (pt) [(pq)(rvs)(pt)] [(pq)(rvs)(pt)]t

V V V V V V V V V V
V V V V F V V F F V
V V V F V V V V V V
V V V F F V V F F V
V V F V V V V V V V
V V F V F V V F F V
V V F F V V F V F V
V V F F F V F F F V
V F V V V F V V F V
V F V V F F V F F V
V F V F V F V V F V
V F V F F F V F F V
V F F V V F V V F V
V F F V F F V F F V
V F F F V F F V F V
V F F F F F F F F V
F V V V V F V V F V
F V V V F F V V F V
F V V F V F V V F V
F V V F F F V V F V
F V F V V F V V F V
F V F V F F V V F V
F V F F V F F V F V
F V F F F F F V F V
F F V V V F V V F V
F F V V F F V V F V
F F V F V F V V F V
F F V F F F V V F V
F F F V V F V V F V
F F F V F F V V F V
F F F F V F F V F V
F F F F F F F V F V

De acuerdo con lo anterior obtenemos una Tautologa, por lo tanto lo que dice
Clemencia es cierto.

Verificacin con el simulador Truth

 Conclusiones.

Con el desarrollo del segundo trabajo colaborativo, fue posible aprender a

identificar los conectores lgicos y su organizacin en las tablas de verdad,

analizando la importancia de cada uno de ellos.

Al identificar las diferentes clasificaciones de la tabla de la verdad, es posible

deducir si es una tautologa, contradiccin o contingencia.

Mediante un simulador online, fue posible verificar la tabla de la verdad

propuesta.

El silogismo est constituido por proposiciones enunciativas, llamadas tambin

categricas, el sujeto y el predicado de la conclusin son trminos que aparecen

tambin cada uno de ellos en una de las premisas, el predicado o trmino mayor

en la llamada premisa mayor y el sujeto o trmino menor en la menor.

 Bibliografa.

Wordpress.com, Angela Rendon (20/10/2011). Lgica matemtica Concepto

de proposicin, recuperado de:
https://angelarendon.wordpress.com/2011/10/20/3-1-1-concepto-de-proposicion-
2/

Blogspot.com.co, Daniel Cruz Fernando Uriza (24/11/2009). Logica

matemtica Formalizacin proposiciones, recuperado de: http://franciscouriza-
danielcruz.blogspot.com.co/2009/11/formalizar-una-proposicion-equivale.html

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

de https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/host/0
By7BIcHpFSDON090QVkzdmJOeXc/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