INTRODUCCIÓN

La lógica proposicional o lógica de predicados es una parte fundamental del estudio de la

lógica en general, esta se fundamenta en el análisis de proposiciones o sentencias valuativas.

Cotidianamente nos encontramos con estas partículas lógicas, nuestro lenguaje es un

ejemplo, por tal razón se hace necesario su estudio no solo dentro del marco de la matemática
sino de la vida misma.

Así pues, se presenta un trabajo en torno a este concepto que involucra tablas de verdad en
proposiciones compuestas, álgebra de proposiciones, tautologías, contradicciones y
contingencias; proposiciones categóricas y cuantificadores.
 Ejercicio 1: Teoría de Conjuntos
Teniendo el diagrama de Venn Euler de la letra seleccionada, el estudiante deberá dar respuesta a
los siguientes ítems:

Defina los nombres de los conjuntos del diagrama de Venn Euler.

U= Perros de especialidad .
A= Perros de narcóticos.
B= Perros de explosivos.
C= Perros de terapia asistida.
• Determine la operación entre conjuntos, representada en el diagrama de Venn Euler
seleccionado (notación entre conjuntos).
Según lo pedido, debemos hallar la operación entre conjuntos que determina el área de color verde,
para esto observamos que esta área está comprendida entre los conjuntos 𝐴 y 𝐶, por lo tanto
tenemos que hay una intersección, además de esta se observa que los elementos del conjunto 𝐵, no
entrar en el área, por lo cual se debe restar el conjunto 𝐵, así pues, se tiene la siguiente operación de
conjuntos:
(𝐴 ∩ 𝐶) − 𝐵

• Exprese la notación del diagrama de Venn Euler seleccionado en palabras.

Al traducir al lenguaje natural esta expresión tenemos que, el área sombreada corresponde a:
“los perros que a su vez son de terapia asistida y de narcóticos pero que no comparten la
especialidad de detección de explosivos”
 Ejercicio 2: Aplicación de la Teoría de Conjuntos

En el establecimiento penitenciaria de Cali se cuenta con un total de 66 unidades caninas de

los cuales se tienen los siguientes datos:

 El universo U= unidades caninas en el establecimiento penitenciario de Cali

 El conjunto A representa aquellos que poseen especialidad de narcóticos
 El conjunto B son aquellos perros que poseen especialidad de explosivos
 El conjunto C son los perros que poseen especialidad de terapia asistida

Con los datos dados en el diagrama de Venn Euler escogido, plantee con sus propias
palabras, un ejercicio típico de aplicación de teoría de conjuntos, formulando los
interrogantes correspondientes a las operaciones entre conjuntos dadas a continuación y
dar las respectivas respuestas:

• (𝐴 ∩ 𝐵) − 𝐶
Problema:
¿Cuántas unidades caninas poseen a su vez la especialidad de narcóticos y
explosivos pero que no son de terapia asistida ?
Respuesta:
En total hay 4 unidades que satisfacen esta propiedad
• (𝐴 ∆ 𝐶) ∩ 𝐴
Problema:
¿Cuántas unidades caninas que son solamente de narcóticos o son
solamente de terapia asistida sin ser de las dos especialidades al mismo
tiempo son de narcóticos ?
Respuesta:
En total hay 20 unidades que satisfacen esta propiedad

• (𝐵 ∪ 𝐴) − 𝐶
Problema:
 ¿Cuántas unidades caninas que son, bien sea, de narcótico o de explosivos
no son de terapia asistida?
Respuesta:
En total hay 36 unidades que satisfacen esta propiedad

• 𝐴 − (𝐵 ∪ 𝐶)
Problema:
¿Cuántas unidades caninas que son de narcóticos no son ni de explosivos
o de terapia asistida?
Respuesta:
En total hay 16 unidades que satisfacen esta propiedad
 Ejercicio 3: Silogismos Categóricos

A. Premisa 1: Todos los físicos son matemáticos.

Premisa 2: Algunos matemáticos son filósofos.
Conclusión: Algunos filósofos son físicos.

A partir del silogismo categórico que haya seleccionado deberá dar respuesta a los siguientes
ítems:

 Identifique el predicado, sujeto y término medio.

Identifiquemos individualmente estos términos:
Para la premisa 1:
Sujeto: Físicos
Predicado: Ser matemáticos
Para la premisa 2:
Sujeto: Matemáticos
Predicado: Ser filósofo
Para la premisa conclusión:
Sujeto: Filósofos
Predicado: ser físicos
Por definición el término medio es aquel término que aparece en las premisas pero
no en la conclusión, Así
𝑀 = 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑜𝑠

 Grafique mediante diagrama de Venn las premisas 1 y 2

Para la premisa:
Todos los físicos son matemáticos.
Se tiene que no existe ningún elemento del conjunto físicos por fuera del conjunto
matemáticos, así si denominamos:
𝑀 = {𝑀𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑜𝑠}
𝑃 = {𝑓í𝑠𝑖𝑐𝑜𝑠}
 𝐹 = {𝑓𝑖𝑙ó𝑠𝑜𝑓𝑜𝑠}
se tiene el siguiente diagrama de Venn:

Para la premisa:
Algunos matemáticos son filósofos.
Se tiene que existe al menos un elemento de M dentro de F, por lo tanto:
 Grafique mediante diagrama de Venn la conclusión del silogismo.
Graficar:
Algunos filósofos son físicos.
De nuevo graficamos:
 Determine la validez del silogismo categórico
Para determinar la validez del mismo observemos que este ejemplo tiene la forma
de:
Todo P es M
Algún M es F
___________
Algún F es P
Es decir, tiene la forma
P M
M S
_______
S P
Y en general toma la forma de: AII, así siguiendo la siguiente clasificación:

Donde las figuras son:

Es decir que el silogismo no es valido.

 CONCLUSIONES

 El lenguaje natural, el que usamos para comunicarnos, puede ser modelado con sentido a
través de las leyes lógicas, y estas nos permiten concluir cosas correctas
 Las reglas lógicas son universales, es decir, exentas de errores, así se probó en el trabajo.
 El desarrollo de este trabajo nos permitió concluir que las tablas de verdad son una
herramienta fundamental para comprender las aplicaciones de los diferentes valores de
verdad para cada proposición.
 BIBLIOGRAFÍA

Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. México, D.F.: Grupo Editorial
Patria. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=13&docID=32272
86&tm=1531172313538

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. Madrid, España: Editorial
Tébar Flores. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=322645
7&tm=1529246259924

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=31997
01&tm=1529335849013

Sánchez, H. R. (2014). Álgebra. México, D.F., México: Larousse - Grupo Editorial Patria.
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11046169&tm=
1489706134764

Colegio24hs (2004). Silogismos y falacias. Buenos Aires: Colegio24hs. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=27&docID=3157595&tm=1
511207573036

Barker, S. F. (1991). Elementos de lógica (5a. ed.). McGraw-Hill Interamericana. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=63&docID=3196124&tm=
1527609747306