LÓGICA PROPOSICIONAL FASE II

YOMARA ANGÉLICA PARADA ALBADÁN

Código: 1030531121

JULIO CESAR CORTES SORIANO

Código: 1030526674

PENSAMIENTO LOGICO Y MATEMATICO – 200611_105

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INGENERIA INDUSTRIAL

BOGOTÁ, ABRIL 20 DE 2016

1
 LÓGICA PROPOSICIONAL FASE II

YOMARA ANGÉLICA PARADA ALBADÁN

Código: 1030531121

JULIO CESAR CORTES SORIANO

Código: 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

Introducción……………………………………..……………………………………………………….…………….……….4

Objetivos…………………………………………………………………………..………………………….…………….……..5

Objetivo General……………………………………….………………………….………….…………...5

Objetivos Específicos………………………..………………………………………………………..5

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

1.1 Concepto de proposición lógica …………………….....………….…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 Conjunción ……….……………….……………………………..……..8
1.2.2 Tabla Disyunción ……….……………….……………………………..……..9
1.2.3 Tabla Implicación ……….……………….……………………………..…..10
1.2.4 Tabla Bicondicional ……….……………….………………….………...11
2. Problemas de Lógica Proposicional……………..……………………………….……12
3. Identificación de Silogismo……………………………………………………………………..14
4. Silogismos………………………………………………………………………………………………………………………17
5. Situación Problemática Grupal……………………………………………………………………19

Conclusiones .…………………………….……………………………………………………………………………………….23

Bibliografía. ….…………………………….………………………………………………………………………………….24

INTRODUCCIÓN

Con el fin de enfocarnos en nuestro pensamiento lógico, se

presenta la fase del análisis, mediante las tablas de la verdad,

la mente tiene el sentido de reaccionar ante preguntas negativos

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

revisión la información suministradas, la cual generara un

resultado exacto Verdadero o Negativo.

Mediante procesos analíticos y de conversión de cantidades,

las cuales mediante la organización lograran un efecto concreto

en un problema planteado.

A continuación analizaremos los problemas de Lógica

Proposicional donde identificamos las tablas es una Tautología,

Contradicción o Contingencia, así mismo los problemas donde

identificamos las diferentes proposiciones categóricas, 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 gráfica clara de datos establecidos en el

problema para llegar a un fin el resultado.

OBJETIVOS

OBJETIVO GENERAL

4
  Identificar los conceptos de las operaciones lógicas, la

composición de los silogismos mediante el empleo de las

Tablas de Verdad.

OBJETIVOS ESPECIFICOS

 Consultar los conceptos de la lógica proposicional.

 Dar a conocer las operaciones mediante las Tabla de verdad.
 Analizar cada problema con la utilización 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

Proposición lógica: 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 cálido

 Maracaibo is a hot city

1.1.1. Proposiciones simples

Se entiende como la afirmación conformada por una sola oración

gramatical, .Se denomina también como proposiciones atómicas.

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 afirmación conformada por dos o más

proposiciones simples que se conectan usando las palabras “y”,

“o”, “si… entonces”, “no” y “si y solo si”.

Ejemplos: Hace calos o hace frio

Mónica 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

Conjunción, disyunción, implicación y bicondicional.

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

verdad solo de composiciones compuestas para cada combinación de

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

componentes,

Las cuatro tablas de verdad que explicare son:

 Tabla de conjunción “Y”.

 Tabla de disyunción “O”.

 Tabla de implicación “SI…ENTONCES…”.

 Tabla bicondicional “SI Y SOLO SI”.

1.2.1. TABLA DE CONJUNCION.

7
La conjunción 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 composición compuesta esta unida mediante

el conectivo lógico “Y” el cual se simboliza ˄. p˄q.

Tabla de Verdad de la Conjunción.

p q p˄q
V V V

V F F

F V F

F F F
Ej:

p= “El número 4 es par”

q= “Siempre el residuo de los números pares es 2”

Entonces.

p^q: “El número 4 es par Y Siempre el residuo de

los números pares es 2″ por lo tanto p^q es VERDADERO.

1.2.2. TABLA DE DISYUNCION.

La disyunción 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 composición compuesta esta unida mediante el

conectivo lógico “O” el cual se simboliza ˅. p˅q.

Tabla de Verdad de la Disyunción.

p q p˅q
V V V

V F V

F V V

F F F
Ej: p= “El número 18 es múltiplo de 6”

q= “El número 8 es múltiplo de 3” Entonces.

p˅q: “El número 18 es múltiplo de 6 O El número 8 es múltiplo de

3 ″ por lo tanto p˅q es VERDADERO.

1.2.3. TABLA DE IMPLICACION.

La implicación 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 proposición es verdadero

y el de la segunda proposición es falso, y es verdadero en

cualquier otro caso. En este caso la composición compuesta esta

unida mediante el conectivo lógico “SI…ENTONCES” el cual se

simboliza =>. p=>q.

Tabla de Verdad de Implicación.

9
 p q p=>q
V V V

V F F

F V V

F F F

Ej:

p= “Hoy es Viernes”

q= “Mañana será Sábado”

Entonces.

P=>q: “SI Hoy es Viernes ENTONCES Mañana será Sábado ″ por lo

tanto p=>q es VERDADERO.

1.2.4. TABLA DE EL BICONDICIONAL.

El bicondicional o doble implicación 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 composición compuesta esta unida

mediante el conectivo lógico “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 múltiplo 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 múltiplo de 2 ″

por lo tanto p<=>q es VERDADERO.

11
 2. PROBLEMAS DE LÓGICA PROPOSICIONAL

Planteamiento y resolución (utilizando las operaciones

necesarias y la representación a través de las Tablas de

Verdad) de uno de los siguientes problemas de Lógica

Proposicional; además establecer si la correspondiente tabla

es una Tautología, Contradicción o Contingencia (sólo

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 sueño 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 Sofía quiere ser actriz de teatro y

pensando en su hija construye en su mente el siguiente

pensamiento: “No es cierto que: si mi hija Sofía estudia los

libretos, obtiene representar el papel protagónico en la obra

de Teatro. Si no estudia, lo pasa divertido en el ensayo. Si

no obtiene el papel protagónico, no lo pasa bien en el ensayo.

Así pues, mi hija Sofía obtiene el papel protagónico. De

acuerdo al resultado en la tabla de verdad justifique si el

pensamiento de Rafael con relación 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 Sofía estudia libretos

q= Mi hija Sofía obtiene representar el papel protagónico

en la obra de teatro.

r= Mi hija Sofía 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 lógica.

No es cierto que:

Es una negación y negara todo el análisis incluyendo la

conclusión. ~{…}

si mi hija Sofía estudia los libretos, obtiene

representar el papel protagónico en la obra de Teatro.

(p->q)

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

>q)

Si no obtiene el papel protagónico, no lo pasa bien en el

ensayo.

(~q->~r)

Así pues, mi hija Sofía obtiene el papel protagónico.

 ->q

Una vez realizado lo anterior ya se tiene definido el análisis

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 contradicción
Se escribe el análisis lógico 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 Gestión 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

compañero 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 información?

PLANTEAMIENTO

- Francisco y Luis Estudian

- Luis Aporta
- “Si francisco conoce Cmaptools – Mapa conceptuales”
- V - F

3. SILOGISMOS
PROBLEMA B. Ningún 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=Ningún 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 monólogos pueden ser el reflejo de un surrealismo.

Algunos monólogos no son obras de teatro

NT = Ninguno Obra Teatro es Surrealismo . P1

MS= Algunos monólogos Surrealismo . P2

AT= Algunos no son obras de teatro . P3

T: Teatro M: Monólogos S: Surrealismo

SITUACIÓN PROBLEMÁTICA GRUPAL

Si Andrés estudia Economía, entonces participará en la

convocatoria de una beca para especialización. Pero, no

participará en la convocatoria, si reprobó el curso de

Fundamentos de Administración y no aprobó el curso de Finanzas.

Si Andrés no reprobó el curso de Fundamentos de Administración o

aprobó el curso de Finanzas, entonces participará en la

convocatoria de una beca para especialización. Por lo tanto,

participará en la convocatoria si y solo si evidencia un promedio

de 4,3 en todos sus estudios.

SOLUCION.

Si Andrés estudia Economía, entonces participará en la

convocatoria de una beca para especialización.
p=participara en la convocatoria de una beca para la
especialización.

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

Fundamentos de Administración y no aprobó el curso de Finanzas.
q= aprobar el curso de Fundamentos de Administración.
r= aprobar el curso de Finanzas.

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

Si Andrés no reprobó el curso de Fundamentos de Administración o

aprobó el curso de Finanzas, entonces participará en la
convocatoria de una beca para especialización.
~r= aprobar el curso de Fundamentos de Administración.
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 condición es

que Andrés 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 análisis lógico 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 tendrán

una respuesta negativa o verdadera.

Cada experiencia lógica, tiene un enfoque en donde cada análisis

lograra, una búsqueda clara de cada respuesta.

Es por esto que con la operación de la Tabla de Verdad y el

Diagrama de Venn se demuestra la forma gráfica y descriptiva,

hallar una verdad o un resultado falso.

Cada problema presentado, expresa el conocimiento adquirido y la

colocación en práctica de las alternativas lógicas que nos rodean

a diario.
 BIBLIOGRAFÍA

- Extraído el 12 de Abril de 2016

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

logica/
- Extraído el 12 de Abril de 2016

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

verdad.html