LÓGICA PROPOSICIONAL

Proposición lógica es todo enunciado que puede ser calificado como verdadero (V) o falso (F) sin ambigüedad.

Notación:
Las proposiciones lógicas se denotan por:
.
p, q, r, s, t, ………
p1, p2, p3, p4,……………p(n)

Ejemplos:
- P: Lima es la capital de Perú…………………….(V)
- q: 7+5 >13……………………………………………(F)

Los enunciados que expresan una exclamación, una pregunta o una orden, no son proposiciones lógicas.
a) Dónde vives?
b) ¡Arriba el Perú!

En los enunciados anteriores, observamos que no es posible indicar si son verdaderos o falsos
Valor de verdad:
Es el calificativo que se le da a una proposición lógica según sea
verdadera (V) o falsa (F), entonces cada proposición lógica tiene un solo
valor de verdad o es verdadera o falsa.

Tabla de verdad.
P Q P ^ Q

P V V V V V
V F V F F
V
F V F F V
F F F F F F
 OPERACIONES CON PROPOSICIONES
LÓGICAS
Son símbolos que enlazan proposiciones simples, sin formar parte de ellas.

Clases de conectivos lógicos:

.
1) LA NEGACIÓN: Dada una proposición p se puede formar otra
proposición que se llama la negación de p.

Se simboliza: ~p Se lee “no p” , “no es cierto que p”

Ejemplo:
P: Lima es la capital de Perú
~p: Lima no es la capital de Perú
2) LA CONJUNCIÓN: Dos proposiciones p y q se pueden unir por medio de
la letra “y” para formar una proposición compuesta llamada conjunción.

Si p es verdadera y q es verdadera la conjunción es verdadera, en cualquier

otro caso es falso.

Se simboliza: pɅq Se lee “p y q”

Ejemplo:
P: Lima es la capital de Perú
~p: Lima no es la capital de Perú
Tabla de verdad

p q p Ʌ q

v v v v v

v f v f f

f v f f v

f f f f f
Ejemplo
1
p q r (~p Ʌ r) Ʌ ~q

v v v f f v f f

v v f f f f f f

v f v f f v f v

v f f f f f f v

f v v v v v f f

f v f v f f f f

f f v v v v v v

f f f v f f f v
Ejemplo
2
p q r ~ (p Ʌ r) Ʌ q

v v v f v v v f v

v v f v v f f v v

v f v v v f v f f

v f f v v f f f f

f v v v f f v v v

f v f v f f f v v

f f v v f f v f f

f f f v f f f f f
Ejemplo 3

p q r (p Ʌ ~r) Ʌ (~r Ʌ q)

v v v v f f f f f v

v v f v v v v v v v

v f v v f f f f f f

v f f v v v f v f f

f v v f f f f f f v

f v f f f v f v v v

f f v f f f f f f f

f f f f f v f v f f
3) Disyunción inclusiva: Dos proposiciones cualesquiera p y q se pueden
unir por medio de la letra “o”.

Si al menos una de las proposiciones “p” o “q” es verdadera la

disyunción resultara ser verdadera.

Se simboliza: p˅q Se lee “p o q”

Ejemplo:
P: Lima está en España o está en Italia.
Tabla de verdad

p q p ˅ q

v v v v v

v f v v f

f v f v v

f f f f f
Ejemplo 1

p q r (p Ʌ ~r) ˅ (~r ˅ q)

v v v v f f v f v v

v v f v v v v v v v

v f v v f f f f f f

v f f v v v v v v f

f v v f f f v f v v

f v f f f v v v v v

f f v f f f f f f f

f f f f f v v v v f
Ejemplo
2
p q r ~ (p ˅ r) ˅ q

v v v f v v v v v

v v f f v v f v v

v f v f v v v f f

v f f f v v f f f

f v v f f v v v v

f v f v f f f v v

f f v f f v v v f

f f f v f f f v f
4) Condicional: Dadas dos proposiciones cualesquiera p y q se puede
formar la proposición compuesta “si p entonces q” llamada condicional,
p es el antecedente y q el consecuente.
La condicional es verdadera salvo que “p” sea verdadera y “q” falsa,
en cuyo caso será falsa

Se simboliza: p → q Se lee “p entonces q”, “p implica q”

Ejemplo:

P: Lima está en España entonces 2+2=4, es falso

Tabla de verdad

p q p → q

v v v v v

v f v f f

f v f v v

f f f v f
Ejemplo 1
p q r ~ (p ˅ r) → q

v v v f v v v v v

v v f f v v f v v

v f v f v v v v f

v f f f v v f v f

f v v f f v v v v

f v f v f f f v v

f f v f f v v v f

f f f v f f f f f
Ejemplo 2
p q r ~ (p → r) → q

v v v f v v v v v

v v f v v f f v v

v f v f v v v v f

v f f v v f f f f

f v v f f v v v v

f v f f f v f v v

f f v f f v v v f

f f f f f v f v f
5) Bicondicional: Dadas dos proposiciones cualesquiera “p” y “q” se
puede formar la proposición compuesta “p si y solo si q”, llamada
bicondicional.

La bicondicional es verdadera cuando “p” y “q” tienen el mismo

valor de verdad es decir, si p y q tienen valores opuestos, la
bicondicional es falsa
Se simboliza: p ↔ q Se lee “p si y solo si q”, “p si y solamente si q”

Ejemplo:
P: Lima está en España si y solo si 2+2=4, es falsa.
Tabla de verdad

p q p ↔ q

v v v v v

v f v f f

f v f f v

f f f v f
Ejemplo 1
p q r ~ (p ↔ r) ↔ q

v v v f v v v f v

v v f v v f f v v

v f v f v v v v f

v f f v v f f f f

f v v v f f v v v

f v f f f v f f v

f f v v f f v f f

f f f f f v f v f
Evaluación de proposiciones compuestas
La evaluación de proposiciones compuestas consiste en hallar los valores del
operador principal a partir de la validez de cada una de las proposiciones.

Tipos:

1) Tautología: Todas las proposiciones son verdaderas.

2) Contradicción: Todas las proposiciones son falsas.
3) Contingencia: Existen proposiciones verdaderas y falsas.
Leyes del algebra
proposicional
Ejemplos:

p q (p ↔ q) Ʌ (p → q)

v v v v v v v v v

v f v f f f v f f

f v f f v f f v v

f f f v f v f v f
Ejemplos:

p q (p ˅ q) → p

v v v v v v v

v f v v f v v

f v f v v f f

f f f f f v f