CCAV Eje Cafetero/Zona/ Occidente

PRIMERA WEBCONFERENCE
CURSO 200611_PENSAMIENTO LGICO Y MATEMTICO

Director de Curso:
OSCAR JHONNY GMEZ SUREZ

Temtica:
LGICA PROPOSICIONAL

JUEVES 31 DE MARZO DE 2016

CCAV Eje Cafetero/Zona/ Occidente

PROPOSICIONES Y
TABLAS DE VERDAD

Es un enunciado al cual se le puede asociar el concepto

verdadero o falso, pero no ambos.
Ejemplos:
La luna es cuadrada

7 es un nmero primo
Las araas son mamferos

de

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 enunciados 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
V
F

p
F
V

p, ~p

~
~

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
V
V
F
F

q
V
F
V
F

V
F
F
F

Se toman como sinnimos de la conjuncin:

Adems
Pero
Sin embargo
Aunque

Tambin
An
A la vez
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
V
V
F
F

q
V
F
V
F

pvq
V
V
V
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
consecuente.
Se denota por p q y se lee: si p entonces q
p es condicin suficiente para q q es
condicin necesaria para p.
La proposicin p q es falsa solamente si p es
verdadera y q es falsa y es verdadera en
cualquier otro caso.

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
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
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

LGEBRA PROPOSICIONAL

2n

donde n representa el
nmero de proposiciones
simples.

TAUTOLOGA

CONTRADICCIN

CONTINGENCIA

CCAV Eje Cafetero/Zona/ Occidente