Lógica proposicional

Una proposición es una afirmación a la que solo se le puede asignar 2 valores: verdadero o
falso, y no ambos a la vez.

Ejemplo:

a) “4” es un número par: Verdadero.

b) El perfume huele bien: No es una proposición al ser subjetivo.

Para nombrar las proposiciones se usa convencionalmente las letras: P, Q, R…

El valor de las proposiciones compuestas depende únicamente de los valores de las

proposiciones que la componen y los conectivos que contengan.

Conectivos:

1) Conjunción: “∧”, el cual se interpreta como “y”.

2) Disyunción: “∨”, el cual se interpreta como “o”.
3) Implicación: “⇒”, el cual se interpreta como “entonces”.
4) Equivalencia: “⇔”, el cual se interpreta como “equivalente” o “si y solo si”).

Tablas de verdad:

P Q P∧Q P∨Q P⇒Q P⇔Q

V V V V V V
V F F V F F
F V F V V F
F F F F V V

Tautología: Proposiciones compuestas que son siempre verdad, independiente de los valores de
las proposiciones que la componen.

Contradicción: Proposiciones compuestas que son siempre falsas, independiente de los valores
de las proposiciones que la componen.

Tautologías fundamentales:

a) Conmutatividad: ( P ∧Q)⇔(Q ∧ P)
( P ∨Q)⇔(Q ∨ P)
( P ⇔Q)⇔( Q⇔ P)

b) Asociatividad: P ∨(Q ∨ R) ⇔( P∨ Q)∨ R

P ∧(Q ∧ R) ⇔( P∧ Q)∧ R
 c) Distributividad: P ∨(Q ∧ R)⇔(P∨ Q)∧( P ∨ R)
P ∧(Q ∨ R)⇔(P∧ Q)∨( P ∧ R)

d) Leyes de Morgan: ( P ∨Q ) ⇔ P ∧Q
( P ∧Q ) ⇔ P ∨Q

e) Idempotencia: P ∨ P ⇔ P
P∧P⇔P

f) Transitividad: [ ( P ⇒Q ) ∧ ( Q⇒ R ) ] ⇒ P ⇒ R
[ ( P ⇔Q ) ∧ ( Q ⇔ R ) ] ⇒ P ⇔ R
g) Absorción: [ P ∨ ( P∧ Q ) ] ⇔ P
[ P ∧ ( P∨ Q ) ] ⇔ P
h) Proposición de negación: P ⇔ Ṕ
( P ⇒Q ) ⇔ ( P ∧Q )
( P ⇒Q ) ⇔ ( Q ⇒ P )

Ejercicio:

I. Diga si las siguientes proposiciones son una tautología:

1. [ P ∧ ( Q∨ R ) ] ⇒ [ ( P ∧Q ) ∨ R ]
P Q R [P ∧ (Q∨R)] ⇒ [(P∧Q) ∨ R]
V V V V V V V V V V
V V F V V V V V V F
V F V V V V V F V V
V F F V F F V F F F
F V V F F V V F V V
F V F F F V V F F F
F F V F F V V F V V
F F F F F F V F F F
 2. [ P ∧ ( Q∨ R ) ] ⇔ [ ( P∧ Q ) ⇒ R ]

P Q R [P ∧ (Q∨R)] ⇔ ⦋( P ∧Q ¿ ⇒ R]
V V V V V V V F V V
V V F V V V V F V F
V F V V V V V V V V
V F F V F F V V F F
F V V F F V F V V V
F V F F F V V V F F
F F V F F V F V V V
F F F F F F V V F F

II. Considere las siguientes proposiciones matemáticas:

 Si x <2, entonces √ x−2 no está definida en x ∈ R.

 x 2< 1 si se sabe que 0<x <1, x ∈ R.

Identifique el antecedente (hipótesis) P y consecuente (tesis) Q de cada una de las

proposiciones.

Cuantificadores: Llamaremos función proposicional a una expresión que contiene una variable x ,
que al ser sustituido por elementos de un universo U , da una origen a una
proposición que puede ser verdadera o falsa. Su anotación general es: P ( x ) ; x ∈ U .

Ejemplo: P ( x ) : x es un número par

P ( 2 ) ; U ∈ N , por lo tanto, la proposición es verdadera.

Cuantificadores existenciales:

∃= Existe, ∃ x :P (x)→Existe al menos un elemento en x que satisface P( x ).