LÓGICA PROPOSICIONAL

Es una expresión enunciativa a la

que puede atribuirse un sentido o
función lógica de verdad o falsedad.
 Proposiciones Una proposición o enunciado es
y operaciones una oración que puede ser falsa o
lógicas. verdadera pero no ambas a la vez.

VARIABLES: Son los

símbolos que
sustituyen las
preposiciones o
Ejemplos: enunciados.
p: La tierra es plana.
q: −17 + 38 = 21
r: x > -9y
s: El Tauro será campeón en la CONSTANTES: Son
presente temporada de Futbol. las partículas de
t: Hola ¿como estas? significado no
w: Lava el coche por favor. variable.
 CONECTIVOS LÓGICOS Y JERARQUÍAS

Conjunción () Disyunción ()

Negación ()

Dos expresiones y
Se utiliza para que afirman que
conectar dos una de las dos es
Consiste en
proposiciones verdadera, por lo
cambiar el valor
que se deben que basta con que
de verdad de una
cumplir para que una de ellas sea
variable
se pueda obtener verdadera para
proposicional.
un resultado que la expresión p
verdadero. ∨ q sea verdadera.
Condicional () Disyunción
Bicondicional ()
exclusiva

La proposición La proposición
La proposición molecular será molecular será
molecular será verdadera verdadera solo
verdadera cuando cuando ambas cuando una de las
se cumpla si es variables variables
verdadero A proposicionales proporcionales sea
entonces lo es B. tengan el mis verdadera, pero no
valor de verdad. las dos.
 TABLA DE VERDAD

P Q P PQ PQ PQ PQ PQ

V V F V V V V F

V F F F V F F V

F V V F V V F V

F F V F F V V F
 NOMBRES DE LAS MATRICES

TAUTOLOGÍA

CONTINGENCIA

FALSA