1

Primera etapa.
Conceptualizacin de la terminologa de la lgica matemtica

Proposicin lgica
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. Son proposiciones las oraciones
asertivas, las leyes cientficas, las frmulas matemticas, las formulas y esquemas lgicos,
los enunciados cerrados o claramente definidos.
No son proposiciones las opiniones y suposiciones, los proverbios y refranes, los
enunciados abiertos no definidos, las expresiones exclamativas, interrogativas, imperativas,
desiderativas y dubitativas, las intersecciones en general y las operaciones aritmticas.
Ejemplos:
36+ 63=99

Einstein fue un fsico terico

El hierro en mineral

Proposiciones simples
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:
La ballena es rojo

Tersa va a la escuela

Daniel es alto

La raz cuadrada de 16 es 4
 2

Proposiciones compuestas
Una preposicin ser compuesta si es afectada por negaciones o trminos de enlace, entre
oraciones componentes.

Ejemplos:

Tersa va a la escuela o Mara es inteligente.

La ballena no es roja.

El 1 es el primer nmero primo y es mayor que cero.

Si corro rpido entonces llegare temprano.

Terminare rpido si y solo si me doy prisa.

Segunda etapa
Anexo 1 problema numero 1

1. Anglica se levant el lunes como lo hace siempre a las 5:30 am para alistarse e irse
a trabajar; pero ese lunes la nostalgia se apoder de ella y sumndole la
predisposicin que suele dar el comenzar la semana de trabajo. Pero ella al mirarse
al espejo minutos antes de salir de su casa hizo la siguiente reflexin: tengo calidad
de vida y poseo una buena salud. Tengo calidad de vida y poseo un excelente
empleo. Es que en realidad poseo una excelente salud y el trabajo que poseo es
excelente. Por consiguiente, poseo una calidad de vida. Analiza a travs de las
tablas de verdad si es correcta la reflexin que hace Anglica, determinando si es
tautologa o contradiccin o contingencia.

Solucin
 3

Al analizar el ejercicio, encontramos las siguientes proposiciones simples:

Tengo calidad de vida =P

Poseo buena salud =q
Poseo un excelente empleo =r
La representacin simblica del ejercicio nos queda:

[ ( p q ) ( p r ) ( q r ) ] p

La tabla nos queda:

p q r p q p r q r ( p q ) ( p r ) ( p q ) ( p r ) ( q r[)( p q ) ( p r ) ( q r ) ] p

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

Al realizar cada una de las operaciones observamos que todos los valores de la conclusin
son verdaderos por lo cual podemos concluir que esta tabla de verdad es una tautologa.
 4

Pantallazos de comprobacin en el simulador TRUTH.

 5

Tercera etapa
Anexo 2 problema 1

1. 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.

Solucin

Premisa 1: Algunos cursos del rea de matemticas son obligatorios de los

programas de ingeniera en la unad.

Premisa 2: Todos los cursos de tres (3) crditos son cursos obligatorios de los
programas de ingenieras en la unad.

Conclusin: Algunos cursos de tres (3) crditos no son cursos del rea de
matemticas.

No son cursos del rea de matemticas

Todos los cursos de

X X 3 crditos son
obligatorios

Algunos cursos del rea de

Matemticas son
obligatorios
 6

En la representacin del diagrama de ven podemos observar que en la regin de los cursos
que no son del rea de matemticas unas x que especifican la existencia de algunos cursos
de tres crditos que no son del rea de matemticas. Por lo tanto, la conclusin que dice que
algunos cursos de tres crditos no son cursos del rea de matemticas es vlida.

Conclusiones
 7

Se comprende el significado de silogismo y se estudia la forma de

representarlo por medio del diagrama de ven.
Con la ayuda de los problemas planteados para la actividad, se entiende de
forma clara como emplear los conectores lgicos y la manera de ejecutar las
operaciones para hallar los valores de la tabla de verdad.
A medida que fui desarrollando a actividad, comprend muchos trminos y
aclar conceptos que no estaban muy claros.
Aprend sobre el manejo del simulador TRUTH y pude comprobar la
veracidad de los valores hallados.

Referencias
 8

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

dehttp://erenriquez.net/largoty/Ova01MD/

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

Grupo Editorial Patria. (pp. 19 - 29). Recuperado de:http://hdl.handle.net/10596/6551

Chvez, C. P. (2000). Compendio de lgica. Larousse - Grupo Editorial Patria. (pp. 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. (pp. 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. (pp. 63-81). Recuperado
de: http://hdl.handle.net/10596/7959

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

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