Momento intermedio paso 2 Uso de las tablas de verdad

Maria Fernanda Rosso Patio

Cdigo: 1091660420

Grupo: 294

Tutora:

Delfina Reyes

Universidad Nacional Abierta y a Distancia

Programa de Psicologa

Pensamiento Lgico y Matemtico

Ocaa, 24 de octubre del 2016

 Objetivos

Objetivo General:

Con esta actividad se busca la conceptualizacin, anlisis y argumentacin de los

procedimientos desde la lgica proposicional utilizados para demostrar la veracidad y validez de

situaciones especficas del mundo real; y as verificar si la tabla de verdad generada es una

tautologa, contradiccin o contingencia.

Objetivos Especficos:

Definir y reconocer las proposiciones simples y compuestas, adems de

eso entender el verdadero significado de cada una y sus caractersticas.

Identificar los diferentes conectores lgicos y sus respectivas representaciones en las tablas de

verdad.
Representar grficamente a travs de los Diagramas de Venn un enunciado conocido como

silogismo.

Introduccin
 Siempre que se hacen diferentes tipos de afirmaciones, se deben basar en una serie de anlisis

que permitan aclarar y rectificar si lo que se dice es verdadero o falso. El presente trabajo muestra

como, cuando y en qu situacin se debe aplicar este tipo de proposiciones, tambin llamados

juicios o enunciados.

A continuacin, se representan los diferentes enunciados en su respectiva tabla de verdad y

diagrama de Venn, demostrando as, la aplicacin de las mismas segn el criterio adecuado.

Proposiciones simples y compuestas

 Una proposicin es una oracin o enunciado que se comprende como una afirmacin respecto

a un acontecimiento falsable, y que por lo tanto puede determinarse

como verdadero o falso. Todos los agrupamientos de palabras que conservan un sentido son

proposiciones, por lo que se dice que las proposiciones son la forma ms elemental de la lgica.

En muchas ocasiones, el concepto de la proposicin se confunde con el de la oracin. Sin

embargo, es fcil comprender que la oracin es una expresin lingstica compuesta

gramaticalmente que expresa un pensamiento o una opinin, mientras que una proposicin es una

idea ms bien relacionada con la lgica, que tiene necesariamente un concepto sujeto que cumple

la funcin de determinar al objeto: las proposiciones cuentan, casi siempre, con la palabra es o

est para hacer referencia a un estado de situacin permanente o provisorio.

Clasificacin:

Las proposiciones son los elementos bsicos a partir de los cuales se construyen los

razonamientos, y por eso fueron muy analizados en el mbito de la ciencia y de la epistemologa.

Aristteles consider la existencia de proposiciones universales (en las que se generaliza un

estado para todo elemento que cumpla con una caracterstica) y de proposiciones

particulares (cuando el sujeto est tomado de su extensin particular).

Tanto las universales como las particulares podrn ser negativas o positivas, expresando un

estado de situacin o la ausencia misma de ese estado, que tambin constituye una proposicin.

Las proposiciones pueden clasificarse en dos grandes grupos, de acuerdo a su extensin y a su

complejidad: Simples o Compuestas.

Las proposiciones en las Ciencias Formales

 La cuestin de las proposiciones es fundamental en el mbito de las ciencias formales, entre

las que se destaca la matemtica. Si bien lo que habitualmente se ve de ella son nmeros,

operaciones y ecuaciones, en el fondo todo est sostenido a base de demostraciones, que se

realizan con proposiciones que deben estar fundadas.

Un conjunto de proposiciones constituye una demostracin cuando se interrelaciona con una

serie de axiomas, de reglas de inferencia y de interpretaciones lgicas: esta ltima es la tarea

fundamental del matemtico.

Ejemplos de Proposiciones Simples:

Las proposiciones simples son aquellas que expresan un estado de situacin en su estado ms

sencillo, es decir uniendo a un sujeto con un objeto a partir del verbo es. Existe tanto en el

mbito de la matemtica como en el de otras disciplinas, e incluso para cuestiones que no son

relativas a ninguna de ellas. Se caracteriza por no tener ningn trmino que condicione la

proposicin de ninguna manera.

A continuacin, una lista de proposiciones simples, verdaderas o falsas:

1. El 9 y el 27 son factores del 81.

2. Esa caja es de madera.

3. Los nmeros pares son divisibles por dos.

Ejemplos de Proposiciones Compuestas:

 Las proposiciones compuestas, a diferencia de las simples, aparecen mediadas por la presencia

de alguna clase de conector, que puede ser de oposicin (habitualmente o)

de adicin (habitualmente y) o de condicin (habitualmente s).

Esto explica que en la proposicin compuesta la relacin entre el sujeto y el objeto no se

produzca en forma general, sino sometida a la presencia del conector: podr cumplirse solo

cuando otra cosa suceda, podr cumplirse tanto para ese como para otros, o podr cumplirse solo

para uno de todos.

Adems, se consideran compuestas a las proposiciones negativas, que incluyen la palabra no.

A continuacin, algunos ejemplos de estas proposiciones compuestas:

1. Puedo manejar un auto si tiene direccin hidrulica.

2. Gabriel Garca Mrquez fue un gran escritor y bailarn.

3. Los aparatos tecnolgicos son negros, blancos o grises.

Problema Anexo 1
 Ins est hablando con sus amigas de la universidad, y ellas quieren saber si es verdad que

Ins no necesita dinero para pagar la matrcula del prximo semestre, para lo cual Ins comenta

lo siguiente: No es cierto que soy beneficiaria del crdito condonable que otorga el Estado y

obtengo un promedio alto en mi periodo acadmico. Soy beneficiaria del crdito condonable que

otorga el Estado y recibo un bono de estudio en la empresa. Obtengo un promedio alto en mi

periodo acadmico y recibo un bono de estudio en la empresa. Por consiguiente, soy beneficiaria

del crdito condonable que otorga el Estado. Ser que es verdad lo que ha dicho Ins?, una de

las amigas tom nota de lo que dijo Ins y lo plasm en una tabla de verdad; qu resultado

obtuvo la amiga en la tabla que hizo?

[(~ p q ) ( p r ) ( q r )] = > p 2= 8

n= 3
p q r ~p ~pq pq qr (~pq)(pr)(qr) (~pq)(pr)(qr)= p
V V V F F V V F V
1
V V F F F F F F V
2
V F V F F V F F V
3
V F F F F F F F V
4
F F V V V F V F V
5 F F F V V F F F V
6 F F V V F F F F V
7 F F F V F F F F V
8
Tautologa (T)
 Captura de simulador TRUTH

Enunciado Anexo 2

Algunos cursos del rea de Matemticas son obligatorios de los programas de Ingeniera en la

UNAD. Todos los cursos de tres (3) crditos son cursos obligatorios de los programas de

Ingenieras en la UNAD. Algunos cursos de tres (3) crditos no son cursos del rea de

Matemticas.

Matemticas: M

Programa de ingeniera: I

Cursos de tres (3) crditos: C

 Como vemos, la conclusin no ha quedado automticamente graficada, por lo tanto el

silogismo no es vlido.
 Conclusiones

Luego de una revisin minuciosa, se entiende las diferentes formas de resolver enunciados que

contiene una o varias proposiciones ya que de manera lgica se dan valores a dichas

proposiciones que nos permiten resolverlos. A medida que vamos obteniendo conocimiento sobre

el tema nos damos cuenta como le vamos dando forma a los enunciados, ya que nos permite

desde el punto de vista matemtico llegar a resolver ejercicios con mayor facilidad analizando

mejor los enunciados y aplicando mejor las herramientas matemticas. Cabe resaltar que el tema

es una herramienta valiosa para muchos aspectos, por lo cual es de suma importancia su estudio.

Por otra parte, las funciones son aplicables en todos los campos para obtener por medio de una

serie de datos y clculos unos resultados que nos permiten poder determinar una serie de eventos

como se producen o come se pueden evitar.

 Bibliografa

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

https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/h

ost/0By7BIcHpFSDON090QVkzdmJOeXc/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/0By7BIcHpFSDON090QVkzdmJOeXc/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-

yargumentacion-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