LGICA PROPOSICIONAL FASE II

YOMARA ANGLICA PARADA ALBADN

Cdigo: 1030531121

JULIO CESAR CORTES SORIANO

Cdigo: 1030526674

PENSAMIENTO LOGICO Y MATEMATICO 200611_105

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENERIA INDUSTRIAL

BOGOT, ABRIL 20 DE 2016

1
 LGICA PROPOSICIONAL FASE II

YOMARA ANGLICA PARADA ALBADN

Cdigo: 1030531121

JULIO CESAR CORTES SORIANO

Cdigo: 1030526674

PENSAMIENTO LOGICO Y MATEMATICO 200611_105

LUIS GABRIEL PRIETO

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENERIA INDUSTRIAL

BOGOT, ABRIL 20 DE 2016

2
 TABLA DE CONTENIDO

Introduccin.....4

Objetivos......5

Objetivo General......5

Objetivos Especficos....5

1. Conceptos de las operaciones .....6

1.1 Concepto de proposicin lgica ......6
1.1.1 Proposiciones Simples ..6
1.1.2 Proposiciones Compuestas .....7
1.2 Las cuatro Tablas de verdad ....7
1.2.1 Tabla Conjuncin ......8
1.2.2 Tabla Disyuncin ......9
1.2.3 Tabla Implicacin ......10
1.2.4 Tabla Bicondicional ......11
2. Problemas de Lgica Proposicional...12
3. Identificacin de Silogismo..14
4. Silogismos17
5. Situacin Problemtica Grupal19

Conclusiones ...23

Bibliografa. ...24

INTRODUCCIN

Con el fin de enfocarnos en nuestro pensamiento lgico, se

presenta la fase del anlisis, mediante las tablas de la verdad,

la mente tiene el sentido de reaccionar ante preguntas negativos

que esperan una respuesta positiva, as mismo se calcula, se

3
revisin la informacin suministradas, la cual generara un

resultado exacto Verdadero o Negativo.

Mediante procesos analticos y de conversin de cantidades,

las cuales mediante la organizacin lograran un efecto concreto

en un problema planteado.

A continuacin analizaremos los problemas de Lgica

Proposicional donde identificamos las tablas es una Tautologa,

Contradiccin o Contingencia, as mismo los problemas donde

identificamos las diferentes proposiciones categricas, con el

fin de conocer el manejo de las Tablas de Verdad, los silogismos

y de nuevo retomando el sistema del Diagrama de Venn, el cual

corresponde a una grfica clara de datos establecidos en el

problema para llegar a un fin el resultado.

OBJETIVOS

OBJETIVO GENERAL

4
 Identificar los conceptos de las operaciones lgicas, la

composicin de los silogismos mediante el empleo de las

Tablas de Verdad.

OBJETIVOS ESPECIFICOS

Consultar los conceptos de la lgica proposicional.

Dar a conocer las operaciones mediante las Tabla de verdad.
Analizar cada problema con la utilizacin de la Tabla de

Verdad.
Observar los resultados de cada problema dado, con el

Diagrama de Venn.

1. CONCEPTOS DE LAS OPERACIONES

1.1. CONCEPTO DE PROPOSICION LOGICA

Proposicin lgica: Se entiende como las entidades portadoras de

los valores de verdad. La cual se puede predicar su veracidad o

falsedad, es decir, que puede ser falsa o verdadera pero no ambas

a la vez.

5
Ejemplos:

En Maracaibo hace mucho calor

Maracaibo es una ciudad muy calurosa

La temperatura media de Maracaibo es bastante alta

El clima de Maracaibo es clido

Maracaibo is a hot city

1.1.1. Proposiciones simples

Se entiende como la afirmacin conformada por una sola oracin

gramatical, .Se denomina tambin como proposiciones atmicas.

Son aquellas proposiciones que no se pueden dividir.

Ejemplo: El sol es Amarillo

El Cielo es Azul

El rbol es Verde

1.1.2.

Proposiciones compuestas

6
Se entiende como la afirmacin conformada por dos o ms

proposiciones simples que se conectan usando las palabras y,

o, si entonces, no y si y solo si.

Ejemplos: Hace calos o hace frio

Mnica no Estudia o Lizbeth es Inteligente
El 7 es mayor que 5 y el 7 es menor que el 10

1.2. LAS CUATRO TABLAS DE VERDAD

Conjuncin, disyuncin, implicacin y bicondicional.

Las tablas de verdad son tablas donde se despliegan el valor de

verdad solo de composiciones compuestas para cada combinacin de

valores de verdad que se puedan asignar a cada uno de sus

componentes,

Las cuatro tablas de verdad que explicare son:

Tabla de conjuncin Y.

Tabla de disyuncin O.

Tabla de implicacin SIENTONCES.

Tabla bicondicional SI Y SOLO SI.

1.2.1. TABLA DE CONJUNCION.

7
La conjuncin es un operador que influye sobre dos valores de

verdad, el valore de verdad de dos proposiciones es verdadero

solo cuando los dos valores son verdaderos el resto de casos no

lo es. En este caso la composicin compuesta esta unida mediante

el conectivo lgico Y el cual se simboliza . pq.

Tabla de Verdad de la Conjuncin.

p q pq
V V V

V F F

F V F

F F F
Ej:

p= El nmero 4 es par

q= Siempre el residuo de los nmeros pares es 2

Entonces.

p^q: El nmero 4 es par Y Siempre el residuo de

los nmeros pares es 2 por lo tanto p^q es VERDADERO.

1.2.2. TABLA DE DISYUNCION.

La disyuncin es un operador que influye sobre dos valores de

verdad, el valore de verdad de dos proposiciones es verdadero

solo cuando los dos valores son verdaderos o uno de ellos lo es,

8
y falsa cuando los dos valores de las proposiciones son falsas.

En este caso la composicin compuesta esta unida mediante el

conectivo lgico O el cual se simboliza . pq.

Tabla de Verdad de la Disyuncin.

p q pq
V V V

V F V

F V V

F F F
Ej: p= El nmero 18 es mltiplo de 6

q= El nmero 8 es mltiplo de 3 Entonces.

pq: El nmero 18 es mltiplo de 6 O El nmero 8 es mltiplo de

3 por lo tanto pq es VERDADERO.

1.2.3. TABLA DE IMPLICACION.

La implicacin o condicional es un operador que influye sobre dos

valores de verdad, el valor de verdad de dos proposiciones es

falso solo cuando el primer valor de la proposicin es verdadero

y el de la segunda proposicin es falso, y es verdadero en

cualquier otro caso. En este caso la composicin compuesta esta

unida mediante el conectivo lgico SIENTONCES el cual se

simboliza =>. p=>q.

Tabla de Verdad de Implicacin.

9
 p q p=>q
V V V

V F F

F V V

F F F

Ej:

p= Hoy es Viernes

q= Maana ser Sbado

Entonces.

P=>q: SI Hoy es Viernes ENTONCES Maana ser Sbado por lo

tanto p=>q es VERDADERO.

1.2.4. TABLA DE EL BICONDICIONAL.

El bicondicional o doble implicacin es un operador que influye

sobre dos valores de verdad, el valor de verdad de dos

proposiciones es verdadero cuando ambas proposiciones tienen el

mismo valor de verdad y falso cuando sus valores de verdad

difieren. En este caso la composicin compuesta esta unida

mediante el conectivo lgico SI Y SOLO SI el cual se simboliza

<=>. p<=>q.

Tabla de Verdad del bicondicional.

10
Ej:

p Q p<=>q p= x es un numero par

V V V
q= x es mltiplo de 2
V F F
Entonces.
F V F
P<=>q: x es un numero par SI Y SOLO SI
F F V
x es mltiplo de 2

por lo tanto p<=>q es VERDADERO.

11
 2. PROBLEMAS DE LGICA PROPOSICIONAL

Planteamiento y resolucin (utilizando las operaciones

necesarias y la representacin a travs de las Tablas de

Verdad) de uno de los siguientes problemas de Lgica

Proposicional; adems establecer si la correspondiente tabla

es una Tautologa, Contradiccin o Contingencia (slo

selecciona uno e informa en el foro el seleccionado para que

no sea escogido por otro integrante):

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

SOLUCION.
 Lo primero que hice fue definir las frases el problema

hasta llegar a los puntos, para encontrar las

proposiciones.

p= Mi hija Sofa estudia libretos

q= Mi hija Sofa obtiene representar el papel protagnico

en la obra de teatro.

r= Mi hija Sofa lo pasa divertido en el ensayo.

Realizando el procedimiento descrito procedo a separar las

frases del problema y para poder escribir las proposiciones

de forma lgica.

No es cierto que:

Es una negacin y negara todo el anlisis incluyendo la

conclusin. ~{}

si mi hija Sofa estudia los libretos, obtiene

representar el papel protagnico en la obra de Teatro.

(p->q)

Si no estudia, lo pasa divertido en el ensayo. (~p-

>q)

Si no obtiene el papel protagnico, no lo pasa bien en el

ensayo.

(~q->~r)

As pues, mi hija Sofa obtiene el papel protagnico.

 ->q

Una vez realizado lo anterior ya se tiene definido el anlisis

para evaluar la tabla de verdad

~{[(p->q) (~p->q) (~q->~r)] ->q}

 TABLA DE VERDAD

~{[(p->q) (~p->q) (~q->~r)] ->q}

3 Proposiciones - 8 Filas

part
parte 2
e 1 parte 3 parte 4 parte 5 parte6 final
~ ~ ~ p- ~p- ~q- (p->q) [(p->q) (~p->q) [(p->q) (~p->q) ~{[(p->q) (~p->q)
p q r
p q r >q >q >~r (~p->q) (~q->~r)] (~q->~r)] ->q (~q->~r)] ->q}
v v v f f f v v v v v v f
v v f f f v v v v v v v f
v f v f v f f v f f f v f
v f f f v v f v v f f v f
f v v v f f v v v v v v f
f v f v f v v v v v v v f
f f v v v F v f f f f v f
f f f v v V v f v f f v f
Luego de evaluar la tabla de verdad se determina que el resultado es una contradiccin
Se escribe el anlisis lgico obtenido en el simulador TRUTH para

comprobar la tabla de verdad realizada anteriormente.

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

PLANTEAMIENTO

- Francisco y Luis Estudian

- Luis Aporta
- Si francisco conoce Cmaptools Mapa conceptuales
- V - F

3. SILOGISMOS
PROBLEMA 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.

Teniendo en cuenta lo anterior se deduce:

S= Jacobo

P= ser Gerente y Tesorero

M= Empleado

P1=Ningn empleado puede ser gerente y tesorero al mismo tiempo.

P2=Jacobo es un empleado.

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

PROBLEMA C. Ninguna obra de teatro puede ser el reflejo de un

surrealismo.
Algunos monlogos pueden ser el reflejo de un surrealismo.

Algunos monlogos no son obras de teatro

NT = Ninguno Obra Teatro es Surrealismo . P1

MS= Algunos monlogos Surrealismo . P2

AT= Algunos no son obras de teatro . P3

T: Teatro M: Monlogos S: Surrealismo

SITUACIN PROBLEMTICA 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.

SOLUCION.

Si Andrs estudia Economa, entonces participar en la

convocatoria de una beca para especializacin.
p=participara en la convocatoria de una beca para la
especializacin.

Pero, no participar en la convocatoria, si reprob el curso de

Fundamentos de Administracin y no aprob el curso de Finanzas.
q= aprobar el curso de Fundamentos de Administracin.
r= aprobar el curso de Finanzas.

((~q ~r) -> ~p)

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.
~r= aprobar el curso de Fundamentos de Administracin.
s= aprobar el curso de Finanzas.
q=participara en la convocatoria.
(( q r) -> p)

Para que todo lo que dice el ejercicio se cumpla la condicin es

que Andrs apruebe los dos cursos de esto tenemos que

(p <-> (q r))

Teniendo en cuenta las siguientes proposiciones compuestas

tenemos:

{((~q ~r) -> ~p) (( q r) -> p)} ->(p <-> (q r))

 TABALA DE VERDAD
{((~q ~r) -> ~p) (( q r) -> p)} ->(p <-> (q r))

3 Proposiciones 8 Filas

parte 1 parte 2 parte 3 parte 4 parte 5 parte6 final

(~q ~r) -> ( q r)
p q r ~p ~q ~r (~q ~r)
~p) ( q r) -> p) {((~q ~r) -> ~p) (( q r) -> p)} (q r) (p <-> (q r)) {((~q ~r) -> ~p) (( q r) -> p)} ->(p <-> (q r))
v v v f f f f v v v v v v v
v v f f f v f v v v v f f f
v f v f v f f v v v v f f f
v f f f v v v f f v f f f v
f v v v f f f v v f f v f v
f v f v f v f v v f f f v v
f f v v v f f v v f f f v v
f f f v v v v v f v v f v v

Luego de evaluar la tabla de verdad se determina que el resultado del razonamiento es

incorrecto.
Se escribe el anlisis lgico obtenido en el simulador TRUTH
para comprobar la tabla de verdad realizada anteriormente.
 CONCLUSIONES

Mediante el estudio de los conceptos y ejemplos realizados,

tenemos en cuenta que los diferentes silogismos siempre tendrn

una respuesta negativa o verdadera.

Cada experiencia lgica, tiene un enfoque en donde cada anlisis

lograra, una bsqueda clara de cada respuesta.

Es por esto que con la operacin de la Tabla de Verdad y el

Diagrama de Venn se demuestra la forma grfica y descriptiva,

hallar una verdad o un resultado falso.

Cada problema presentado, expresa el conocimiento adquirido y la

colocacin en prctica de las alternativas lgicas que nos rodean

a diario.
 BIBLIOGRAFA

- Extrado el 12 de Abril de 2016

https://webatario.wordpress.com/2008/02/04/proposicion-

logica/
- Extrado el 12 de Abril de 2016

http://universologico.blogspot.com.co/p/tablas-de-

verdad.html