Documente Academic
Documente Profesional
Documente Cultură
Grupo:
200611_266
Integrantes:
LISETTE KARINA RINCN LLANO
Cdigo: 1095795215
Tutor de curso
DELFINA REYES
OBJETIVO GENERAL
OBJETIVOS ESPECIFICOS
Identificar las clases de proposiciones y sus caractersticas, los diferentes conectores lgicos y sus
respectivas representaciones en las tablas de verdad.
Determinar de acuerdo a la tabla de verdad si algunas situaciones del mundo real son una
tautologa, contradiccin o contingencia segn sea el caso.
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:
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.
PROPOSICIONES SIMPLES: tambin denominadas proposiciones atmicas. Son aquellas que carecen
totalmente de conectivos lgicos y que, por lo tanto, son inseparables.
Ejemplos:
3. La Tierra es plana.
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)
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
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
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:
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.
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
{(pq)(pr)(qr)}p
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
TERCERA ETAPA:
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:
Obligatorios
Obligatorios
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