1

Trabajo Colaborativo Dos

Presentado Por:

Harold Favian Diaz

Yeidis Maestre Mestre

Gustavo Marriaga Castro

Grupo:

200611_330

Tutora

Dorixy Dearmas Duarte

Pensamiento Lógico Y Matemático 200611A_288

Universidad Nacional Abierta Y A Distancias UNAD

18 de abril de 2016
 2

Tabla de Contenido
INTRODUCCION ........................................................................................................................................ 3
OBJETIVOS ................................................................................................................................................. 4
QUE ES UNA PROPOSICION .................................................................................................................... 5
PROPOSICIONES SIMPLES ...................................................................................................................... 5
PROPOSICIONES COMPUESTAS ............................................................................................................ 6
LAS CUATRO TABLAS DE LA VERDAD: CONJUCION, DISYUNCION, IMPLICACION Y
BICONDICIONAL ....................................................................................................................................... 7
Las tablas de verdad son las siguientes: ........................................................................................................ 8
Conjunción: ................................................................................................................................................... 8
Disyunción .................................................................................................................................................... 9
Implicación o condicional: .......................................................................................................................... 10
Bicondicional .............................................................................................................................................. 11
TAUTOLOGIAA, CONTRAIDICACIONES Y CONTINGENCIAS ....................................................... 13
SEGUNDO APORTE ................................................................................................................................. 17
Problema 1. ................................................................................................................................................. 17
Problema 2. ................................................................................................................................................. 20
Problema 3. ................................................................................................................................................. 23
TERCER APORTE..................................................................................................................................... 26
Ejercicio 1. .................................................................................................................................................. 26
Ejercicio 2. .................................................................................................................................................. 28
Ejercicio 3. .................................................................................................................................................. 30
APORTE GRUPAL .................................................................................................................................... 31
Truth Table............................................................................................................................................ 34
CONCLUSION ........................................................................................................................................... 36
Referencias Bibliográficas. ......................................................................................................................... 37
 3

INTRODUCCION

En el siguiente trabajo se han consignados los diferentes desarrollos de problemas,

conceptualizaciones, argumentaciones y desarrollo de la lógica proposicional, ayudados con las

propiedades de la misma, sus operaciones y las proposiciones categóricas, que ayudan a que

cualquier problema de nuestro entorno o vida cotidiana, logre ser solucionado por este efectivo

razonamiento lógico, verificando a ciencia cierta, las diferentes tautologías, contradicciones o

contingencias de las respuestas de una tabla de verdad.

Además de lo anterior , se mostraran con cuatro pasos que son: lectura y análisis del escenario,

clasificación de las terminologías y conceptos confusos; determinar el problema y análisis

del problema, logramos no solo resolver problemas lógicos, sino también resolver cualquier

problema que se nos presente en nuestro campo profesional, laboral y vivencial.

 4

OBJETIVOS

 Conceptualizar las terminologías de la lógica proposicional.

 Analizar y argumentar de forma adecuada los procedimientos desde la lógica

proposicional.

 Identificar las proposiciones simples y proposiciones compuestas.

 Conocer el Manejo y verificación de la tabla de la verdad.

 5

QUE ES UNA PROPOSICION

Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede

concluir que es verdadero o falso no es proposición. Es cualquier agrupación de palabras

o símbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si es

verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su valor lógico o

valor de verdad. Las proposiciones se denotan con letras minúsculas. Ejemplo: p, q, r, a, b.

Ejemplo:

Hoy es lunes. (si es proposición ya que se puede verificar).

PROPOSICIONES SIMPLES

Son aquellas que no tienen oraciones componentes afectadas por negaciones (“no”) o términos

de enlace como conjunciones (“y”), disyunciones (“o”) o implicaciones (“si . . . entonces”).

Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones.

También denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden

dividir.

Ejemplos:

•La ballena es roja.

•La raíz cuadrada de 16 es 4.

 6

•Gustavo es alto.

•Teresa va a la escuela.

PROPOSICIONES COMPUESTAS

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o

términos de enlace entre oraciones componentes.

También denominadas moleculares. Son aquellas que están formadas

Ejemplo:

•La ballena no es roja.

•Gustavo no es alto.

•Teresa va a la escuela o María es inteligente.

•4 es menor que 8 o 6 es mayor que 10.

•El 1 es el primer número primo y es mayor que cero.

•El 7 es mayor que 5 y 7 es menor que 10.

•Si Yolanda es estudiosa entonces pasará el examen.

•Si corro rápido entonces llegaré temprano.

•Terminaré rápido si y sólo si me doy prisa.

•Aprenderé Matemáticas si y sólo si estudio mucho.

 7

LAS CUATRO TABLAS DE LA VERDAD: CONJUCION, DISYUNCION,

IMPLICACION Y BICONDICIONAL

Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes

razonamientos lógicos construidos a base de la combinación de dos o más enunciados nucleares.

Los enunciados nucleares se identifican con las letras del alfabeto, usualmente las de la segunda

mitad del alfabeto: p, q, r, s, t, etc.

Puede usarse cualquier símbolo para identificar a los enunciados nucleares.

La tabla de verdad más simple es la que corresponde a los valores de verdad de un solo

enunciado nuclear.

Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para los cuatro

conectivos básicos (conjunción, disyunción, implicación y bicondicional), tienen cuatro niveles

(2 elevado al número de enunciados). Se pretende en la tabla que se puedan establecer todas las

combinaciones de valores de verdad asumidos por los enunciados nucleares.

 8

Los conectivos lógicos son Y (para la conjunción), O (para la disyunción inclusiva), SI…

ENTONCES (para la implicación o condicional), SI Y SOLO SI (para la doble implicación

o bicondicional).

Las tablas de verdad son las siguientes:

Conjunción:

La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de

verdad de dos proposiciones, devolviendo el valor verdadero cuando ambas proposiciones son

verdaderas, y falso en cualquier otro caso. Es decir es verdadero cuando ambas son verdaderas.

Tabla de verdad de la conjunción

p q p^q

V V V

V F F
p ^ q (se lee: “p y q”)
F V F
Ejemplos:
F F F
p=”el número 4 es par”

q=”siempre el residuo de los números pares es dos “

Entonces
 9

p^q:”el número 4 es par y siempre el residuo de los números pares es 2”

p=”el número más grande es 34”

q=”el triángulo tiene tres lados”

Entonces

p^:”el número más grande es el 34 y el triángulo tiene tres lados”

Disyunción:

La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de

verdad de dos proposiciones, devolviendo el valor de verdad. Verdadero cuando una de las

proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas

Tabla de verdad de la disyunción

P q pvq

V V V

p V F V v q (se lee: “p o q”)

F V V

F F F

Ejemplos:

p =” el número 2 es par “
 10

q = “la suma de 2 +2 es 4 “

Entonces

P v q:” el numero dos es par o la suma de 2+2 es 4 “

p=” la raíz cuadrada del 4 es 2 “

q=” el número 3 es par “

Entonces

p v q:” la raíz cuadrada del 4 es 2 o el número 3 es par “

Implicación o condicional:

El condicional material es un operador que opera sobre dos valores de verdad, típicamente los

valores de verdad de dos proposiciones, devolviendo el valor de verdad, falso solo cuando la

primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

La condicional de dos proposiciones p, q da lugar a la proposición:

Si p, entonces q, se representa p→q

Tabla de verdad condicional

p q p→q
 11

V V V

V F F

F V V

F F V

Ejemplos:

P: “llueve”

q: “hay nubes”

p→q:”si llueve entonces hay nubes”

p:”hoy es miércoles “

q:”mañana será jueves”

p→q:”si hoy es miércoles entonces mañana será jueves”

Bicondicional:

El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad,

verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus

valores de verdad diferente.

Tabla de verdad bicondicional

 12

p Q p↔q

V V V

V F F

F V F

F F V

Ejemplos:

p:” 10 es un número impar”

q:”6 es un numero primo “

p↔q:”10 es un número impar si y solo si 6 es un numero primo “

p: “3+2=7”

q: “4+4=8”

P↔q: “3+2=7 si y solo si 4+4 =8 “

 13

TAUTOLOGIAA, CONTRAIDICACIONES Y CONTINGENCIAS

Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la verdad o

falsedad de las proposiciones simples, entonces la expresión es tautológica.

Si la tabla de verdad es siempre falsa, será una contradicción.

Si es verdadera y falsa, la proposición es una contingencia.

•TAUTOLOGÍA:

Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de

valores de verdad para sus proposiciones componentes. Dicho de otra forma, su valor V no

depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que

están establecidas las relaciones sintácticas de unas con otras.

Más específicamente, Es una expresión lógica que resulta verdadera para cualquier

interpretación; es decir, para cualquier asignación de valores de verdad. La construcción de

una tabla de verdad es un método efectivo para determinar si una expresión cualquiera es una

tautología o no.
 14

Sea el caso:

Otro ejemplo:

•CONTRADICCIÓN:

Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los

casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no

depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que

están establecidas las relaciones sintácticas de unas con otras.

Más específicamente, Una proposición es una contradicción, si es falsa para todos sus valores de

verdad.
 15

Sea el caso:

Otro ejemplo:

•CONTINGENCIA:

Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser

verdadera o falsa, (combinación entre tautología y contradicción) según los valores de las

proposiciones que la integran.

En otras palabras, Una proposición es una contingencia si no es ni verdadera ni falsa

independientemente de los valores de verdad de las proposiciones simples que la componen.

 16

Sea el caso: .

Otro ejemplo
 17

SEGUNDO APORTE

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.

P= Sofía estudia libreto

q= obtiene el papel protagónico

r= pasa divertido el ensayo

1. No es cierto que si mi hija Sofía estudia los libretos, obtiene representar el papel

protagónico en la obra de teatro = ~(p->q).

2. Si no estudia, la pasa divertido en el ensayo. = (~p->r).

3. Si no obtiene el papel protagónico, no la pasa bien en el ensayo. = ~q -> ~r

q→[~(p→q)v(~p→r) v (~q→~r)]
 18

Tabla de la Verdad realizada con el razonamiento anterior

P q r ~p ~q ~ p->q ~(p->q) ~p- ~q- ~(p→q)v(~p→r) q→[~(p→q)v(~

r >r >~r v (~q→~r) p→r) v

(~q→~r)]

V V V F F F V F V V V V

V V F F F V V F V V V V

V F V F V F F V V F F V

V F F F V V F V V V V V

F V V V F F V F V V V V

F V F V F V V F V V V V

F F V V V F V F F F F V

F F F V V V V F F V V V

ES UNA TAUTOLOGIA

Imágenes del análisis del simulador TRUTH

19
 20

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?

R/

P: francisco aprende cmaptools

q: francisco realiza mapa conceptual

r: francisco reconoce una red de conceptos

[(p˄q) →p] → [(q˅r) ˄ (‫ר‬q˄‫ר‬r)]

Tabla de la Verdad realizada con el razonamiento anterior

1 2
 21

p q r ‫ר‬q ‫ר‬ (p˄q (q˅r (‫ר‬q˄‫ר‬ [(p˄q) [(q˅r) ˄ 1→

r ) ) r) →p] (‫ר‬q˄‫ר‬r)] 2

V V V F F V V F V F F

V V F F V V V F V F F

V F V V F F V F V F F

V F F V V F F V V F F

F V V F F F V F V F F

F V F F V F V F V F F

F F V V F F V F V F F

F F F V V F F V V F F

 es una tabla de Contradiccion.

Imágenes del análisis del simulador TRUTH

22
 23

Problema 3.

Hilder ha comenzado a revisar los productos de la Fase Individual del Trabajo Colaborativo Uno

del Curso Pensamiento Lógico y Matemático, para lo cual se encuentra observando los primeros

aportes hechos por los integrantes del grupo colaborativo 816, pero en este grupo sólo han

participado tres integrantes. A Hilder se le ha generado una confusión por la selección de aportes

establecida por Pablo, Jaime y Miguel; para aclarar cual operación entre conjuntos escogió cada

uno de ellos, hace el siguiente análisis: “Pablo selecciona la operación de unión entre conjuntos,

si Jaime selecciona la intersección de conjuntos. Miguel seleccionará la operación de diferencia

de conjuntos o Pablo no seleccionará la unión entre conjuntos. O Jaime no selecciona la

operación de intersección entre conjuntos o Miguel no ha seleccionado la operación de diferencia

entre conjuntos. Por consiguiente, Jaime no seleccionó la intersección entre conjuntos”. ¿Es

correcto este análisis?

 En este problemas se definen 3 proposiciones:

 P=Pablo que selecciona Unión

 J=Jaime que selecciona Intersección

 M=Miguel que selecciona diferencia

 Analizando el lenguaje natural y llevándolo al lenguaje formal.

 Pablo selecciona la operación de unión entre conjuntos, si Jaime selecciona la

intersección de conjuntos: (P↔J).

 Miguel seleccionará la operación de diferencia de conjuntos o Pablo no seleccionará

la unión entre conjuntos: (Mv~P).

 24

 Jaime no selecciona la operación de intersección entre conjuntos o Miguel no ha

seleccionado la operación de diferencia entre conjuntos: (~Jv~M)

~J→[(P↔J)v(Mv~P) V (~Jv~M)]

Tabla de la Verdad realizada con el razonamiento anterior

P J M ~P ~J ~M P↔J Mv~P ~Jv~M ~J→[(P↔J)v(Mv~P) V (~Jv~M)]

V V V F F F V V F V

V V F F F V V F V V

V F V F V F F V V V

V F F F V V F F V V

F V V V F F F V F V

F V F V F V F V V V

F F V V V F V V V V

F F F V V V V V V V

Donde se evidencia que el análisis es correcto, ya que da una Tautología.

Anexo imágenes del análisis del simulador TRUTH

25
 26

TERCER APORTE

Ejercicio 1.

1. Todos los egresados de programas del SENA pueden estudiar por convenio en la

UNAD.

2. Algunos jóvenes técnicos no pueden estudiar por convenio en la UNAD.

3. Algunos jóvenes técnicos no son egresados del SENA.

La primera Preposición es Universal Afirmativa y la segunda y tercera son proposiciones de

tipo Particular Negativo.

Preposición No 1. Preposición No 2. Preposición No 3.

T = S = Egresados T = S = Jóvenes Técnicos T = S = Jóvenes Técnicos

Programa SENA

P = P = Estudiar por P = P = Estudiar por convenio P = P = Egresados del SENA.

convenio Unad. Unad.

Simbología: Todo S es P. Simbología: Algún S no es P. Simbología: Algún S no es P.

 27

Diagrama de Venn de la Preposición 1.

S ∩ P= ɸ

T P

U
Las Preposiciones 2 y 3, usan el mismo diagrama de Venn.

S ∩ ̴P= ɸ

T P

U
 28

Ejercicio 2.

1. Ningún empleado puede ser Gerente y Tesorero al mismo tiempo.

2. Jacobo es un empleado.

3. Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

 Ningún empleado puede ser Gerente y Tesorero al mismo tiempo

Proposición categórica universal afirmativa.

 Jacobo es un empleado.

Proposición categórica afirmativa particular.

 Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

Proposición categórica negativa particular.

Diagrama de venn

 Ningún empleado puede ser Gerente y Tesorero al mismo tiempo

Proposición categórica universal afirmativa.

S ∩ P´= ɸ
 29

 Jacobo es un empleado.

Proposición categórica afirmativa particular.

S es P

 Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

Proposición categórica negativa particular.

S ∩ P´≠ ɸ
 30

Ejercicio 3.

1. Toda progresión aritmética consta de un valor inicial y una razón.

2. Todos los ejercicios del curso de Cálculo Diferencial son progresiones aritméticas.

3. Todos los ejercicios del curso de Cálculo Diferencial constan de valor inicial y una

razón.

Proporciones categóricas: universal afirmativa

P=ejercicio de cálculo diferencial

q=programa aritmética

r=valor inicial y una razón

Representación en diagrama de venn:

r
 31

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

Proposiciones simples

P = Andrés estudia economía

q = Andrés participa en la convocatoria de una beca para especialización

r = Andrés reprobó el curso de fundamentos de administración

s = Andrés aprobó el curso de finanzas

t = Andrés evidencia un promedio de 4,3 en todos sus estudios

Proposiciones compuestas:

1. Si Andrés estudia Economía, entonces participará en la convocatoria de una beca para

especialización: p→ q.

2. No participará en la convocatoria, si reprobó el curso de Fundamentos de Administración

y no aprobó el curso de Finanzas. (r ∧ ~s) → ~q.

 32

3. 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 v

s) → q.

4. participará en la convocatoria si y solo si evidencia un promedio de 4,3 en todos sus

estudios. (q ↔t).

Por lo tanto, la fórmula de la solución a esta lógica proposicional es:

{[(p → q) ∧ (r ∧ ~s) →~q] ∧ [(~r v s) →q] → (q ↔ t ) }

33
 34

Truth Table

p q r s t {(p→q)Λ[(rΛ¬s)→¬q]Λ[(¬rVs)→q]→(q↔t)}

T T T T T T

T T T T F F

T T T F T T

T T T F F T

T T F T T T

T T F T F F

T T F F T T

T T F F F F

T F T T T T

T F T T F T

T F T F T T

T F T F F T

T F F T T T

T F F T F T

T F F F T T

T F F F F T

F T T T T T

F T T T F F
 35

F T T F T T

F T T F F T

F T F T T T

F T F T F F

F T F F T T

F T F F F F

F F T T T T

F F T T F T

F F T F T F

F F T F F T

F F F T T T

F F F T F T

F F F F T T

F F F F F T
 36

CONCLUSION

Con la elaboración de este trabajo colaborativo el grupo afianzo la conceptualización y las

terminologías de la lógica proposicional.

Se demostró mediante la elaboración de los diferentes ejercicios la puesta en práctica, el analizar

y argumentar de forma adecuada los procedimientos desde la lógica proposicional utilizados para

demostrar la veracidad y validez de situaciones específicas del mundo real, observando si la tabla

de verdad generada es una tautología, contradicción o contingencia. Así mismo aprendimos a

identificar los silogismos y las diferentes proposiciones categóricas.

 37

Referencias Bibliográficas.

 Tautología-Contradicción y Contingencia, 2011, Lógica Matemática, Recuperado de:

https://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-contradiccion-y-

contingencia-2/

 Tautologías-Contradicción y Contingencia, 2011, Matemáticas Discretas, Recuperado

de: https://superinteresante7.wordpress.com/2011/10/16/tautologias-contradiccion-y-

contingencia/