MOMENTO INTERMEDIO PASO 2

USO DE LAS TABLAS DE VERDAD

Grupo:
200611_266

Integrantes:
LISETTE KARINA RINCN LLANO
Cdigo: 1095795215

Tutor de curso
DELFINA REYES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA DE INGENIERIA INDUSTRIAL
PENSAMIENTO LOGICO MATEMATICO
Abril, 11 de 2017
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9

OBJETIVO GENERAL

Conceptualizar, analizar y argumentar de forma adecuada los procedimientos desde la lgica

proposicional utilizados para demostrar la veracidad y validez de situaciones especficas y as verificar si
la tabla de verdad generada es una tautologa, contradiccin o contingencia

OBJETIVOS ESPECIFICOS

Identificar las clases de proposiciones y sus caractersticas, los diferentes conectores lgicos y sus
respectivas representaciones en las tablas de verdad.

Analizar situaciones problemicas y resolverlas utilizando el algebra proposicional y aplicar en la

tabla de verdad para establecer su valor de verdad o falsedad.

Determinar de acuerdo a la tabla de verdad si algunas situaciones del mundo real son una
tautologa, contradiccin o contingencia segn sea el caso.

Representar grficamente a travs de los Diagramas de Venn un enunciado conocido como

silogismo.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9

INTRODUCCION

Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y conocidos de la lgica
formal, pero al mismo tiempo tambin uno de los ms poderosos y claros. Entender bien las tablas de
verdad es, en gran medida, entender bien a la lgica formal misma.

Con esta actividad podemos aprender y analizar las clases de proposiciones y entender su veracidad o
falsedad segn sea el caso a travs de conectores lgicos donde nos llevan a una tabla de verdad, el cual
podemos clasificar si es una tautologa, contradiccin o contingencia, adicional aprenderemos a
representar grficamente enunciados de silogismos a travs de los diagramas de Venn.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9

PRIMERA ETAPA:

CONCEPTO DE PROPOSICIN LGICA. PROPOSICIONES SIMPLES Y COMPUESTAS

Una proposicin lgica es una afirmacin o enunciado que es verdadero o falso, pero no ambas cosas a la
vez.

Por convencin las proposiciones lgicas se escriben con las letras p, q, r,... etc.

LAS PROPOSICIONES LGICAS PUEDEN SER SIMPLES O COMPUESTAS.

PROPOSICIONES SIMPLES: tambin denominadas proposiciones atmicas. Son aquellas que carecen
totalmente de conectivos lgicos y que, por lo tanto, son inseparables.

Ejemplos:

1. Caracas es la capital de Venezuela.

2. El 9 y el 27 son factores del 81.

3. La Tierra es plana.

PROPOSICIONES COMPUESTAS: tambin denominadas moleculares Son aquellas que resultan de la

combinacin de varias proposiciones simples, unidas por uno o ms conectivos lgicos y que pueden ser
separadas y descompuestas en proposiciones ms simples.

Ejemplos:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9
1. Juan Prez es profesor y Caracas es la capital de Venezuela. (Conjucin)

2. Si salgo tarde, entonces no visitare a la abuela. (Implicacin)

3. El acusado No dice la verdad. (Negaci

CONECTIVOS LOGICOS

NEGACIN: La negacin de cualquier proposicin p ser falsa cuando se niegue una proposicin
verdadera y ser verdadera cuando se niegue una proposicin falsa.

Se escribe ~p
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9

CONJUNCIN: si p y q, representan dos proposiciones simples, entonces la proposicin compuesta p

q, solo ser verdadera cuando las dos proposiciones lo sean.

Se escribe p q
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9
DISYUNCIN: Dadas dos preposiciones p y q, la disyuncin de p y q, es verdadera cuando al
menos p o p son verdaderas y falsa en caso de que ambas los sean.

Se escribe p V q

IMPLICACIN: Dadas dos preposiciones p y q, la implicacin de p y q, solo es falsa cuando p (el

antecedente) es verdadero y q (el consecuente) es falso.

Se escribe p q
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9
BICONDICIONAL: si p y q representan dos proposiciones simples, la equivalencia de p y q, solo ser
verdadera cuando ambas proposiciones tengan el mismo valor de verdad.

Se escribe p q

SEGUNDA ETAPA:

SITUACION PROBLMICA DE LA LGICA PROPOSICIONAL FASE INDIVIDUAL

1. Anglica se levant el lunes como lo hace siempre a las 5:30 am para alistarse e irse a trabajar;
pero ese lunes la nostalgia se apoder de ella y sumndole la predisposicin que suele dar el
comenzar la semana de trabajo. Pero ella al mirarse al espejo minutos antes de salir de su casa
hizo la siguiente reflexin: tengo calidad de vida y poseo una buena salud. Tengo calidad de vida
y poseo un excelente empleo. Es que en realidad poseo una excelente salud y el trabajo que poseo
es excelente. Por consiguiente poseo una calidad de vida.
Analiza a travs de las tablas de verdad si es correcta la reflexin que hace Anglica,
determinando si es tautologa o contradiccin o contingencia.

RESOLUCION DEL PROBLEMA

DECLARACIN DE LAS PREPOSICIONES COMPUESTAS POR MEDIO DEL LENGUAJE

NATURAL

tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo un excelente
empleo. Es que en realidad poseo una excelente salud y el trabajo que poseo es excelente. Por
consiguiente poseo una calidad de vida
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9
DECLARACIN DE LAS PREPOSICIONES COMPUESTAS POR MEDIO DEL LENGUAJE
LOGICO

Tengo calidad de vida y poseo una buena salud.

Tengo calidad de vida y poseo un excelente empleo.

Poseo una excelente salud y el trabajo que poseo es excelente.

Por consiguiente poseo una calidad de vida.

DEFINICION DE LAS PROPOSICIONES SIMPLES

p: Tengo calidad de vida

q: Poseo una buena salud

r: El trabajo que poseo es excelente

LA PREPOSICION COMPUESTA SERIA:

{(pq)(pr)(qr)}p

EN LA TABLA DE VERDAD QUEDARIA ASI:

p q r (p q) (p r) (q r) {(pq)(pr)(qr) {(pq)(pr)(qr)}p
}

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

EN LA COMPROBACION DE LA TABLA DE VERDAD CON EL SIMULADOR TRUTH

QUEDA:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9

La tabla de verdad es una TAUTOLOGIA: Si la tabla de verdad de la proposicin es siempre verdadera,

independientemente de la verdad o falsedad de las proposiciones simples, entonces la expresin
es tautolgica.

TERCERA ETAPA:

ENUNCIADO DENOMINADO SILOGISMOS FASE INDIVIDUAL

1. Algunos cursos del rea de Matemticas son obligatorios de los programas de Ingeniera en la UNAD.
Todos los cursos de tres (3) crditos son cursos obligatorios de los programas de Ingenieras en la UNAD.
Algunos cursos de tres (3) crditos no son cursos del rea de Matemticas.

PLANTEAMIENTOS:

Premisa 1: Algunos cursos del rea de Matemticas son obligatorios.

Premisa 2: Todos los cursos de tres (3) crditos son cursos obligatorios.
Premisa 3: Algunos cursos de tres (3) crditos no son cursos del rea de Matemticas.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9
Curso (3) crditos
rea Matemticas

Obligatorios
Obligatorios

Curso (3) crditos

rea Matemticas

rea Matemticas
Curso (3) crditos

Obligatorios
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9

CONCLUSION

Despus de la realizacin de esta actividad podemos comprender como la aplicacin de la lgica a travs
de tablas de verdad nos ayuda a obtener la verdad o falsedad, de una expresin o de una situacin de la
vida real, a travs de un anlisis e interpretacin de los conectores lgicos que pasan del lenguaje natural
que nosotros llevamos en nuestras vidas a un lenguaje lgico por lo que nos lleva a un razonamiento para
la toma de decisiones en cualquier aspecto que nos suceda.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO MATEMATICO
200611_266
9

BIBLIOGRAFIA

Villalpando Becerra, J. ( 2016). Lgica y clculo Proposicional. Bogot, Colombia: UNAD.

Recuperado de: http://hdl.handle.net/10596/6551

Ecured.cu. (2017). Preposicin lgica - EcuRed. [online] Available at:

https://www.ecured.cu/Preposici%C3%B3n_l%C3%B3gica [Accessed 11 Apr. 2017].

Universidad Nacional Abierta y a Distancia (UNAD), Unidad 2- lgica proporcional

consultada en:

Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado

dehttp://erenriquez.net/largoty/Ova01MD/

Moscote, H. (2016) Aplicacin de las tablas de verdad en el lgebra de

proposiciones. Recuperado de http://hdl.handle.net/10596/7961