You are on page 1of 40

CCAV Eje Cafetero/Zona/ Occidente

PRIMERA WEBCONFERENCE
CURSO 200611_PENSAMIENTO LGICO Y MATEMTICO

Director de Curso:
OSCAR JHONNY GMEZ SUREZ

Temtica:
LGICA PROPOSICIONAL

SBADO 21 DE MARZO DE 2015


CCAV Eje Cafetero/Zona/ Occidente

Los proceso lgicos y los


procesos matemticos
permiten que los seres
humanos adquieran
habilidades y destrezas
para aplicar de manera
sistemtica y organizada
pasos o fases para plantear
soluciones a situaciones
problmicas del mundo
real y cotidiano.
CCAV Eje Cafetero/Zona/ Occidente
PROPOSICIONES Y
TABLAS DE VERDAD
Es un enunciado al cual se le puede asociar el concepto de
verdadero o falso, pero no ambos.

Ejemplos:
La luna es cuadrada
7 es un nmero primo
Las araas son mamferos
En el caso de aquellos enunciados que no es posible determinar su
valor de verdad, es decir, poder demostrar claramente si son
verdaderos o falsos, se dice entonces que estos ennciados NO SON
PROPOSICIONES.

En este caso se tienen las exclamaciones, los interrogantes, las frases


imperativas, y expresiones con valores indeterminados. Ejemplos:

EXCELENTE APRENDER MATEMTICAS!

QUIEN FUE EL QUE DIJO QUE LAS MATEMTICAS SON EXACTAS?

LEVNTA LA MIRADA AL XITO.


Existen dos clases de proposiciones:
Proposiciones simples o atmicas (no usan operadores lgicos)
Proposiciones compuestas o moleculares (si usan conectivos u operadores
lgicos)

Ejemplos:
Juan juega en el patio (proposicin simple)
Juan juega en el patio y Carlos en el Jardn (proposicin
compuesta)
Llamados tambin operadores lgicos, son palabras que
sirven para enlazar proposiciones simples o cambiar el
valor de verdad de una proposicin.
Los conectivos son:

no; y; o; si entonces; s y slo s.


Recordemos que el valor de certeza de una
proposicin compuesta depende de los valores de
certeza de las proposiciones simples que la
componen
Para analizar los valores de certeza de una
proposicin compuesta, representamos todas las
posibilidades de valores de verdad de las
proposiciones simples, en un arreglo de tabla
Se llama negacin de una proposicin p cuando cambiamos su
valor de verdad; es decr si p es verdadero, entonces al negar
p, o sea, no p, pasa a ser falso.

La simbologa puede ser de dos maneras: p, ~p


p p
V F
F V
Se llama conjuncin de las proposiciones p y q a la proposicin
p y q. Se denota por p q.

La proposicin p q es verdadera slo si p y q son


verdaderas. Es falsa si al menos una de ellas es falsa.
p q p q

V V V
V F F
F V F
F F F
Se toman como sinnimos de la conjuncin:

Adems Tambin
Pero An
Sin embargo A la vez
Aunque No obstante
Luis estudia, adems de trabajar
Luis estudi pero no aprob
Luis canta, sin embargo no baila
Luis jug futbol aunque estaba lesionado
Luis juega futbol, tambin Jos
Luis sali, an no llega
Luis cocina a la vez que canta
Luis viajar no obstante est sin visa
Luis canta, no baila.
Conjuncin: p ^ q

No siempre y denota una conjuncin


Ejemplo:

Silvia y Nelly son hermanas

Esta es una proposicin (simple), en donde el y


permite establecer la relacin entre los
sujetos.
Se llama disyuncin de las proposiciones p y q a la
proposicin p q. Se denota por p v q.

La proposicin p v q es verdadera slo si al menos una de las


proposiciones p q es verdadera y es falsa si ambas son
falsas.
p q pvq
V V V
V F V
F V V
F F F
Se llama condicional de las proposiciones p y q a
la proposicin Si p, entonces q. La primera
proposicin se llama antecedente y la segunda
p q pq
consecuente. V V V
Se denota por p q y se lee: si p entonces q
p es condicin suficiente para q q es V F F
condicin necesaria para p.
La proposicin p q es falsa solamente si p es F V V
verdadera y q es falsa y es verdadera en
cualquier otro caso. F F V
Se llama bicondicional de las proposiciones p y q a la proposicin p si y slo si q
p es condicin necesaria y suficiente para q y se denota por p q.
La proposicin p q es verdadera si ambas p y q son verdaderas o falsas y, es
falsa en otro caso.

p q pq
V V V
V F F
F V F
F F V
LGEBRA PROPOSICIONAL
2n
donde n representa el
nmero de proposiciones
simples.
TAUTOLOGA
CONTRADICCIN
CONTINGENCIA
CCAV Eje Cafetero/Zona/ Occidente