PENSAMIENTO LOGICO Y MATEMATICO

ACTIVIDAD COLABORATIVA N2

LGICA PROPOSICIONAL

INTEGRANTES
JULIZA URBANO TRUJILLO: CDIGO: 1005751715
ANA GABRIELA MILANS ZIGA: CDIGO 4559470
MARA DEL PILAR VILORIA TORRES: CDIGO 9712072590

GRUPO: 200611_378
TUTOR:
OSCAR EDUARDO VIDAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PROGRAMA DE PSICOLOGA
18 / OCTUBRE / 2015

INTRODUCCION

El ser humano, a travs de su vida diaria, se comunica con sus semejantes a travs de un lenguaje
determinado (oral, escrito, Etc.) por medio de las denominadas frases u oraciones. Estas pueden
tener diferentes significados pero siempre van a resumir a las formas de verdaderas o falsas,
siendo este el hecho de que, a partir de un conjunto de estas podemos llegar a una conclusin o
inferencia, siendo la lgica la ciencia encargada de estudio de estas.
La lgica proposional es una rama de la lgica que permite representar hechos o expresiones del
mundo real en un lenguaje representativo del conocimiento mediante propiedades elementales
para estudiar a travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad
La lgica propocional toma un rol muy importante en el desarrollo de la inteligencia artificial, y
en otros aspectos de la informtica

OBJETIVO GENERAL

Presentar los conceptos bsicos de la lgica proposicional

OBJETIVO ESPECFICOS

Aprender a identificar las clases de proposiciones que se pueda encontrar en un enunciado

Entender la aplicacin y el efecto que tienen los trminos de enlace en las proposiciones

Analizar proposiciones en nuestro idioma para determinar su validez

Analizar e interpretar proposiciones para simbolizarlas

Comprender los principios de las operaciones de la lgica proposicional y sus

aplicaciones en otras reas de la carrera

Analizar los enunciados para la elaboracin de las tablas de verdad, teniendo en cuenta los
trminos de enlace

PLANTEAMIENTO Y SOLUCIN DE PROBLEMAS INDIVIDUALES.

LGICA PROPOSICIONAL

Juliza Urbano Trujillo

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?

Las Tablas Que utilic en El Desarrollo de la Actividad

CONJUCION

CONDICIONAL

P= catalina es mayor que Sandra

Q= Sandra es mayor que Lus

R= Andrea es mayor que Carlos el hermano de lus

Si PQ = si catalina es mayor que Sandra Entonces Sandra es mayor que lus

Si p Q= si Andrea es mayor que Carlos el hermano de Lus Entonces Sandra es mayor

que Lus

Clasificacin: Verdad indeterminada (contingencia)

 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:
E. 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.

Algunos docentes Son de la universidad Unad : D

Docentes de matemticas son de la universidad Unad : M

Algunos docentes no son licenciados : L

Conclusin
Todos los docentes de matemticas tienen que ser licenciados

Mara Del Pilar Viloria

El curso de Fsica General requiere de realizar el componente prctico; es as que, los estudiantes
que matriculan dicho curso deben desplazarse a la Universidad para desarrollar las prcticas de
laboratorio. Carolina es estudiante de Fsica General y no asisti a las prcticas de laboratorio y
en su afn de salvar la situacin le escribe el siguiente mensaje al Director de Curso: Como vivo
en un lugar muy retirado de la UNIVERSIDAD, entonces debo desplazarme en un viaje de 7

horas para llegar a cumplir con las prcticas de laboratorio. Es as que, cuando viajo me da
migraa. Siempre que me da migraa, me entra un escalofro severo. As pues, siempre que me
entra un escalofro severo, viajo. El director de curso pensar que es correcta la excusa o por el
contrario ella se contradice o no hay sentido en lo que expresa?
PREMISA 1: Cuando viajo me da migraa.
PREMISA 2: Siempre que me da migraa, me entra un escalofro severo.
CONCLUSION: Siempre que me entra un escalofro severo, viajo
Se dice que:
P: Premisa 1.
Q: Premisa 2.
R: Conclusin.

P= Cuando viajo me da migraa.

Q= Me entra un escalofro severo.

R= Siempre que me entra un escalofro severo, viajo

Si PQ= Cuando viajo me da migraa entonces me entra un escalofri severo.

Si QR Me entra un escalofri severo siempre que viajo.

PREMISA 1 + PREMISA 2:
[(p q) ^ (q r)]
PREMISAS + CONCLUSIN:
[(p q) ^ (q r)] (p r)

[(P Q) ^ (Q R)] (P R)
(P Q)

(Q R)

PR

CLASIFICACION: TAUTOLOGA.

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:

b. Ningn colombiano puede ser Presidente y Gobernador al mismo tiempo. Armando es un

colombiano. Armando no puede ser Presidente y Gobernador al mismo tiempo.

COLOMBIANOS: [presidentes gobernadores]

Colombianos: c
Presidente: p
Gobernador: g
CONCLUCIN
Ningn gobernador
Puede ser presidente al mismo tiempo

DIAGRAMA DE VENN

c) Ana Gabriela Milans

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

SOLUCIN
Sean P, Q y R afirmaciones simples tales que
P: Catalina es mayor que Sandra
Q: Sandra es mayor que Luis
R: Andrea es Mayor que Carlos
Mostremos que la afirmacin [(P->Q) ^ (Q->R)] -> (P->R) es un argumento vlido y su tabla de
verdad corresponde a una tautologa as:

[(P

->

Q)]

(Q

->

R)]

->

(P

->

R)

Todas las personas bachilleres pueden estudiar ingeniera en la UNAD. Algunos jvenes no
pueden estudiar ingeniera en la UNAD. Algunos jvenes no son bachilleres.

Sean los conjuntos Ay B tales que

A: los bachilleres
B: los estudiantes de ingeniera de la UNA
As, se sabe que B A, ya que es necesario ser bachiller para estudiar ingeniera en la UNAD,
pero no necesariamente hay que estudiar ingeniera en la UNAD para llamarse bachiller.
En smbolos:

Representacin en diagrama de Ven

A
B

Obs: Mediante el lgebra de conjuntos podemos ver que:

Por otro lado, demos una derivacin y mostremos que el argumento anterior es vlido.

1:
2:

3:
4:
5:

2 y ejemplificacin existencial
1 y ejemplificacin universal
3,4 y modus tollens
5 y generalizacin existencial

As:
Todas las personas bachilleres pueden estudiar Ingeniera en la UNAD.
Algunos jvenes no pueden estudiar Ingeniera en la UNAD.
Algunos jvenes no son bachilleres.

1. PLANTEAMIENTO Y SOLUCIN DE PROBLEMA GRUPAL.

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 Micro
controladores. Si Soraida no reprob el curso de Telemtica o aprob el curso de Micro
controladores, 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.

Sean P, Q, R, S Y T afirmaciones simples tales que:

P: Zoraida estudia ingeniera electrnica
Q: Zoraida participara en la convocatoria laboral de equipos tecnolgicos
R: Zoraida reprob el curso de telemtica
S: Zoraida reprob el curso de micro controlador
T: Zoraida evidencia un promedio de 4,3 en sus estudios

(P--> Q <-->R) V (S --> T)

P= Zoraida Estudia Ingeniera Electrnica Entonces Q= Zoraida participara en la convocatoria
laboral

de

Equipos

Tecnolgicos

R= si

solo

si Zoraida

reprob

el

curso

telemtica O S=Zoraida reprob el curso de micro contralor Entonces T= Zoraida Evidencia un

promedio de 4,3 en sus estudios

Veamos Si El Argumento Expresado Es Valido

(v)

(v)

(v)

Explicacin Los Argumentos Expresados

Este argumento es invalido supongamos, que Zoraida estudia ingeniera electrnica, que Zoraida
participa en la convocatoria laboral de equipos tecnolgicos, que Zoraida aprob el curso de
telemtica y el de micro controladores y que su promedio no fue de 4,3.
Si suponemos lo anterior tenemos que

las

afirmaciones: si Zoraida estudia ingeniera

electrnica entonces participara en la convocatoria laboral de equipos tecnolgicos

si Zoraida reprob los cursos de telemtica y de micro controladores entonces no participara en
la convocatoria laboral de equipos tecnolgicos
si Zoraida aprob el curso de telemtica o el de micro controladores entonces asistir a la
convocatoria laboral de equipos tecnolgicos
Son verdad y adems tenemos que la afirmacin Zoraida participara en la convocatoria laboral
de equipos tecnolgicos

si y solo si evidencia en promedio de 4,3 en todos sus estudios

Es falsa y como una verdad no puede implicar una falsedad EL ARGUMENTO ES INVLIDO

CONCLUSINES

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.

El trabajo nos retoma la importancia de tener soluciones claras ya que nos es de ayuda en
el momento de responder con claridad ante un problema de investigacin ya que se
podra sustentar racionalmente, manejando reglas y estrategias adecuadas mediante
lenguajes simblicos y as pasar de una informacin a una respuesta concreta y correcta
en este caso de la lgica proporcional.

BIBLIOGRAFA

Burgos, A (1983). Iniciacin a la lgica matemtica. Madrid: Selecciones Cientficas.

Ferrater Mora, J. (1975). Lgica matemtica. Mxico: Fondo de cultura econmica

Garrido, M. (1998). Lgica Simblica. Madrid: Technos.

Grimaldi, R. (1998). Matemtica discreta y combinatoria. Mxico: Addison- Wesley

Lipschutz,s.(1985). Teora de conjuntos y temas afines. Mxico: Mc. Graw Hill. Serie de
compendios Schaum