UNIDAD 2

LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES COMPUESTAS,

TAUTOLOGA Y CONTRADICCIONES, PROPOSICIONES CATEGRICAS.

PRESENTADO POR:
SERGIO ANDRES TAFUR 1094241738
MARTHA LILIANA CONTRERAS G. 1090415714
CESAR IVN MARTNEZ GONZLES 1093759838
YESSICA FERNANDA OSORIO DUQUE 1097035163
GRUPO: 325

TUTORA: MARTHA FABIOLA CONTRERAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PROGRAMA DE PSICOLOGA
CURSO PENSAMIENTO LOGICO Y MATEMATICO
ABRIL 19 DEL 2015

INTRODUCCION

En el marco de aprendizaje del curso pensamiento lgico y matemtico, se hace nfasis

en el conocimiento de conceptos de lgica proposicional, veremos por medio de ejercicios lo
aplicado en teora, y como consumamos a partir de sus soluciones unas conclusiones que
portaran al amplio conocimiento del programa de psicologa. La lgica proposicional trata sobre
la verdad o la falsedad de las proposiciones y de cmo la verdad se transmite de unas
proposiciones (premisas) a otras (conclusin). Una proposicin es la unidad mnima de
significado susceptible de ser verdadera o falsa. Una palabra aislada, por s misma, no nos dice
nada. La palabra "perro" tiene una referencia, pero no nos da ninguna informacin si no es en el
contexto de una proposicin como "El perro est haciendo cosas raras". Por ello una palabra, a
menos que constituya una proposicin, no es verdadera o falsa. Slo tienen valor de verdad las
proposiciones.

En el siguiente trabajo tiene como objetivo presentar el paso a paso el planteamiento y el

desarrollo procedimental de cada problema, utilizando la lgica proposicional, tablas de verdad
en proposiciones compuestas, proposiciones categricas, tautologas y contradicciones.

Por consiguiente cada estudiante realizo aportes a cerca de las temticas, extrajo los elementos
relevantes de la situacin y produjo ideas para la bsqueda de una solucin a los problemas que
se plantearan a continuacin.

OBJETIVOS.

Conocer los conceptos relacionados con la lgica proposicional, tablas de verdad y

aplicarlos en problemas propuestos.

Argumentar contenidos respecto a si su veracidad es adecuada o lo contrario.
El estudiante logra conectar y articular la lgica proposicional a sus contenidos de

programa acadmico.
Identificar aprendizajes y desarrollo de conocimientos que se adquieren de manera
autnoma, haciendo as uso de herramientas tecnolgicas propias y herramientas
debatidas en un rea de trabajo en grupo.

CONTENIDO.

A continuacin se presentan 3 problemas, los cuales se desarrollaron de manera colaborativa

en el entorno de aprendizaje correspondiente.

PROBLEMAS

Sofa conversaba a travs de Skype con su compaera con su compaera de grupo colaborativo
respecto a la finalizacin del periodo acadmico. Luisa le comenta, si apruebo el curso de
Pensamiento Lgico y Matemtico ser porque mis actividades cumplieron con la rbrica o ser
que mi hermana hizo bien mis tareas. Mi hermana tiene cinco aos, no es el caso que mi hermana
haya hecho mis tareas, luego mis actividades cumplieron con la rbrica.

Premisas:
1. Si apruebo el curso de pensamiento lgico y matemtico ser porque mis actividades
cumplieron con la rbrica o ser que mi hermana hizo bien mis tareas.
2. No es el caso que mi hermana haya hecho mis tareas, luego mis actividades cumplieron con la
rbrica.
Proposiciones:
p: Apruebo el curso de pensamiento lgico y matemtico
q: Mis actividades cumplieron con la rubrica
r: Mi hermana hizo bien mis tareas

Solucin: Mis actividades cumplieron con la rubrica

Representacin simblica
1. (p q) v r
2. r

Tabla de verdad
( p q)
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

r
F
V
F
V
F
V
F
V

p q
V
V
F
F
V
V
V
V

vr
V
V
V
F
V
V
V
V

B) Frente a un proceso disciplinario en la UNAD a unos estudiantes por irregularidades en las

Pruebas Nacionales, se gener la siguiente reflexin. Si el reloj est adelantado, entonces Sara
trmino el examen nacional antes de las seis y vio salir del saln a Mnica. Si Mnica dice la
verdad, entonces Sara no vio salir del saln a Mnica. O Mnica dice la verdad o estaba en la
Universidad en el momento del plagio de las respuestas. El reloj est adelantado. Por tanto,
Mnica estaba en la Universidad en el momento del plagio.
Premisas:
1. Si el reloj esta adelantado, entonces Sara termin el examen nacional antes de las seis y vio
salir del saln a Mnica.
2. Si Mnica dice la verdad, entonces Sara no vio salir del saln a Mnica o Mnica dice la
verdad o estaba en la universidad en el momento del plagio de las respuestas.
3. El reloj est adelantado, por lo tanto, Mnica estaba en la universidad en el momento del
plagio.

Proposiciones:
1. (p q) r
2. (s r) v (s v t)

Solucin: Mnica estaba en la universidad en el momento del plagio.

Tabla de la verdad
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

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

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
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
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

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

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

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

svt

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

(s r) v (s v

(p q)

t)

V
V
V
V
V
V
V
V
V
V
V
V
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
V
V
V
V
F
F
F
F

F
F
F
F
F
F
F
F

F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
F
F
V
V
V
V

V
V
V
V
V
V
V
V

V
F
F
V
V
V
V
V

V
V
V
F
V
V
V
F

V
V
V
V
V
V
V
V

V
V
V
V
F
F
F
F

C) Fui a solicitar un crdito educativo para ingresar a la UNAD y la asesora comercial me dice lo
siguiente. En las entidades financieras, nadie confa en las personas que nunca pagan sus deudas.
Pero se sabe adems que, todo el mundo cuenta con la confianza de sus familiares. Por lo tanto,
en las entidades financieras otorgan crditos, porque cualquiera que tenga familia paga alguna de
sus deudas.

Premisas:
En las entidades financieras, nadie confa en las personas que nunca pagan sus deudas.
Pero se sabe adems que, todo el mundo cuenta con la confianza de sus familiares.
Solucin: En las entidades financieras otorgan crditos, porque cualquiera que tenga familia
paga alguna de sus deudas.

Proposiciones:
P: En las entidades financieras nadie confa en las personas que nunca pagan sus deudas
Q: Todo el mundo cuenta con la confianza de sus familiares
P Q
Tabla de la verdad
p
V

q
V

p q
V

V
F
F

F
V
F

F
F
F

Decidir utilizando las tablas de verdad si este argumento es o no vlido, es decir, evidenciar que
la tabla que se obtiene es una tautologa o no: La Universidad Nacional Abierta y a Distancia
UNAD, en su metodologa de aprendizaje autnomo, logra consolidar en los estudiantes un
conjunto de destrezas y habilidades que los hacen competentes. Es as que, Lina estudiante de
Ingeniera electrnica aprueba todos los cursos matriculados en el periodo acadmico 2015-I si
es disciplinada en sus estudios; si Lina aprueba todos sus cursos matriculados entonces gana una
beca para pago de matrcula. Por lo tanto, si Lina no es disciplinada en sus estudios entonces no
gana una beca para pago de matrcula.

Premisas:
1

Lina estudiante de ingeniera electrnica, aprueba todos los cursos matriculados en el periodo

2
3

acadmico 2015-1 si es disciplinada en sus estudios.

Si Lina aprueba todos sus cursos matriculados entonces gana una beca para pago de matrcula.
Si Lina no es disciplinada en sus estudios entonces no gana una beca para pago de matrcula.
P: Lina aprueba todos los cursos matriculados
Q: Lina es disciplinada en sus estudios
R: gana una beca para pago de matricula
1. q p
2. p r
3. q r

Tabla de la verdad
p

qp

p r

qr

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

V
V
V
V
F
F
V
V

V
F
V
F
V
V
V
V

V
V
F
V
V
V
F
V

3. Identifica en el siguiente 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:

a. Todo ex alumno de la UNAD es un buen lder empresarial, Algunos gerentes son ex alumnos
de la UNAD. Muchos gerentes son buenos lderes empresariales.
Todo ex alumno de la UNAD es un buen lder empresarial
Algunos gerentes son ex alumnos de la UNAD
Conclusin: Muchos gerentes son buenos lderes empresariales
Todo ex alumno es un buen lder empresarial
P1: L: ex alumno de la UNAD
P2: P: buen lder empresarial

Algunos gerentes son ex alumnos de la UNAD

P1: L: Gerentes
P2: P: Ex alumnos de la UNAD

b. Algunos estudiantes Unadistas son de la zona Occidente, Todos los estudiantes de primer
periodo acadmico de la ECBTI son de la Zona Occidente.
Algunos estudiantes de primer periodo acadmico de la ECBTI no son estudiantes Unadistas.

Algunos estudiantes Unadistas son de la zona Occidente

Algunos estudiantes de primer periodo acadmico de la ECBTI no son estudiantes Unadistas.
Conclusin: Todos los estudiantes de primer periodo acadmico de la ECBTI son de la Zona
Occidente
Algunos estudiantes Unadistas son de la zona Occidente
P1: L: estudiantes Unadistas
P2: P: de la zona Occidente

Universal positiva, L es P, P es L

Algunos estudiantes de primer periodo acadmico de la ECBTI no son estudiantes Unadistas.

P1: L: estudiantes de primer periodo acadmico de la ECBTI
P2: P: son estudiantes Unadistas

CONCLUSION

La lgica proposicional es una de las piezas fundamentales de la Inteligencia Artificial, ya que

para realizar los cambios necesarios para la evolucin de esta ciencia, se precisa de un lenguaje
formal para representar los hechos que se reciben del mundo real y el uso de las proposiciones.
El utilizar proposiciones es una seal que encaja en forma perfecta en este mbito. Es un modo
sencillo y prctico de resolver un problema, considerando que se puede resolver disgregando el
problema en proposiciones u oraciones sencillas que permiten analizar los hechos y tomar
decisiones, es decir, crear nuevas proposiciones u oraciones sencillas o compuestas que se
incorporan a la base de conocimiento, permitiendo el incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica para la
resolucin de problemas o la representacin de la realidad a nivel de proposiciones.

BIBLIOGRAFIA.

(2010). Null, F. El razonamiento lgico en estudiantes universitarios. Zona Prxima. p.40.

Disponible en la Biblioteca virtual de la UNAD:
http://primo.gsl.com.mx:1701/primo_library/libweb/action/display.do?
tabs=detailsTabct=displayfn=searchdoc=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6indx=1re
cIds=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6recIdxs=0elementId=0renderMode=poppe