Anda di halaman 1dari 10

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de

Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Pensamiento Lgico Matemtico

Paso 2
Uso de las tablas de verdad

Presentado por

Tutor
Hilder Moscote

Universidad Nacional Abierta y a Distancia-UNAD


Escuela de Ciencias Sociales, Artes y Humanidades
Programa Psicologa
Julio de 2017
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Introduccin

Aunque la lgica moderna ha modificado la lgica tradicional y, de hecho, la ha superado, vale


la pena estudiar la silogstica categorial por dos razones. Primera, porque la lgica tradicional ha
jugado un papel importante en la historia del pensamiento occidental. De hecho, es la lgica que
la mayora de gente reconoce como tal. Segunda, porque la silogstica categorial es un sistema
deductivo relativamente fcil y accesible. Emplea un nmero limitado de formas
proposicionales, y la validez de sus silogismos pueden ser comprobada sin mayor dificultad
tcnica. Ms an, uno encuentra silogismos categricos en el lenguaje ordinario. De manera que
empezaremos nuestro estudio de la lgica deductiva con una versin actualizada del silogismo
tradicional. Pero para hacer esto, necesitamos estudiar la proposicin categrica primero.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Objetivos

Conocer e interiorizar el concepto de proposiciones lgicas


Conocer y ejemplarizar las proposiciones simples
Conceptualizar y ejemplarizar las proposiciones compuestas
Aplicar e interiorizar las tablas de verdad
Plasmar en diagramas de VENN silogismos
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Proposicin lgica

Una proposicin o enunciado constituye una oracin que tiene un valor de verdad, es decir,
puede ser verdadera o falsa, pero no ambas. La proposicin es uno de los elementos
fundamentales en lgica. Si la oracin es una pregunta, una orden, carece de sentido o es muy
imprecisa, entonces no puede ser clasificada como verdadera o falsa, y por tanto no puede ser
una proposicin.

Una proposicin es una oracin con valor referencial o informativo, de la cual se puede predicar
su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.

La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser verdadera
o falsa empricamente, sin ambigedades.

Ejemplo: Las oraciones que adelante se relacionan son proposiciones, ya que pueden tomar un
valor verdadero o falso.

La tierra es cuadrada.
2+5 = 6
La computadora es negra o blanca
El lpiz es rojo o amarillo
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Proposiciones simples

Las proposiciones simples o atmicas son aquellas que estn estructuradas por una nica oracin.
Para su representacin, a la proposicin se le asigna una variable proposicional.

As mismo son aquellas que no tienen oraciones componentes afectadas por negaciones (no) o
trminos de enlace como conjunciones (y), disyunciones (o) o implicaciones (si.
entonces). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre
oraciones.

Ejemplos: Proposiciones simples

Un caballo negro.
l est dormido.
Mi computadora.
El oro es un metal precioso

Proposiciones compuestas

Las proposiciones compuestas o moleculares son aquellas que estn estructuradas por dos o ms
proposiciones simples unidas por operadores lgicos, tales como , V, , , entre otros. En el
caso de las proposiciones compuestas, a cada proposicin simple que la forma se le puede
asignar una variable proposicional.

Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o
trminos de enlace entre oraciones componentes.

Ejemplo: Proposiciones compuestas

Si Yolanda es estudiosa entonces pasar el examen.


Si corro rpido entonces llegar temprano.
Terminar rpido si y slo si me doy prisa.
Aprender Matemticas si y slo si estudio mucho.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Tablas de verdad situacin problemica 5

Situacin problemica nmero 5: Daniela e Isabella son hermanas y el pasado fin de semana ocurri un
suceso del cual e pap y la mam desean saber en realidad como pasaron las cosas; Isabella dio su versin
a los padres; pero luego Daniela comenta lo siguiente: Es falso cuando mi hermana dice que no es cierto
que, ella estuvo en cine con su amiga Lorena o que estuvo en la biblioteca estudiando para el parcial, o
que estuvo en cine con Lorena o estuvo en el ensayo del coro de la iglesia. Isabella mi hermana dice que
estuvo en el ensayo del coro de la iglesia. Mauricio un poco confundido por lo que dicen sus hijas, decide
hacer algo que aprendi en su formacin como matemtico y transforma en un expresin proposiconal
simblica lo que dijo Daniela acerca de Isabella, para saber si es una incoherencia (la tabla de verdad
dara contingencia) o es falso (la tabla de verdad dar una contradiccin) o si es una verdad (la tabla de
verdad dara una tautologa). A qu conclusin llega Mauricio?

Es falso cuando mi hermana dice que no es cierto que, ella estuvo en cine con su amiga Lorena
o que estuvo en la biblioteca estudiando para el parcial, o que estuvo en cine con Lorena o
estuvo en el ensayo del coro de la iglesia. Isabella mi hermana dice que estuvo en el ensayo del
coro de la iglesia.

Proposiciones simples:
P= Isabella estuvo en cine con su amiga Lorena.
Q= Isabella estuvo en la biblioteca estudiando para el parcial.
R= Isabella estuvo en el ensayo del coro de la iglesia.

Proposiciones compuestas:

Es falso cuando mi hermana dice que no es cierto que, ella estuvo en cine con su amiga Lorena
o que estuvo en la biblioteca estudiando para el parcial, o que estuvo en cine con Lorena o estuvo
en el ensayo del coro de la iglesia. Isabella mi hermana dice que estuvo en el ensayo del coro de
la iglesia.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Preposiciones lenguaje formal

p q r pvq pvr (p v q)v(p v r) -[(p v q)v(p v r)] -[(p v q)v(p v r)] v r -{-[(p v q)v(p v r)] v r}
V V V V V V F F V
V V F V V V F F V
V F V V V V F F V
V F F V V V F F V
F V V V V V F F V
F V F V F V F F V
F F V F V V F F V
F F F F F F V F V
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Silogismo

P1= M- Algunos cursos del rea de Matemticas son obligatorios de los programas de
Ingeniera en la UNAD.

P2= S- Todos los cursos de tres (3) crditos son cursos obligatorios de los programas de
Ingenieras en la UNAD.

C= P- Algunos cursos de tres (3) crditos no son cursos del rea de Matemticas.

P1
x
C P2
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Conclusiones

Las proposiciones lgicas, las tablas de verdad y los silogismos son temas muy importante en
nuestra vida cotidiana, puesto que muchas veces debemos realizar operaciones matemticas o
enfrentarnos a situaciones problema, y no conocemos los procedimientos adecuados, o debemos
recurrir a la calculadora o a otros elementos tecnolgicos que no permiten desarrollar nuestro
conocimiento.

.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de
Investigacin - VIACI
Escuela: ECBTI Programa: Psicologa
Curso: Pensamiento Lgico Matemtico Cdigo: 200611

Bibliografa

Villalpando, B. J. F. (2000). "Lgica y Clculo Proposcional". En ProQuest (Ed). Matemticas


discretas: aplicaciones y ejercicios. (pp. 19 - 29). Guadalajara, Mxico: Larousse - Grupo
Editorial Patria. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=30

Chvez, C. P. (2000). "Lgica Simblica". En ProQuest (Ed). Compendio de lgica. (pp. 151-
162). Guadalajara, Mxico: Larousse - Grupo Editorial Patria. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=11046000&
tm=1489704594878

Gonzles, T. L., & Saavedra, M. (2009). "Lgica". En ProQuest (Ed). Aciertos matemticos 11:
serie para la educacin media. (pp. 151 -162)Bogot, Colombia: Educar Editores S.A.
Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=10345286&t
m=1489705371767

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


http://erenriquez.net/largoty/Ova01MD/

Moscote, H. (2016) Aplicacin de las tablas de verdad en el lgebra de proposiciones.


Recuperado de http://hdl.handle.net/10596/7961

Anda mungkin juga menyukai