1

TRABAJO COLABORATIVO 2, UNIDAD 2

LGICA PROPOSICIONAL

Realizado por:

Carolina Cardona

Cdigo: 31447503

Emilce Natalhie Cabrera Timana

Cdigo: 36758925

Ledy Juliana Moran Garreta

Cdigo: 36860725

Presentado a: HILDER MOSCOTE

Grupo: 200611_264

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

BIOLOGA CELULAR Y MOLECULAR

ABRIL DE 2016
2

INTRODUCCION

Con el presente trabajo se ha aprendido acerca de la terminologia y conceptualizacin de

la logica proposicional, lo cual brinda espacios para conocer nueva tematica la cual la se

puede aplicar dentro del campo profesional o laboral.

Tambien se ha aprendido que con la aplicacin de formulas se desarrollan los diferentes

problemas mediante la aplicacin de las tablas de verdad, con las cuales se puede determinar

si es una tautologia, contingencia o negacin.

Igualmente se aprendio a identificar en los silogismos las proposiciones categoricas y

graficarlas en los Diagramas de Venn, asi mismo la aplicacin de las propiedades en las tablas

de verdad.
3

OBJETIVOS

Comprender y conocer, las composiciones simples y compuestas, analizando sus

conectores lgicos, para poder sintetizar del lenguaje natural a lenguaje formal y de esta

manera establecer y construir una tabla de verdad en los diferentes problemas que se

presentan, en lgica proposicional, y por lo tanto distinguir los resultados obtenidos ya

sean tautologas, contingencias o contradicciones.

Lograr entender y analizar el concepto de silogismo, y plantear sus proposiciones

categricas en el diagrama de venn, de acuerdo a sus componentes como son, premisa

mayor, premisa menor, conclusin a que clase pertenece, clase sujeto, clase predicado y

trmino medio, adems si la proposicin es universal afirmativa o negativa, particular

afirmativa o negativa. para establecer un correcto diagrama de venn al analizar su

enunciado.

Lograr establecer la conceptualizacin, la argumentacin y anlisis de los procedimientos

desde la lgica proposicional utilizados para demostrar la veracidad y validez de

situaciones del mundo real.

A travs de la realizacin de ejercicios propuesto dentro del curso, los cuales estn

constituidos en la elaboracin de terminologas de la lgica proposicional,

planteamientos y resolucin de tablas de verdad y establecer su correspondencia

tautolgica, contradiccin o contingencia.

Aprender a identificar las propiedades de las operaciones de la lgica proposicional como

son las leyes de: idempotencia, asociativas, conmutativas, distributivas, y Dmorgan.

4

DESARROLLO DEL PROBLEMA GRUPAL

1. Planteamiento y la solucin del siguiente problema de Lgica Proposicional:

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 simples:

p: Andrs estudia Economa.

q: Andrs participar en la convocatoria de una beca para especializacin.

r: Andrs reprob el curso de Fundamentos de Administracin.

s: Andrs aprob el curso de Finanzas.

t: Andrs 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, si reprob el curso de Fundamentos de Administracin y no aprob

el curso de Finanzas entonces no participar en la convocatoria. Si Andrs no reprob el

curso de Fundamentos de Administracin o aprob el curso de Finanzas, entonces

5

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 formal):

En base a las proposiciones simples y al anlisis de los conectores encontrados en el

problema se obtiene la siguiente formula:

{ [ (p>q) ^ (r ^ ~s) > ~q ] ^ [ (~r v s ) > q ] } > (q <=> t)

p q r s t ~p ~q ~r ~s ~t p>q r ^ ~s ~r v s q <=> t (p>q) ^ (r ^ ~s) (~r v s ) > q (p>q) ^ (r ^ ~s) > ~q [(p>q) ^ (r ^ ~s) > ~q ] ^ [ (~r v s ) > q ] {[(p>q) ^ (r ^ ~s) > ~q ] ^ [ (~r v s ) > q ] } > (q <=> t)

V V V V V F F F F F V F V V F V V V V
V V V V F F F F F V V F V F F V V V V
V V V F V F F F V F V V F V V V F F V
V V V F F F F F V V V V F F V V F F V
V V F V V F F V F F V F V V F V V V V
V V F V F F F V F V V F V F F V V V F
V V F F V F F V V F V F V V F V V V V
V V F F F F F V V V V F V F F V V V V
V F V V V F V F F F F F V V F F V F F
V F V V F F V F F V F F V F F F V F V
V F V F V F V F V F F V F V F V V V F
V F V F F F V F V V F V F F F V V V V
V F F V V F V V F F F F V V F F V F V
V F F V F F V V F V F F V F F F V F V
V F F F V F V V V F F F V V F F V F F
V F F F F F V V V V V F V F F F V F V
F V V V V V F F F F V F V V F V V V V
F V V V F V F F F V V F V F F V V V V
F V V F V V F F V F V V F V V V F F V
F V F F F V F V V V V F V F F V V V V
F V F V V V F V F F V F V V F V V V V
F V F V F V F V F V V F V F F V V V F
F V F F V V F V V F V F V V F V V V V
F V F F F V F V V V V F V F F V V V V
F F V V V V V F F F V F V F F F V F F
F F V V F V V F F V V F V V F F V F V
F F V F V V V F V F V V F F V F V F F
F F V F F V V F V V V V F V V F V F V
F F F V V V V V F F V F V F F F V F V
F F F V F V V V F V V F V V F F V F V
F F F F V V V V V F V F V F F F V F F
F F F F F V V V V V V F V V F F V F V
6

PANTALLAZO SIMULADOR TABLA DE VERDAD

Al plantear la formula en la tabla de verdad se deduce que es una contingencia.

7

DESARROLLO PROBLEMAS FASE INDIVIDUAL

PROBLEMAS DE LOGICA PROPOSICIONAL, TABLAS DE VERDAD

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.

Dadas las proposiciones simples:

P= Sofa estudia los libretos

q= Obtiene representar el papel protagnico

r= Lo pasa divertido en el ensayo

Resolucin:

Obtenido los datos y sus diferentes conectores lgicos, se obtiene la siguiente formula:

~ { [ ( p q ) ^ (~ p r) ] [ (~q ~r) q]}

Segn la formula se establece la tabla de verdad:

8

Despus de realizar la tabla de verdad podemos deducir que la proporcin es una

contradiccin.

Adems, el pensamiento de Rafael es incoherente, porque empieza su oracin negando

las dems proposiciones, de esta manera, No es cierto que: , al poner esta negacin al

principio de las proposiciones, niega todas las posibilidades que tiene su hija de obtener el

papel protagnico, en la obra de teatro, convirtiendo su pensamiento y por ende su

proposicin compuesta en una contradiccin.

PANTALLAZO SIMULADOR TABLA DE VERDAD

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

9

Dadas las proposiciones simples:

p: Aprende Cmaptools

q: Realiza mapas conceptuales

r: reconoce una red de conceptos

Resolucin: De acuerdo a los datos y conectores lgicos se obtiene la siguiente formula:

{[(p ^ q) (p q)] v [(r ^ ~q) ^ ~r]}

De acuerdo a la formula obtenemos la siguiente tabla de verdad

Despus de realizada la tabla de verdad se concluye que es una tautologa. De lo anterior

podemos decir que la idea de Luis en todos sus anlisis es verdadera.

10

PANTALLAZO SIMULADOR TABLA DE VERDAD

3. En el Fondo de empleados de una empresa desean premiar a los asociados ms

antiguos con un viaje para dos personas con todo pago a la isla de San Andrs, los

asociados ms antiguos son Alberto, Javier, Camilo y los hermanos Luis y Carlos. En

la Junta para determinar a quien otorgar el premio se hace la siguiente consideracin

con relacin a los ahorros: Si Alberto posee mayor cantidad de ingresos que Javier,

Javier posee mayor cantidad de ingresos que Luis. Camilo posee mayor cantidad de

ingresos que Carlos el hermano de Luis, si Javier posee mayor cantidad de ingresos que

Luis. Por lo tanto, Si Alberto posee mayor cantidad de ingresos que Javier, Camilo es

quien posee mayor cantidad de ingresos que Carlos. Es correcto o contradictorio el

anlisis?
11

Desarrollo

p: Si Alberto posee mayor cantidad de ingresos que Javier,

q: Javier posee mayor cantidad de ingresos que Luis

r: Camilo tiene mayor cantidad de ingreso que Carlos

(p q) (q r) (p r)

Tabla de verdad
p q r (p q) (q r) p r

V V V V V V V V

V V F V F F V F

V F V F F V V V

F F F V V V V V

F V V V V V V V

F V F V F F V V

(p q) (q r) (p r) Es una tautologa

Porque para cualquier valor de verdad de p, q, r la proposicin resultante es verdadera, lo

cual es correcto el anlisis

12

DESARROLLO DE PROPOSICIONES CATEGORICAS Y DIAGRAMAS DE

VENN

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

Solucin del enunciado:

Teniendo en cuenta los siguientes datos:

Premisa Mayor: Todos los egresados de programas del SENA pueden estudiar por convenio

en la UNAD.

Premisa Menor: Algunos Jvenes tcnicos no pueden estudiar por convenio en la UNAD.

Conclusin: Algunos Jvenes Tcnicos no son del SENA.

Segn las premisas se identifica:

Clase Predicado: Estudiantes SENA

Clase Sujeto: Jvenes Tcnicos

Trmino Medio: Convenio en la Unad.

En base a todos los datos obtenidos y teniendo en cuenta la clase de proposiciones categricas

que existen como:

Universal Afirmativa: Todos los Egresados del SENA pueden estudiar por convenio en la

UNAD.
13

Particular Negativa: Algunos Jvenes Tcnicos no pueden estudiar por convenio en La

UNAD.

Particular Negativa: Algunos Jvenes tcnicos no son egresados del SENA.

Se realiza el diagrama de venn:

Siendo:

M: El trmino Medio

P: Clase Predicado

S: Clase Sujeto

El diagrama quiere decir que si algunos jvenes tcnicos, no son egresados del Sena, no

pueden estudiar por convenio en la Unad.

14

b. 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 del enunciado:

Tenemos que:

Premisa Mayor: Ningn empleado puede ser gerente y tesorero al mismo tiempo.

Premisa Menor: Jacobo es un empleado

Conclusin: Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

Por lo tanto:

Clase Predicado: Gerente y Tesorero

Clase Sujeto: Jacobo

Trmino Medio: Empleado

Obtenemos:

Universal Negativa: Ningn empleado puede ser Gerente y Tesorero al mismo tiempo.

Particular Afirmativa: Jacobo es un Empleado

Particular Negativa: Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

15

Diagrama Venn

Lo que significa que:

M: Empleado (Trmino medio)

P: Gerente y Tesorero (Clase Predicado)

S: Sujeto (Clase sujeto)

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.

Proposiciones Categricas

Proposicin mayor: Ninguna obra de teatro puede ser el reflejo de un subrealismo

Proposicin menor: Algunos monlogos pueden ser el reflejo de un subrealismo

Conclusin: Algunos monlogos no son obras de teatro.

16

Debemos deducir la ltima, de la primera por medio de la segunda.

M: algunos monlogos

O: obras de teatro

S: reflejo de un subrealismo

Como la conclusin dice que algunos monlogos no son obras de teatro debera haber una

X en la zona de monlogos fuera de obras de teatro. Como s lo hay podemos decir que el

silogismo es correcto.
17

CONCLUSIONES

Con la utilizacin de la logica proposicional se aprendi de una manera mas sencilla y

prctica la forma de resolver un problema, teniendo en cuenta que se puede solucionar

descomponiendo el problema en proposiciones u oraciones sencillas que nos permiten

analizar los hechos, y crear nuevas proposiciones u oraciones sencillas o compuestas para

dar solucin a la proposicin.

Este trabajo ha permitido profundizar los conocimientos del uso de la lgica proposicional

para la resolucin de problemas y la representacin en las tablas de verdad.

A travs de frmulas se pudo establecer si una proposicin corresponda a una tautologa,

contingencia y negacin, llegando a verificar nuestro planteamiento con el simulador, as

como a justificar nuestros resultados.

Al igual que se conoci y planteo en Diagramas de Venn los silogismos en cuanto a las

proposiciones categricas, dando una mejor visin y aclaracin de este tipo de proposiciones

y sus componentes.
18

REFERENCIAS BIBLIOGRAFICAS

Iniciacin a la lgica simblica, Jos Antonio Arnaz, Edit. Trillas, Pg. 26 a la 30

Lgica: Introduccin a la Ciencia del Razonamiento, Aut. Pedro Chvez C. Pg. 293

Grupo Patria Cultural, Publicaciones Cultural

Leer ms: http://www.monografias.com/trabajos16/calculo-proposicional/calculo-

proposicional.shtml#ixzz46N1lTU15

Barnes, J. (1993), Aristotle Posterior Analytics, translated with a commentary by Johnatan

Barnes. Second Ed., Oxford: Oxford at Clarendon Press.