LÓGICA PROPOSICIONAL

La lógica proposicional o también

llamada lógica matemática estudia las
proposiciones.
Una proposición es un enunciado
declarativo que tienen la propiedad de
ser verdadero o falso; pero no ambas al
mismo tiempo
Valor de verdad de una proposición

El valor de verdad de una

proposición, es la cualidad de
veracidad que describe
adecuadamente la proposición. Esta
puede ser, verdadera (V ó 1) o
falsa (F ó 0)
Tabla de verdad

Una tabla de verdad, es la representación

de los posibles valores de verdad que
podría tomar una proposición.

Las tablas de verdad sirven para mostrar

los valores, las relaciones y los resultados
posibles al realizar operaciones lógicas.
PROPOSICIONES Y VALOR DE VERDAD
Las tablas de verdad son
p p q p q r representaciones gráficas,
V V V V V V en forma de arreglos, que
sirven para analizar los
F V F V V F posibles valores de verdad
F V V F V que puede tener una
21 proposición simple o
F F V F F compuesta.

22 F V V
F V F En general para “n”
proposiciones, se
F F V
pueden presentar 2n
F F F posibilidades
23
Construcción de tablas de verdad

¿Cuántas filas tiene la tabla?

– 1 proposición → 2 valores (V o F)
– 2 proposiciones → 4 valores de verdad
– 3 proposiciones → 8 valores de verdad
– .........
– n proposiciones → 2n valores de
verdad.
 TIPOS DE PROPOSICIONES

Proposición simple: Proposiciones compuestas.

• Ej. Bolivia es un país latinoamericano.

ej,. No fui al trabajo.

Fui a clase y di la prueba
el libro de mate o es blanco o es azul
Si gano el concurso, entonces trabajo
Estudio en el instituto si y solo si me esfuerzo
 Formalización Lógica

Letras p, q, r, s

Conectores ˄, ˅, →, 

Signos de ( ), [ ], { }
agrupación
 Letras

Trinidad es la capital del Beni y Cobija es la

capital de Pando

Trinidad es la capital del Beni

p
Cobija es la capital de Pando
q
 Conectores u operadores
lógicos. ?
• Principales conectores u operadores lógicos.
Negación
Conjunción
Disyunción
Condicional
Bicondicional
 OPERACIONES
PROPOSICIONALES
 NEGACIÓN.- Es un tipo de proposición compuesta en la que
se afirma que algo no existe, que no es verdad, o que no es como
alguien cree o afirma. Para negar una proposición “p” se le
antecede el conectivo no, o equivalentes a él, cuyo símbolo es
“” , Se lee no p “ p”.
Ejemplo: “Todo número elevado al cuadrado es positivo”

p
Negación: “No todo número elevado al cuadrado es positivo”

p
Nota: Cuando se niega una proposición compuesta, se niega al
operador de mayor jerarquía en dicha proposición.
Ejemplo: No es cierto que Pablo fue al banco y retiró el dinero
q r
Simbología: ( q  r )
TABLA DE VALORES DE VERDAD DE LA
NEGACIÓN

p p
V F

F V
Definición de Algunos Enunciados Compuestos
CONJUNCIÓN.- Es un enunciado compuesto en el que dos
proposiciones se relacionan con el conectivo “ y “, cuyo símbolo
es “” .

Ejemplo: “Jorge viajó a Oruro y Luis viajó a Tarija”

p q

p : Jorge viajó a Oruro

Simbología: “p  q”
q : Luis viajó a Tarija
TABLA DE VALORES DE VERDAD DE LA
CONJUNCIÓN

p q pq
V V V
V F F
F V F
F F F
La conjunción sólo es verdadera
cuando las dos proposiciones
son verdaderas.
DISYUNCIÓN.- Es un enunciado compuesto en el que dos
proposiciones se relacionan con el conectivo “ o “, cuyo símbolo
es “”.
Se llama disyunción de dos proposiciones p y q, a la proposición
se le obtiene uniéndolas por medio del conectivo “o”, se escribe
p  q y se lee “p o q” (inclusivo).
Ejemplo: “Eliana viajará a Quito o a Esmeraldas”

p q

p : Eliana viajará a Quito

Simbología: “p  q”
q : Eliana viajará a Esmeraldas
TABLA DE VALORES DE VERDAD DE LA
DISYUNCIÓN

V V V

V F V

F V V

F F F

La disyunción es falsa, sólo si

ambas proposiciones son falsas
DISYUNCIÓN EXCLUSIVA.- Se llama disyunción
exclusiva de dos proposiciones p y q, a la proposición que se
obtiene uniéndolas por medio del conectivo “o” excluyente, se
escribe “p ⊻ q” y se lee “p o q” en sentido excluyente (p o bien
q).

Ejemplo: “ Ricardo radica en Cuenca o en Muisne”

p q

p : Ricardo radica en Cuenca

q : Ricardo radica en Muisne Simbología: p ⊻q
 TABLA DE VALORES DE VERDAD DE LA
DISYUNCIÓN EXCLUSIVA

p q p⊻q
La disyunción exclusiva es verdadera,
sólo si ambas proposiciones tienen
V V F
diferentes valores de verdad
V F V
La disyunción exclusiva es falsa,
F V V sólo si ambas proposiciones tienen
idénticos valores de verdad
F F F
CONDICIONAL O IMPLICACIÓN.- Es un enunciado
compuesto en el que dos proposiciones se relacionan con el
conectivo “Si…….entonces…….”, cuyo símbolo es “→”. Se
escribe p → q llamaremos a la primera proposición (p)
antecedente y a la segunda (q) consecuente.

Ejemplo: “Si 12 es un número par entonces es divisible entre 2”

p q

p : 12 es un número par ……………….… (antecedente)

q : 12 es un número divisible entre 2 ……(consecuente)

Simbología: “p → q ”
 TABLA DE VALORES DE VERDAD DEL
CONDICIONAL

p q p→q

V V V El condicional sólo es
falso, cuando el
V F F
antecedente es verdadero y
F V V el consecuente es falso.

F F V
BICONDICIONAL O DOBLE IMPLICACIÓN.- Es un
enunciado compuesto en el que dos proposiciones p y q se
relacionan con el conectivo “…..…si y sólo si……….”, cuyo
símbolo es “↔”, se escribe “p ↔ q ” y se lee “p si y solo sí q”

Ejemplo: “Baltra es una isla si y sólo si está rodeada de agua”

p q

p : Baltra es una isla Simbología: “p ↔ q ”

q : Baltra está rodeada de agua
 TABLA DE VALORES DE VERDAD DEL
BICONDICIONAL

p q pq
El bicondicional es verdadero, sólo si
ambas proposiciones poseen idénticos
V V V valores de verdad

V F F
El bicondicional es falso, sólo si ambas
F V F
proposiciones poseen diferentes valores
V de verdad
F F
 TABLA RESUMEN
Conector Valor de Condición
verdad
 V Si ambos tienen igual valor de
verdad.
⊻ V Si tienen valores diferentes de
verdad.
→ F Si el antecedente es verdadero y
el consecuente es falso
 F Si ambos son falsos

 V Si ambos son verdaderos

~ V Si la proposición es falsa.
 Ejemplo
Si llegas después de las ocho y
media, entonces encontrarás la
puerta cerrada y no podrás entrar al
teatro.

p → (q^r)
EJERCICIOS
 Negación
Dada una proposición p, se llama negación de p a la
proposición “no p” que se representa por p

• Ejemplo : TABLA DE VERDAD

Dado p : “el hombre es “Si p es verdadera  p

es falsa; si p es falsa , p
mortal” es verdadera”
Podemos decir:
p: “no es cierto que el p p
hombre es mortal”
Lo que equivale a decir : V F
p : “el hombre no es
mortal” F V
 Conjunción
Dadas las proposiciones p y q , se llama conjunción de
p y q a la proposicion “p y q” representada por p  q

TABLA DE VERDAD
• Ejemplo :
“p  q es verdadera si p y q
Si p : “2 es mayor que son verdaderas
5” simultáneamente”
y q : “todo número p q pq
impar es primo”,
Entonces: V V V
p  q : “2 es mayor que V F F
5 y todo número F V F
impar es primo” F F F
 Disyunción
Dadas las proposiciones p y q , se llama disyunción de p y
q a la proposición “p o q” que se representa por p  q.

TABLA DE VERDAD
• Ejemplo :
Si p : “hace frío en invierno” “p  q es verdadera si p es
verdadera o q es verdadera”
y q : “Napoleón invadió
Rusia”
p q p q
Entonces :
p  q : “Hace frío en V V V
invierno o Napoleón V F V
invadió Rusia”
F V V
F F F
 Condicional
Se llama condicional de p y q a la proposición “si p
entonces q” y se representa por “p → q “ , p se llama
antecedente y q consecuente del condicional p → q

TABLA DE VERDAD
• Ejemplo: p → q es verdadera si p es
Si p : “2 es número falsa o q es verdadera “
primo”
y q : “5 es menor que 4” p q p→q
Entonces: V V V
p → q: “si 2 es número V F F
primo entonces 5 es F V V
menor que 4”
F F V
 FÓRMULAS
PROPOSICIONALES
CLASIFICACIÓN DE FÓRMULAS
PROPOSICIONALES
1. Cuando todos los valores de verdad son verdaderos,
el esquema es una TAUTOLOGÍA.

2. Cuando todos los valores de verdad son falsos, el

esquema es una CONTRADICCIÓN.

3. Cuando algunos valores de verdad son verdaderos y

otros falsos el esquema es una CONTINGENCIA.
PRACTICA
 EVALUACIÓN DE UNA FÓRMULA LÓGICA

Evaluar el siguiente esquema molecular: (p  q)  (p → r)

Solución
p q r (pq)   ( p →  r)
V V V V V V V V V F F
V V F V V V V F V V V
V F V V F F V V V F F
V F F V F F F F V V V
F V V F F V F F F V F
F V F F F V F F F V V
F F V F F F F F F V F
F F F F F F F F F V V