LGICA PROPOSICIONAL

CONECTORES LGICOS

PROPOSICIONES
RECUERDA
TABLAS DE VERDAD
ACTIVIDADES PARA AUTOEVALUARTE
 PROPOSICIONES

UNA PROPOSICIN ES UNA ORACIN DECLARATIVA QUE ES CORRECTA O FALSA, PERO NO AMBAS
A LA VEZ.
EL REA DE LA LGICA QUE TRATA LAS PROPOSICIONES SE LLAMA CLCULO PROPOSICIONAL O
LGICA PROPOSICIONAL.
SON PROPOSICIONES: LLUEVE.
HOY ES VIERNES.
NO SON PROPOSICIONES
LLUVIA.
EL RELOJ DE ORO.
 RECUERDA
Cada proposicin se representa con una letra
minscula p, q, r, s, ...
Para unir proposiciones utilizamos CONECTORES
LGICOS (Y, O, SI ... ENTONCES, SI Y SOLO SI).
Cada conector lgico tiene una TABLA DE VERDAD.
Esta Tabla de Verdad nos indica el valor de verdad de
la proposicin compuesta, de acuerdo al valor de
verdad de cada proposicin individual.
Volver al men principal.
 TABLAS DE VERDAD
CONECTIVA AND CONECTIVA OR CONECTIVA SI ENTONCES
p q pq p q pvq p q pq
V V V V V V V V V
V F F V F V V F F
F V F F V V F V V
F F F F F F F F V

CONECTIVA SI Y SLO SI CONECTIVA NEGACIN

p q pq p pq
V V V V V
V F F F F
F V F
F F V
 AUTOEVALUACIN

Completa la tabla
Conectiva Smbolo Ejemplo lenguaje natural Forma simblica

Conjuncin

Disyuncin inclusiva

Disyuncin exclusiva

Condicional

Bicondicional

Negacin
Simboliza las siguientes proposiciones compuestas:
La heladera no enfra.
Si Jos no estudia perder el examen.
No me gusta el helado y no me gusta el yogurt.
O camino o corro.
Jos salva el examen si y solo si estudia.

Traduce de la forma simblica al lenguaje comn.

P: est lloviendo q: hay viento
pvq
Pq
Pq
Pq
-p q
 .

Se debe tener cuidado

cuando se realiza la
negacin de un enunciado Une cada proposicin con su formalizacin
compuesto. p: le el libro q: vi la pelcula
Para comprender mejor No le el libro pero vi la pelcula -(p q)
esto realiza el siguiente No le el libro y no vi la pelcula Pq
ejercicio y comprueba los No es cierto que viese la pelcula y leyese el libro P -q
resultados realizando las Le el libro aunque no vi la pelcula -p q
Tablas de Verdad de cada Le el libro y vi la pelcula -p -q
uno.