TRABAJO COLABORATIVO 2, UNIDAD 2

LGICA PROPOSICIONAL

Realizado por:

Carolina Cardona

Presentado a: HILDER MOSCOTE

Grupo: 200611_264

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

BIOLOGA CELULAR Y MOLECULAR

ABRIL DE 2016
 INTRODUCCION

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

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

podemos 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.
 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.
1. Conceptualizacin y ejemplos de las siguientes terminologas de la Lgica

Proposicional:

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.

CONCEPTO DE PROPOSICIN LGICA. PROPOSICIONES SIMPLES Y

COMPUESTAS

PROPOSICIONES LGICAS:

Conjunto de palabras que forman una oracin, que tienen sentido de la que se puede

deducir si es verdadera o falsa, El valor lgico de la proposicin se determina al concluir si

es verdadera o falsa, estas se indican o nombran con letras minsculas Ejemplo: p, q, r, s.

Ejemplos:

Hoy es lunes

No todos los nmeros primos son impares

Los seres invertebrados poseen esqueleto.

CLASES DE PROPOSICIONES:

Proposiciones Simples: Son aquellas proposiciones que no se pueden dividir.

Ejemplo: El cielo es azul.

Proposiciones Compuestas: Son aquellas proposiciones, que se formas de dos o ms

proposiciones simples, unidas por los operadores lgicos.

Ejemplo:

Fui al banco, pero el banco estaba cerrado.

Los lectores del libro son jvenes o universitarios.

LAS CUATRO TABLAS DE VERDAD: CONJUNCIN, DISYUNCIN,

IMPLICACIN Y BICONDICIONAL.

CONJUNCIN:

Se denomina a la proposicin que resulta de unir dos proposiciones, por medio del

conectivo conjuncin ( ), la llamaremos proposicin conjuncin.

Ejemplo 1

"El sol sale de da" y "la luna sale de noche"

p: El sol sale de da

q: La luna sale de noche

En smbolos: p q

Valor de verdad de una conjuncin:

p q tendrn un valor de verdad verdadero, solo cuando ambos componentes son

verdaderas de lo contrario es falsa.

Esto lo podemos escribir mediante la siguiente tabla:

p q pq

v v v

v f f

f v f

f f f

Ejemplo 2
p: el sol sale de da (v)

q: la luna sale de noche (v)

p q (v)

DISYUNCIN:

A la proposicin que resulta de unir dos proposiciones por medio del conectivo (v) le

llamaremos proposicin disyuncin.

Ejemplo 3

"El ao tiene 6 meses" o " la semana tiene 12 das"

p: El ao tiene 6 meses

q: La semana tiene 12 das

En simbolo: p v q

Valor de verdad de una disyuncin

p v q, tendr un valor de verdad falso cuando ambas componentes sean falsas y si al

menos una de las componentes es verdadera, entonces p v q es verdadera.

p q pvq

v v v

v f v

f v v

f f f

Ejemplo 4

p: El ao tiene 6 meses (F)

q: La semana tiene 12 das (F)

El valor verdad de p v q es falso

CONDICIONAL:

A la proposicin que resulta de unir dos proposiciones por medio del conectivo

condicional () le llamaremos condicional.

Ejemplo 5

Chile es un pas Europeo, entonces Espaa es un pas sudamericano

p: Chile es un pas Europeo

q: Espaa es un pas sudamericano

Valor de verdad de una condicional:

p q, tendrn un valor de verdad falso solamente cuando el antecedente p es

verdadero y el consecuente es falso, en los dems casos diremos que es verdadero.

p q pq

v v v

v f f

f v v

f f v

Ejemplo 6 :

p: Chile es un pas Europeo (F)

q: Espaa es un pas sudamericano (F)

Por tanto: p q es V

BICONDICIONAL:

A la proposicin que resulta de unir dos proposiciones por medio del conectivo

bicondicional () la llamaremos proposicin bicondicional.

Ejemplo 7
Roma esta en EE. UU., si Washington esta en Italia.

p: Roma esta en EE.UU.

q: Washington esta en Italia

En smbolos: p q

Valor de verdad de un bicondicional

p q, tiene un valor de verdad verdadero, solo cuando ambas son verdaderas o falsas de lo
contrario es falsa.
p q pq
v v v
v f f
f v f
f f v
p: Roma esta en EE.UU. (F)

q: Washington est en Italia (F)

Por tanto p q es verdadero.

TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS

TAUTOLOGA:

Es un trmino que proviene de un vocablo griego y que hace referencia a la repeticin

de un mismo pensamiento que se trae a la realidad por medio de la actividad individual que

se pueden determinar cmo productos elaborados por la mente que pueden aparecer por

procesos racionales del intelecto o bien por adstricciones de la imaginacin a travs de

distintas expresiones. En el contorno de la lgica la tautologa es una frmula de un sistema

ordenado de elementos que se encuentran interrelacionados y que interactan entre si y que

resulta verdadera para cualquiera de las interpretaciones. En otras palabras se trata de una

expresin lgica que es verdadera para todos los posibles valores de verdad de sus
componentes atmicos la cual se determina como tautologa realizando una tabla de verdad

y los resultados siempre son verdaderos.

Ejemplos

Puedo confirmar que el acusado es culpable ya que vi el asesinato con mis propios ojos.

Voy a subir arriba a buscar un libro y vuelvo.

Tengo que salir afuera para regar las plantas.

CONTRADICCIONES:

Originada en el latn contradicto, contradiccin es una palabra compuesta, formada

por contra que indica oposicin y por dicere con el significado de decir. Una

contradiccin es un dicho o accin que se opone a lo que la misma persona expres o hizo,

o que lo hizo otro.

En la lgica una contradiccin es una incompatibilidad entre dos o ms proposiciones

las cuales son una cadena de signos expresados en un determinado lenguaje que expresan

contradicciones y que resulta falsa para cualquier interpretacin, es decir para cualquier

asignaciones de valores de verdad lo que se determina en qu medida es un valor verdadero

en este sentido una proposicin es un producto lgico del pensamiento humano expresados

en leguajes naturales y formales.

Una proposicin expresada en lenguaje natural deber ser una oracin gramatical o

como mnimo una oracin semnticamente no vaca. mientras que una formal es una

cadena de signos bien definidos que el principio de contradiccin resulta de ser una

tradicional ley propuesta por la lgica a partir de la cual se establece que un argumento y la

negacin de este no podrn ser nunca verdaderos en el mismo momento y ni en el mismo

sentido. Son aquellas frmulas que son falsas para cualquier valoracin de los smbolos

proposicionales que contiene.

Ejemplos:

Ni llueve ni truena, pero llueve y truena

No es marrn ni dorado, es dorado y marrn

Esta salado, no est salado

El coche es rojo y el coche no es rojo.

Al que madruga dios le ayuda y no por mucho madrugar.

Tu hiptesis es totalmente contradictoria de la que expuso tu compaero de estudios

CONTINGENCIAS:

En la palabra latina contingencia es donde se encuentra el origen etimolgico del

trmino contingencia que ahora nos ocupa, podemos establecer adems que aquella se halla

conformada por los siguientes elementos.

El prefijo con que se usa para indicar reunin

El verbo tagere- que se puede traducir como- tocar

El sufijo entia- que es equivalente a - cualidad de agente

Que se refiere a algo que es probable que ocurra, aunque no se tiene una certeza al

respecto. Es a aquello que pueda o no concretarse denominada verdad de hecho que puede

ser verdadera o falsa segn la tabla de valores. Son aquellas frmulas cuyo valor de

verdad o falsedad depende de la valoracin de los smbolos proposicionales o el modo de

ser lo que no es.

Ejemplos

Cambios en las leyes de un pas que afecten el mercado o segmento de la empresa.

Continencias en salud cambio de normatividad.

Escasez de materias primas o insumos para la fabricacin.

Huelgas, renuncias despidos de empleados claves.

2. Planteamiento y resolucin (utilizando las operaciones necesarias y la

representacin a travs de las 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:

 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?

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.

PANTALLAZO SIMULADOR TABLA DE VERDAD

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?

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

3. Identificar en dicho silogismo las diferentes proposiciones categricas, y proponer

una representacin mediante Diagramas de Venn de las diferentes relaciones entre

las clases implicadas.

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.

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.

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.

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.

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.
4. Link de las leyes de la lgica proposicional

LEYES DE IDEMPOTENCIA.

http://prezi.com/bt1qf_6pldmk/?utm_campaign=share&utm_medium=copy

Realizado por: Emilce Cabrera

LEYES ASOCIATIVAS

http://prezi.com/zhufrhakwpaw/?utm_campaign=share&utm_medium=copy/>

Realizado por: Juliana Moran

LEYES CONMUTATIVAS

http://prezi.com/7gsksffrzaqw/?utm_campaign=share&utm_medium=copy/>

Realizado por: Carolina Cardona

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

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
Al plantearla en la tabla de la verdad se deduce que es una contingencia.
PANTALLAZO SIMULADOR TABLA DE VERDAD
 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.