1

UNIDAD 2: PASO 2 USO DE LAS TABLAS DE VERDAD

MOMENTO INTERMEDIO

ESTUDIANTE:
Cristian Jarrison Camacho Poloche
GRUPO COLAVORATIVO No. 200611_48
TUTOR:
Ciro Efrain Martinez

UNIVERSIDAD NACINAL ABIERTA Y A DISTANCIA.

 2
Zona centro bogota cundinamarca.
CEAD Jose Acebedo y Gomez.
Programa de Ingenieria Industrial
MAYO-28-2017
 TABLA DE CONTENIDOS

1...................................................................................................................
OBJETIVOS................................................................................................3

2 INTRODUCCIN...................................................................................4

3 CONCEPTUALIZACION DE LAS CUATRO TABLAS DE VERDA...5

Conceptualizacin...6
Conceptualizacin..7
Conceptualizacin..8

4 - PROCESO OPERATIVO Y GRAFICO DE LA RESOLUCION

DE LA SITUACION PROBLEMATICA DE LAS TABLAS DE
VERDAD. ANEXO 1 Y UTILIZANDO EL SIMULADOR
TRUTH ....9

Solucin.....................................................................................................10
Solucin utilizando el simulador la tabla de verdad.....................11

4 - PANTALLASO DE COMPROBASION DE LA TABLA DE VERDAD

CON EL SIMULDOR TRUTH12

5 - SOLUCION DE ANEXO DOS SILOGUISMOS FASE INDIVIDUAL...13

6 - CONCLUCIONES......................................................................................14

7 - BIBLIOGRAFIAS......................................................................................15
 OBJETIVOS

1.1 Objetivo general.

- Dar a conocer los conceptos de la Unidad 2 Lgica proposicional y tablas

de verdad , as como tambin analizar, identificar y resolver el problema

planteado en los ANEXOS 1 Y 2 utilizando las tablas de verdad y el diagrama

de venn y as cumplir con el trabajo requerido.

1.2 Objetivos especificos.

- Leer detenidamente la situacin problemtica de los ANEXOS 1 Y 2 para

realizar dicha Actividad.

- Realizar una bsqueda complementaria en libros, en la web y dems sitios para

Retroalimentar los saberes y as entender los problemas planteados en la

unidad 2 lgica proposicional.

- Resolver el problema de dicha actividad utilizando el diagrama de venn y las tablas

de verdad.
 4

INTRODUCCIN

En el siguiente enunciado daremos cuenta de las nociones y los conceptos de la lgica

proposicional, as como tambin veremos el desarrollo de la situacin problemtica que

nos plantea la gua en los ANEXOS 1 y 2 de la lgica proposicional y el uso de las tablas

de verdad. Esto lo haremos con la informacin dada por la universidad y una

retroalimentacin realizada por nosotros mediante bsquedas en la web o en libros bien

sea de la universidad o de otro sitio para tener una idea clara problema a resolver.
 5

CONCEPTUALIZACION DE LAS CUATRO TABLAS DE VERDA

En este enunciado veremos la conceptualizacin de las cuatro tablas de verdad que son:

Conjuncin, Disyuncin, Implicacin y Bicondicional.

Concepto de conjuncin: La conjuncin es un operador que opera sobre dos valores de

verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de

verdad Verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro

caso. Es decir es verdadera cuando ambas son verdaderas y esta se representa as () la

significa la letra y, veamos unos ejemplos:

pq lo leeramos (p y q)
P = El acusado es pobre
q = El acusado es honesto
Entonces esto nos dira que pq: El acusado es pobre, pero honesto

P = Estudio logica matemtica

q = Estudio biologa
pq = Estudio logica matemtica y biologa

p = Trabajo en las maanas

q = Estudio en las tardes
pq = Trabajo en las maanas y estudio en las tardes
 6

Tomado de: https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestas-

disyuncion-conjuncion-negacion-condicional-bicondicional/

Concepto de disyuncin: Si p y q representan dos proposiciones simples, entonces la

composicin compuesta p v q solo ser falsa cuando las dos proposiciones lo sean. Tambin

cabe destacar que la disyuncin tambin es conmutativa.

p q pvq

V V V

V F V

F V V

F F F

p = Llover en la tarde
q = Saldr el sol
Esto nos dara:
Pvq = Llover en la tarde o saldr el sol

P = Estar en chile
q = Estar en Colombia
pvq = Estar en chile o estar en Colombia

p = Ir en la maana
q = Ir en la noche
pvq = Ir en la maana o ir en la tarde
 7

Tomado de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

docID=11013570&ppg=30

Concepto de implicacin: Aqu vemos que si pyq representan dos disposiciones simples,

entonces la proposicin compuesta pq solo ser falsa cuando p, llamado antecedente o

hiptesis sea verdadera y q, llamado consecuente o conclusin sea falso. Algunas formas de

condicional o implicacin son: si, entonces, se sigue, por tanto, se infiere, de ah que, entre

otras. Es de mencionar que el concepto de implicacin no es conmutativo, entonces lo

podemos ver de la siguiente forma: pq qp.

p q pq

V V V

V F F

F V V

F F V

P = Llueve
q = Me mojare
pq = Si llueve, entonces me mojare

p = Me ejercito
q = Adelgazare
pq = Si me ejercito entonces adelgazare

p = Trabajo
q = Me compro el televisor
pq = Si trabajo entonces me compro el televisor
 8

Tomado de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

docID=11013570&ppg=30

Concepto de bicondicional: Este lo vemos de esta manera. Si pyq representan dos

proposiciones simples, entonces la proposicin compuesta entre pq, solo se ver cuando

ambas proposiciones tengan el mismo valor de verdad.

Algunas formas de Bicondicional son: Entonces y solo entonces, si y solo si, equivale a, es

idntico, entre otras.

p q pq

V V V

V F F

F V F

F F V

p = Si un polgono tiene 4 lados, entonces es un cuadriltero

q = Si un polgono es un cuadriltero, entonces tiene 4 lados
pq = Un polgono es un cuadriltero si y solo si tiene 4 lados

p = Ocho es un numero par

q = Siete es un numero primo
Entonces:
pq = Ocho es un numero par si y solo si siete es un numero primo

p = La tierra es cubica, entonces el sol es un triangular

q = El sol es cubico, entonces la tierra es triangular
Entonces quedariaria asi:
pq = La tierra es cubica si y solo si el sol es triangular
Tambien podemos representar esto asi:
P = La tierra es cubica (F)
q = El sol es triangular (F)
F- F = V
 9

Tomado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=11013570&ppg=30
 10

PROCESO OPERATIVO Y GRAFICO DE LA RESOLUCION DE LA

SITUACION PROBLEMATICA DE LAS TABLAS DE VERDAD
ANEXO 1 PUNTO NUMERO 4

Ins est hablando con sus amigas de la universidad, y ellas quieren saber si es verdad que

Ins no necesita dinero para pagar la matrcula del prximo semestre, para lo cual Ins

comenta lo siguiente: No es cierto que soy beneficiaria del crdito condonable que otorga

el Estado y obtengo un promedio alto en mi periodo acadmico. Soy beneficiaria del

crdito condonable que otorga el Estado y recibo un bono de estudio en la empresa.

Obtengo un promedio alto en mi periodo acadmico y recibo un bono de estudio en la

empresa. Por consiguiente soy beneficiaria del crdito condonable que otorga el Estado.

Ser que es verdad lo que ha dicho Ins?, una de las amigas tom nota de lo que dijo Ins

y lo plasm en una tabla de verdad; qu resultado obtuvo la amiga en la tabla que hizo?
 11

Solucin:

Componentes del enunciado:

P = Soy beneficiaria del crdito condonable que otorga el estado

q = Obtengo un promedio alto en mi periodo acadmico
r = Obtengo un bono de estudio en la empresa

Premisas del enunciado:

1- No es cierto que soy beneficiaria del crdito condonable que otorga

el Estado y obtengo un promedio alto en mi periodo acadmico.

2- Soy beneficiaria del crdito condonable que otorga el Estado y

recibo un bono de estudio en la empresa.

3- Obtengo un promedio alto en mi periodo acadmico y recibo un

bono de estudio en la empresa. Por consiguiente soy beneficiaria

del crdito condonable que otorga el Estado.

Conclusin del enunciado:

- Por consiguiente soy beneficiaria del crdito condonable que

otorga el Estado.

Enunciado descompuesto en simbologa:

[(p^q) ^ (p^r) ^ (q^r) p]

 12

Solucin con la tabla de verdad:

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

)

V V V V V V V V V F

V V F V F F F F V F

V F V F V F F F V F

V F F F F F F F V F

F V V F F V F F V F

F V F F F F F F V F

F F V F F F F F V F

F F F F F F F F V F

Conclusin final: La tabla de verdad nos da como resultado una contradiccin a la

conclusin que nos plantea Ins.

 13

PANTALLASO DE COMPROBASION DE LA TABLA DE VERDAD CON

EL SIMULDOR TRUTH
 14

SOLUCION DE ANEXO DOS SILOGUISMOS FASE INDIVIDUAL

Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo en el

pdium del Tour de Francia.

- Nairo Quintana es ciclista colombiano.

- Nairo Quintana no puede ser campen y ocupar el segundo lugar al mismo tiempo

en el pdium del Tour de Francia.

Respuesta:

Premisa universal: Nairo Quintana es ciclista colombiano.

Premisa particular: Nairo Quintana no puede ser campen y ocupar el segundo lugar al

mismo tiempo en el pdium del Tour de Francia.

Conclusin: Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo

en el pdium del Tour de Francia.

Representados en el diagrama de ven:

 15

CONCLUCIONES

Gracias a la conceptualizacin acerca de la lgica proposicional y a la lectura y retroalimentacin echa

por el estudiante en pginas web y referencias dadas por la UNAD para lograr una total claridad de

dicha conceptualizacin, pudimos realizar el problema de tablas de verdad del ANEXO 1 punto No. 4

y el punto No. 5 de la situacin problemtica de silogismos, y con esto tambin logramos conseguir

mayor claridad sobre el tema Tablas de verdad y Silogismos y con esto lograr una alimentacin

significativa y exponencial acerca de los saberes matemticos.

 16
BIBLIOGRAFIAS

Tomado de: https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestas-

disyuncion-conjuncion-negacion-condicional-bicondicional/

Tomado de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

docID=11013570&ppg=30