Universidad Nacional Abierta y a Distancia (UNAD)

Paso 2 Uso de las Tablas de Verdad

Pensamiento Lgico y Matemtico

Presentado por:

Lina Tobito

Grupo200611_216

Presentado a:

Ingeniero: lvaro Javier Rojas

Tutor

Cead Duitama

Abril 2016

1
 Objetivos

Conceptualizar la Lgica Proposicional y establecer la respetiva clasificacin de

las proposiciones y sus caractersticas.

Identificar los diferentes conectores lgicos y sus respectivas representaciones

en las tablas de verdad.

Interpretar un enunciado de una situacin problmica del mundo real y

representarla a travs del lgebra proposicional y establecer su valor de verdad,

clasificndola en tautologa, contradiccin o contingencia segn sea el caso.

Conceptualizar las proposiciones categricas como enunciados que representan

un evento o suceso de manera universal o particular.

Representar grficamente a travs de los Diagramas de Venn un enunciado

conocido como silogismo.

2
 Introduccin

El presente trabajo se refiere al tema de la lgica matemtica desde Lgica Proposicional,

y los subtemas que esta abarca.

Este trabajo busca como primera base tener claras las ideas de la lgica preposicional

y sus categoras, trata sobre preposiciones universales afirmativas, negativas, y

particulares afirmativas negativas.

Aprender el conocimiento y manejo de la tabla de verdad, y el diagrama de venn desde

el silogismo.

Para analizar un tema tan completo como es la lgica preposicional, debemos tener

claros sus conceptos.

3
 Conceptualizacin

Cuantificadores y proposiciones categricas.

Los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de elementos

de un conjunto dado cumplen con cierta propiedad.

Cuantificador universal ( )

Cuantificador existencial ( )

El smbolo (para todo) se denomina cuantificador universal, y el smbolo (existe al

menos un) se denomina cuantificador existencial.

EJEMPLO:

UNIVERSAL ( ) PARA TODO

(x =1) / ( x + 4 = 4 + x ) significa que todo "x" verifica la ecuacin

Esta expresin se lee de la siguiente manera para todo x =1 se verifica

Que x + 4 = 4 + x".

EJEMPLO:

EXISTENCIAL ( )

Sea A= {1,2,3,4,5} Determine el valor de verdad de cada uno de los enunciados

siguientes:

4
a) ( x A)(x+3=10)

Sol: es falso porque ningn nmero de A es una solucin de x+3=10.

b) ( x A)(x+3<10)

Sol: es Verdadero. Cualquier nmero de A cumple que x+3<10

Proposiciones categricas

El estudio clsico o aristotlico de la deduccin est centrado en argumentos que

Contienen solamente proposiciones de un tipo especial, llamadas proposiciones

Categricas.

El tipo especial se refiere a que las proposiciones pueden ser

Proposicin categrica

Universal negativa

Universal afirmativa

Particular afirmativa

Particular negativa

EJEMPLOS:

5
Universal afirmativa (Todos los humanos son mortales).

"Todos los humanos aman"

Universal negativa (Ningn humano es mortal).

"Ningn humano es autosuficiente"

Particular afirmativa (Algunos planetas giran alrededor del Sol).

"Algunos humanos aman"

Particular negativa (Algunos planetas no giran alrededor del Sol).

"Algunos humanos no ama

6
 FASE INDIVIDUAL TABLA DE VERDAD

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.

p: calidad de vida

q: poseo buena salud

r: poseo buen empleo

Basando la expresin de anglica y haciendo el anlisis de su reflexin tenemos que.

Si tengo calidad de vida entonces poseo buen empleo y si poseo buena salud, entonces

poseo buen empleo, entonces si tengo calidad y poseo buena salud entonces

p q r p r qr pq (pq) (pr)(qr) [(pr)(qr)][(pq)r]

7
v v v v v v V v

v v f f f v f F v

v f v v v f v V v

v f f f v f v F v

f v v v v f v V v

f v f v f f v F v

f f v v v f v V v

f f f v v f v V v

Pantallazo

8
TAUTOLOGIA: Es una frmula siempre vlida, sean cuales sean los valores de verdad

de las proposiciones que la integran.

Diagrama de Venn

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.

(SILOGISMO)

* Particular afirmativa (Algunos planetas giran alrededor del Sol).

ALGUNOS CURSOS DEL AREA DE MATEMATICAS PERTENECEN AL PROGRAMA

DE INGENIERIA.

9
 FASE COLABORATIVA

Para todos es preocupante la situacin econmica actual que vivimos y que

infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia reflexiona
acerca de su proceder con su propia economa y su esposo reflexiona lo siguiente:
Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en
otra universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella
se desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra
mucho dinero. Por consiguiente, mi esposa ahorra mucho dinero. Es claro lo que
expresa el esposo de Clemencia? Para dar la respuesta es necesario elaborar la tabla
de verdad de lo que comenta el esposo de Clemencia, si es tautologa es afirmativo el
comentario, si da contradiccin hay falsedad en lo expresado, y si da contingencia, es
porqu hace falta informacin para tener asertividad del comentario hecho.

Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en

otra universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella

10
se desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra

mucho dinero. Por consiguiente, mi esposa ahorra mucho dinero

P=Clemencia mi esposa escribe su lista de gastos

q=ella consigue un trabajo alterno en otra universidad

r=Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda

s=ella se desplaza caminando

t=ella ahorra mucho dinero

DESARROLLO

{(p^q) ^ (rVs) (pq)} t

11
12
 DESARROLLO SIMULADOR

como se evidencia es de categora: Tautologia

13
 Conclusiones

1. En esta actividad interacte con las clases de las preposiciones categricas y los

cuantificadores, que existe entre universal y existencial. El manejo del diagrama de venn,

la importancia que tiene la tabla de verdad, y sus preposiciones compuestas.

2. El estudio de este caso nos ha permitido ampliar el conocimiento profundizar en la

conceptualizacin conocer las terminologas de la lgica matemtica y las leyes la forma

de resolver problemas con ejercicios planteados en el contexto de la realidad.

14
 Bibliografa

Introduccin a la lgica

miguez , n. a. (1995). introduccion a la logica . Buenos Aires, Argentina : Editorial

Universitaria de Buenos Aires .

https://cienciaenlautn.files.wordpress.com/2012/09/copi_proposiciones_categoric

as.pd

Cualificadores

jimenez, j. c. (enero 2012). algebra superiror.

https://intranet.matematicas.uady.mx/enlinea_ene12/courses/ALGEBRASUPERI

ORI/document/Unidad1/2_ASIs6_cuantificadores.pdf?cidReq=ALGEBRASUPERI

ORI

15
16