LGICA PROPOSICIONAL, TABLAS DE VERDAD EN

PROPOSICIONES COMPUESTAS, TAUTOLOGAS Y

CONTRADICCIONES, PROPOSICIONES CATEGRICAS.

DARLY JAISURY CORNIELES GAITAN

ANDRES FELIPE MORALES
FRANK STIVEN RODRIGUEZ
YENIFER BRAVO

200611_510

TUTOR
ADRIAN REINALDO VALENCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
ACACIAS
2016

INTRODUCCION
La lgica matemtica seria parte importante de nuestra vida cotidiana si logramos
relacionarlas con lo que a diario nos sucede, el utilizar esta herramienta de forma y
momento adecuado hace que nuestra vivencia y trabajo sea ms productivo, eficiente y
eficaz, dando respuestas verdicas a las situaciones o problemas por los cuales nos podamos
ver afectados.
En este orden de ideas, la presente actividad consta de la solucin de una seria de
problemas de lgica proposicional, utilizando operaciones necesarias y la presentacin a
travs de tablas de verdad e investigacin de temas como concepto de proposiciones
lgicas, las cuatro tablas de verdad (conjuncin, disyuncin, implicacin y bicondicional),
tautologas contradicciones y contingencias y otros, planteados por el tutor para dar
resultados forma individual y grupal, con la finalidad de entrar en materia, fortalecer
conocimientos y puesta en prctica de todo lo referente a los temas de lgica proposicional,
tablas de verdad en proposiciones compuestas, tautologas y contradicciones, proposiciones
categricas.

OBJETIVOS

Analizar problemas planteados y dar correcta solucin.

Fortalecimiento y adquisicin de nuevos conocimientos.
Investigacin de los diferentes temas.
Diseo de presentacin de los temas investigados.
Interaccin con los compaeros de grupo para lograr el consolidado del producto
final.
Intercambio de opiniones y conocimientos.

FASE GRUPAL
Si Andrs estudia Economa, entonces participar en la convocatoria de una beca para
especializacin. Pero, no participar en la convocatoria, si reprob el curso de Fundamentos
de Administracin y no aprob el curso de Finanzas. Si Andrs no reprob el curso de
Fundamentos de Administracin o aprob el curso de Finanzas, entonces participar en la
convocatoria de una beca para especializacin. Por lo tanto, participar en la convocatoria
si y solo si evidencia un promedio de 4,3 en todos sus estudios.
Declaracin de proposiciones simples
P: Andrs estudia economa
q: participara en la convocatoria de una beca para especializacin
r: Reprob el curso de fundamentos de administracin
s: Aprob el curso de finanzas
t: evidencia un promedio de 4,3 en todos sus estudios
Declaracin de las proposiciones compuestas (lenguaje natural)
Si Andrs estudia Economa, entonces participar en la convocatoria de una beca para
especializacin. Pero, no participar en la convocatoria, si reprob el curso de Fundamentos
de Administracin y no aprob el curso de Finanzas. Si Andrs no reprob el curso de
Fundamentos de Administracin o aprob el curso de Finanzas, entonces participar en la
convocatoria de una beca para especializacin. Por lo tanto, participar en la convocatoria
si y solo si evidencia un promedio de 4,3 en todos sus estudios.
Declaracin de las proposiciones compuestas (lenguaje natural)
((( )((~) ~)) ((~) )) ( )

P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F

q
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F

r
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F

s
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V

t
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

~q
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V

~r
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V

~s
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F

~ (~) ~
V
F
V
V
F
V
V
V
F
V
V
F
V
F
V
V
F
V
V
F
V
V
F
V
F
F
V
F
F
V
F
V
V
F
V
V
F
F
V
F
F
V
F
F
V
F
F
V
V
F
V
V
F
V
V
V
F
V
V
F
V
F
V
V
F
V
V
F
V
V
F
V
V
F
V
V
F
V
V
V
V
V
V
V
V
F
V

( )((~) ~) ~rs
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
F
V
F
V
F
F
F
F
F
V
F
V
F
V
F
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
V

(~)
V
V
V
V
V
V
V
V
F
F
V
V
F
F
F
F
V
V
V
V
V
V
V
V
F
F
V
V
F

F
F
F

F
F
F

F
F
F

V
F
F

F
V
F

V
V
V

V
V
V

F
V
V

V
V
V

F
F
F

V
V
V

V
V
V

V
V
V

((( )((~) ~)) ((~) ))

((( )((~) ~)) ((~) )) ( )

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

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

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

F
F
F

F
F
V
V
F
F
F
F
Esta expresin es una contingencia.

F
V
F
V
F
V
F
V

F
F
F
V
F
F
F
F

SEGUNDO APORTE FASE INDIVIDUAL

Problema 1
Andrs Felipe Morales
1. Rafael siempre quiso ser actor de teatro, pero no logr cumplir su sueo porque se
dedic a trabajar para buscar su sustento diario. Pero ha llegado una felicidad a
Rafael y es el hecho de que su hija Sofa quiere ser actriz de teatro y pensando en su
hija construye en su mente el siguiente pensamiento: No es cierto que: si mi hija
Sofa estudia los libretos, obtiene representar el papel protagnico en la obra de
Teatro. Si no estudia, lo pasa divertido en el ensayo. Si no obtiene el papel
protagnico, no lo pasa bien en el ensayo. As pues, mi hija Sofa obtiene el papel
protagnico. De acuerdo al resultado en la tabla de verdad justifique si el
pensamiento de Rafael con relacin a su hija es coherente o incoherente.

P: Sofa estudia los libretos

Q: obtiene representar el papel protagnico en la obra de teatro.
R: pasa divertido en el ensayo

{[( ) ( ) ( )] }

En al oracin se tiene que:

Si P estonces Q.
Si no P entonces R.
Si no Q entonces no R,
aspues Q

Si no (si P entonces Q y si no P entonces R y si no Q entonces no R) entonces Q

V
V
V
V
V
F
V
F
F
V
F
V
F
F
F
F
Contingencia
(P
Q) v( P
R)
V
V
F
F
V
F
V
F
Contingencia
{((P
Q) v( P
Q
V
V
V
V
V
V
V
Tautologa
-{{((P
Q) v( P
F
F
F
F
F
F
F
Contradiccin

-P

-Q

-R

V
F
V
F
V
F
V
F

F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

V
V
F
F
V
V
V
V

((P
R)
V
V
F
F
V
F
F
F

Q) v( P

R))v(-Q

R))v(-Q

R))v(-Q

-R)}

-R)}

Q}

Q -P
R
V
V
V
V
V
F
V
F
-

-Q R
V
V
f
V
V
V
F
V

Respuesta:
Segn este resultado, el pensamiento de Rafael es coherente

Problema 2
Darly Jaisury Cornieles Gaitan
Francisco es estudiante del curso de Herramientas Digitales para la Gestin del
Conocimiento junto con Luis. Luis en un aporte individual para el Trabajo Colaborativo
Uno escribe en el foro la siguiente idea: Si Francisco mi compaero de curso, aprende
Cmaptools y realiza los mapas conceptuales, entonces Francisco aprende Cmaptools,
entonces el realiza mapas conceptuales o reconoce una red de conceptos y Francisco no
realiza mapas conceptuales y el no reconoce una red de conceptos. Qu se puede decir de
esta informacin?
P=Francisco aprende Cmaptools
Q=Realiza mapas conceptuales
R=Reconoce una red de conceptos
((P Q) P) ((Q V R) (~ Q ~ R))

Problema 3
Yenifer Bravo
Hilder ha comenzado a revisar los productos de la Fase Individual del Trabajo Colaborativo
Uno del Curso Pensamiento Lgico y Matemtico, para lo cual se encuentra observando los
primeros aportes hechos por los integrantes del grupo colaborativo 816, pero en este grupo
slo han participado tres integrantes. A Hilder se le ha generado una confusin por la
seleccin de aportes establecida por Pablo, Jaime y Miguel; para aclarar cual operacin
entre conjuntos escogi cada uno de ellos, hace el siguiente anlisis: Pablo selecciona la
operacin de unin entre conjuntos, si Jaime selecciona la interseccin de conjuntos.
Miguel seleccionar la operacin de diferencia de conjuntos o Pablo no seleccionar la
unin entre conjuntos. O Jaime no selecciona la operacin de interseccin entre conjuntos o
Miguel no ha seleccionado la operacin de diferencia entre conjuntos. Por consiguiente,
Jaime no seleccion la interseccin entre conjuntos. Es correcto este anlisis?
P: Jaime selecciona interseccin
Q: Pablo selecciona Unin
R: Miguel selecciona Diferencia

((p q ) (r v q) ( p v r)) p
Problema 4
Frank Stiven Rodrguez Hernndez.
4. El organizador del Congreso Nacional de Matemticas a invitado a un viejo colega para
que sea ponente en la lnea de Ecuaciones Diferenciales. scar no lleg a tiempo para su
ponencia y en su afn de salvar la situacin le comenta lo siguiente a Andrs el organizador
del evento: Como vivo en un lugar muy retirado, entonces debo desplazarme en un viaje
de 7 horas por tierra para llegar a cumplir con la ponencia en el evento. Es as que, cuando
viajo en avin me mareo. Siempre que me da mareos, me entra un fuerte dolor de cabeza.
As pues, siempre que me entra un fuerte dolor de cabeza, viajo. El organizador del
Congreso de Matemticas pensar que es correcta la justificacin por el retraso o scar se
contradice o no hay sentido en lo que expresa?
Solucin:
Para la siguen solucin debemos tener en cuenta que;
Nombre

Smbolos

Negacin
Conjuncin
Disyuncin
Condicional
Bicondicional
Proposiciones

Lenguaje comn

--^
V

No
Y
O
Si.. Entonces
Si y solo si

P: Vivo en un lugar muy retirado

Q: debo desplazarme en un viaje de 7 horas
R: cuando viajo en avin me mareo
S; Fuerte dolor de cabeza
(( P Q) ^ (R S)) (S R)
(P Q)

(RS)

(SR)

(( P Q) ^ (R S)) (S R)

V
V

V
V

V
V

V
F

V
V

V
F

V
F

V
V

V
V

Observacin;
Contingencia
Son todas las expresiones que al momento de revelarlas en una tabla de verdad su resultado
ser verdadero y falso.
En el anterior ejercicio se puede evidenciar que con el resultado obtenido de la tabla de
verdad el problema realizado es una proposicin Contingencia ya que su resultado final
fue verdadero y falso

Tabla de verdad del problema 2:

P

PQ

QVR

~R

~Q

(P Q) P

(~ Q ~ R)

(Q V R)(~Q ~R)

((P Q) P) ((Q V R) ( ~ Q ~ R))

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
F
F
F
F
F
F

F
V
V
F
F
V
V
F

F
V
F
V
F
V
F
V

F
F
V
V
F
F
V
V

V
V
V
V
V
V
V
V

F
F
F
V
F
F
F
V

F
F
F
F
F
F
F
F

F
F
F
F
F
F
F
F

Esta expresion es una contradiccion.

Tabla de verdad del problema 3:
p

( )

( )

(( ) ( )

( )

(( ) ( ) ( ))

(( ) ( ) ( ))

Esta expresion es una tautologia.

TERCER APORTE FASE INDIVIDUAL

Enunciado A
Darly Jaisury Cornieles Gaitan.

Todos los egresados de programas del SENA pueden estudiar por convenio en la
UNAD.
Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.
Algunos jvenes tcnicos no son egresados del SENA.
M

PREMISA 1: Todos los egresados de programas del SENA pueden estudiar por
convenio en la UNAD.
S

PREMISA 2: Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.

CONCLUSION: Algunos jvenes tcnicos no son egresados del SENA.
S

Premisa 1: Universal afirmativa: A: Todos

Premisa 2: Particular negativa: O: Algunos No
Conclusin: Particular negativa: O: Algunos No
Figura 1
M-P
S-M
S-P
Figura 2
P-M
S-M
S-P

Figura 2
P-M
S-M
S-P
Modo: AOO

Figura 3
M-P
M-S
S-P

Figura 4
P-M
M-S
S-P

Modelo Lgico del silogismo: AOO2

Enunciado B.
Frank Stiven Rodrguez
Ningn empleado puede ser gerente y tesorero al mismo tiempo
Jacobo es un empleado
Jacobo no puede ser gerente y tesorero al mismo tiempo
Solucin;
Para empezar, se denominan proposiciones categricas al conjunto de palabras formadas en
una oracin interpretan un esquema grafico que bien sea pueden ser universales y
particulares donde en ambos casos dependen de las particularidades afirmativas y
negativas.
A.) Ningn empleado puede ser gerente y tesorero al mismo tiempo.
Podemos denotar que en la anterior oracin se encuentran tres sujetos que son

El empleado

El gerente

El tesorero

Donde se afirma que ningn lo que nos expresa que la proposicin es negativa.
Ya que dado el caso;
Ningn Em es Gr y Te
sea Em Gr Pe=
Representacin grafica en diagramas de ven
Em

Gr

Te

Se dice que ningn empleado puede ser gerente y tesorero al mismo tiempo entones
subrayamos la interseccin entre Emy Gr, y nos dice tambin que el empleado tampoco
puede ser tesorero Em y Te, pero no nos aclara de que un gerente pueda ser un tesorero
entonces si cabe la remota posibilidad de que haya un gerente que pueda ser tesorero por
eso el conjunto solo ser vaco entre la interseccin de (Em y Gr) (Em y Te).
B.) Jacobo es un empleado.

En este caso nos habla de Jacobo como sujeto y empleado como predicado.

Jacobo
Empleado

La cual nos indica que Jacobo es un empleado es una proposicin universal afirmativa
Todo Ja es Em= O
Representacin grafica
Em

Ja

C.) Jacobo no puede ser gerente y tesorero al mismo tiempo.

Se observa que la oracin est compuesta por la negacin lo cual nos indica que la
proposicin es negativa.
Donde nos dice que; ningn Ja puede ser Gr y Te.
Ja GrTe=O
Representacin de diagrama de ven.

Ja

Gr

Te

La frase nos indica que Jacobo no puede ser gerente y tesorero, la cual, la interseccin
entre (Ja y Gr, Te) ser una proposicin negativa quedando como conjunto vaco la
interseccin entre (Ja y Gr) de igual forma que (Ja y Te) pero no nos afirma que haya una
relacin entre (Gr y Te) lo cual nos dice que puede haber una posibilidad por eso no entra
en los conjuntos vacos.
Descripcin Completa del problema representada diagrama de ven.

Ja

Em

Gr

Te

Donde Jacobo es un empleado que no puede ser gerente y tesorero, donde los dems
empleados presentan la misma situacin que Jacobo.

Enunciado C.
Ninguna obra de teatro puede ser el reflejo de un subrealismo.
Algunos monlogos pueden ser el reflejo de un subrealismo.
Algunos monlogos no son obras de teatro.

Respuesta:
Estas son las premisas de la afirmacin:
Ninguna obra de teatro puede ser el reflejo de un subrealismo. Premisa mayor
Algunos monlogos pueden ser el reflejo de un subrealismo premisa menor

Algunos monlogos no son obras de teatro conclusin

Proposicin categrica de la premisa mayor:

Cantidad universal y calidad negativa. Clase A

Proposicin categrica de la premisa menor:

Cantidad particular y calidad positiva

Proposicin categrica de la conclusin

Cantidad particular y calidad afirmativa

DIAGRAMA DE VENN

Enunciado E.
Yenifer Bravo.

Algunos docentes en Licenciatura son de la Universidad UNAD.

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

Premisa 1: Algunos docentes en Licenciatura son de la Universidad UNAD (Particular

afirmativo - I)
Premisa 2: Todos los docentes de Matemticas son de la Universidad UNAD. (Universal
afirmativo - A )
Conclusin: Algunos docentes de Matemticas no son docentes en Licenciatura.
(Particular negativo - O)
Figura 1
M-P
S-M
S-P

Figura 2
P-M
S-M
S-P

La figura de este silogismo es:

Figura 2: (P M; S M; S P)
MODO: IAO
Modelo lgico: IAO-2

Figura 3
M-P
M-S
S-P

Figura 4
P-M
M-S
S-P

CONCLUCIONES
Al finalizar el desarrollo de todas las actividades que componen este taller se puede dar por
despejadas muchas dudas referentes a los temas propuestos y lo ms importante lograr
obtener conocimientos y reforzar las bases con las que ya contbamos.