1

Lgica Proposicional

Tutor: Luis Gabriel Prieto

Grupo de trabajo: 523

Juan Sebastin Jimnez de la puente

Cdigo: 1 129 515159

Jhenyfeer Mallerly Beltran Avila

Cdigo 1 120 375 204

Jos Vicente Garca Puentes

Cdigo: 1 121 911 338

Universidad Nacional Abierta y a distancia UNAD

Pensamiento lgico y matemtico
Octubre 18 de 2015
 2

Introduccin
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms simples representan proposiciones, y
cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad. Por lo que dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir de
proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples. Una tabla de verdad, o tabla de valores
de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de verdad que se pueda
asignar.
En el siguiente trabajo aprenderemos conceptos de la lgica proposicional como
Concepto de proposicin lgica. Proposiciones simples y compuestas
Las cuatro Tablas de verdad: conjuncin, disyuncin, implicacin y bicondicional.
Tautologas, contradicciones y contingencias.
Cuantificadores y proposiciones categricas.
Silogismos categricos

Adems aplicaremos la solucin de tablas de verdad con el fin de encontrar las proposiciones ciertas en un enunciado y que tan
verdaderas son sus afirmaciones, tambin desarrollaremos silogismos con el fin de aclarar la importancia de palabras que une una
oracin y lo que realmente nos quieren decir, desarrollndolos por medio de diagrama de ven.
 3

Objetivos
General:
Conocer los conceptos de la lgica proposicional, su aplicabilidad y solucin en textos, planteamientos o silogismos que vemos
cotidianamente.

Especficos:
Reconocer conceptos de la lgica proposicional.
desarrollar tablas de verdad, sobre diversas proposiciones.
Ver la aplicabilidad de la lgica propocicional

Realizar la solucin de silogismos por medio de diagramas de venn

Aporte Individual realizado por: Juan Sebastin Jimnez De La Puente.

 4

Se han seleccionado tres estudiantes del curso de Pensamiento Lgico y Matemtico con el fin de que puedan desplazarse a
tres ciudades donde hay gran nmero de estudiantes matriculados en el curso, con el fin de brindar apoyo en el manejo de
las actividades B-Learninig, los tres estudiantes Seleccionados son de la ciudad de Pereira. En el proceso logstico, el Director de
Curso hace el siguiente anlisis: Adriana se desplazar a Medelln, si Mara viaja a Pasto. Laura partir a Bucaramanga o Adriana no
partir para Medelln.
O Mara no viaja a Pasto o Laura no viajar a Bucaramanga. Por consiguiente, Mara no se queda en Pasto. Es correcto esta
logstica?

Se procede a organizar el prrafo quedando de la siguiente manera:

Si Mara viaja a Pasto, Adriana se desplazara a Medelln. Laura partir a Bucaramanga o Adriana no partir para Medelln. No
obstante Mara no viaja a Pasto o Laura no viajara a Bucaramanga. Por consiguiente, Mara no se queda en Pasto.

TABLA DE LA VERDAD
 5

P q r ~p ~q ~r (pq) (r ~ q) (~p~r)
V V V F F F V V F F V
V V F F F V V F V F V

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

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

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

De acuerdo con el resultado de la tabla de la verdad, la conclusin es que es una Tautologa, por lo que es correcta la lgica
6
 7

Tercer Aporte Individual.

P1: Ningn colombiano puede ser Presidente y Gobernador al mismo tiempo.

P2: Armando es un colombiano.
C: Armando no puede ser Presidente y Gobernador al mismo tiempo.

Identificacin de trminos.
P: Presidente y gobernador.
M: Colombiano
S: Armando.
 8

Representacin en diagrama de Venn

 9

Aporte Individual realizado por: Jhenyifeer Mallerly Beltran Avila.

 10

Luis es estudiante de Psicologa de la UNAD y desea hacer una investigacin con relacin a los comportamientos heredados a
travs de las cadenas transgenricas; para lo cual toma como muestra tres integrantes de su familia, siendo ellas su hermana, su madre
y su abuela materna. Para ubicarse en el contexto de su realidad familiar hace la siguiente consideracin: Si Catalina es mayor que
Sandra, Sandra es mayor que Luis. Andrea es mayor que Carlos el hermano de Luis, si Sandra es mayor que Luis. Por lo tanto, Si
Catalina es mayor que Sandra, Andrea es mayor que Carlos. Es correcto o contradictorio el anlisis?
Proposiciones:
p si catalina mayor que sandra
q sandra mayor que luis.
r Andrea mayor que Carlos

Si catalina es mayor que Sandra entonces Sandra es mayor que Luis. Por lo tanto Andrea es mayor que Carlos.

p q r

v v v v v

v v f f f

v f v f f

v f f f f

f v v v f
 11

f v f v f

f f v v f

f f f v f

Es una contingencia.

Tercer Aporte Individual.

Silogismo
 12

e. Algunos docentes Licenciados son de la Universidad UNAD.

Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes Licenciados.

Solucin del silogismo:

Algunos docentes Licenciados son de la Universidad UNAD. P2

Todos los docentes de Matemticas son de la Universidad UNAD. P2
Algunos docentes de Matemticas no son docentes Licenciados. C

Termino mayor P: Docentes licenciados.

Trmino medio M: Universidad UNAD.
Termino menor S: Docentes de matemticas.

S2 SI Todo P(+) es M (+)

Algn S(-) es M (+)
S3 SI Algn S (+) es P(+)
S4 SI
 13

S5 NO
S6 SI

Razonamiento no valido.

Algunos docentes Licenciados son de la Universidad UNAD.

Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes Licenciados.

Diagrama de venn.
14
 15

Aporte Individual realizado por: Jos Vicente Garca Puentes.

 16

Paula es estudiante del curso de Pensamiento Lgico y Matemtico junto con Luisa. Luisa en un aporte individual para el Trabajo
Colaborativo Tres escribe en el foro la siguiente idea: Si Paula mi compaera de curso, aprende Lgica Proposicional y realiza las
tablas de verdad, entonces Paula aprende Lgica Proposicional, entonces ella realiza Tablas de verdad o Paula reconoce una
Tautologa y Paula no realiza tablas de Verdad y ella no reconoce una Tautologa. Qu se puede decir de esta informacin?

Respuesta:
 17

P: Paula aprende lgica proposicional.

Q: Realiza las tablas de Verdad.
R: Paula reconoce una Tautologa.
(p&q)>(p>q)+(r&-q)&-r

~q ~r (p&q)>(p>q)+
p q r (p&q) (p>q) (r&~q) (p&q)>(p>q) (r&~q) (p&q)>(p>q)+(r&~q)&~r

v v v f f v v f v v v

v v f f v v v f v v v

v f v v f f f v v v v

v f f v v f f f v v v

f v v f f f v f v v v

f v f f v f v f v v v

f f v v f f v v v v v

f f f v v f v f v v v
18
 19

Tercer Aporte individual

Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las diferentes proposiciones categricas, y proponer
una representacin mediante diagramas de Venn de las diferentes relaciones entre las clases implicadas, segn las proposiciones
categricas.
Algunos docentes en Licenciados son de la Universidad UNAD. Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes en Licenciados
P1: Algunos docente en licenciados son de la universidad UNAD.
P2: Todos los docentes de matemticas son de la universidad UNAD.
C: Algunos docentes de matemticas no son docentes en licenciados.

Identificacin de Trminos
P: Licenciados
M: Universidad UNAD
S: Docentes de matemticas
 20

Conclusin
 21

Aporte Colaborativo.

Si Soraida estudia Ingeniera Electrnica, entonces participar en la convocatoria laboral de una empresa de equipos
tecnolgicos. Pero, no participar en la convocatoria laboral de una empresa de equipos tecnolgicos, si Soraida reprob el
curso de Telemtica y no aprob el curso de Microcontroladores. Si Soraida no reprob el curso de Telemtica o aprob el curso de
Microcontroladores, entonces participar en la convocatoria laboral de una empresa de equipos tecnolgicos. Por lo tanto,
participar en la convocatoria laboral de una empresa de equipos tecnolgicos si y solo si evidencia un promedio de 4,3 en
todos sus estudios.

Se procede a reorganizar la proposicin quedando de la siguiente manera:

Si Soraida estudia Ingeniera Electrnica, entonces participar en la convocatoria laboral de una empresa de equipos
tecnolgicos. Pero si Soraida reprob el curso de Telemtica y no aprob el curso de Microcontroladores, no participar en la
convocatoria laboral de una empresa de equipos tecnolgicos. Si Soraida no reprob el curso de Telemtica o aprob el curso de
Microcontroladores, entonces participar en la convocatoria laboral de una empresa de equipos tecnolgicos. Por lo tanto,
participar en la convocatoria laboral de una empresa de equipos tecnolgicos si y solo si evidencia un promedio de 4,3 en
todos sus estudios.
Proposiciones:
p: Soraida estudia Ing. Electrnica.
q: Soraida Participa en la convocatoria.
r: Soraida reprob el curso de Telemtica.
s: Soraida aprob el curso de microcontroladores.
t: Soraida evidencia un promedio de 4.3
 22

TABLA DE VERDAD

[( pq)] [( ] ]

p q r s t ~ ~ ~ (pq) (~r (~r (rVs) (rVs)q tq

[(pq)] [(pq)] (
q r s
t q)
V V V V V F F F V F V V V V V V
V V V V F F F F V F V V V F V F

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

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

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

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

V F V F V V F V F F V V F F F V
 23

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

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

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

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

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

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

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

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

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

F F F F V V V V V V F F V F V V
F F F F F V V V V V F F V V V V
 24

De acuerdo con el resultado de la tabla de la verdad la conclusin es que es una Contingencia.

25
 26

Conclusin.

Con el anterior trabajo logramos conocer los conceptos de la Lgica proposicional, adems de dar solucin a distintas
proposiciones que tienen unas variantes entre verdad y falsedad por medio de la solucin de tablas de verdad.

Tambin desarrollamos silogismos que se nos pueden presentar en la vida diaria, con el fin de definir si son vlidos o invlidos.

Este trabajo nos ayud a aplicar los conocimientos adquiridos sobres diagramas de venn, y su aplicabilidad.

Referencias Bibliogrficas.
 27

Murillo Rivas Juan Carlos Lic. Matemticas y fsica. (2015) lgica y conjuntos. Recuperado de
http://matematicaslito.blogspot.com.co/p/logica-y-conjuntos.html

Definicin de Proposicin Matemtica (2015).Recuperado de http://definicion.de/proposicion-matematica/

Buitrago Hctor. (2015) Lgica matemtica. Recuperado de http://logica-matematica-ucp-hectorbuitrago.blogspot.com.co/p/tablas-de-
verdad.html
Diagrama de ven (2015).Recuperado de http://www.paginasobrefilosofia.com/html/Diagramas%20de
%20Venn/example6/conclusion.html