LOGICA PROPOSICIONAL

QUE ES LA LOGICA?
La lógica es una ciencia formal y una rama de la
Filosofía; que estudia los principios del
pensamiento y las estructuras del pensamiento.
Es un sistema que permite verificar si el
razonamiento es correcto o incorrecto.
Finalidad de la lógica: Es el estudio de la razón en
el conocimiento. Se centra en el estudio del
razonamiento humano.
 DIVISION DE LA LOGICA
• Lógica Formal o Aristotélica: Se dedica al estudio
de la inferencia mediante la construcción de
lenguajes formales, sistemas deductivos y
semánticas formales.
• Lógica Simbólica o Matemática también llamada
como LOGICA PROPOSICIONAL: Es la que se
basa en la aplicación de símbolos por medio de
tablas de verdad, que nos permiten ver lo
verdadero o falso de las proposiciones.
 PROPOSICION

Una proposición es un enunciado, una

oración declarativa o una expresión
simbólica, de la cual se puede decir sin
ambigüedad, que es verdadera (V) o
falsa (F); 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)
Ejemplos :
•p: La capital del Perú es Lima (V)
•q: La luna es un satélite artificial de la tierra (F)
EXPRESIONES QUE NO SON PROPOSICIONES
  Razón por la que no es proposición

¡Viva el Perú¡ Exclamación o admiración

¿Está lloviendo? Pregunta

Lávate la cara Imperativa u orden

Pedro es muy malo Juicio de valor

Debemos honrar a nuestro héroes Exhortativa

Que tengas muy buen día. Desiderativa

Quizá llueva mañana Dubitativa

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. Perú es un país latinoamericano.

ej,. No fui al trabajo.

Fui a clase y di la prueba.
El libro de matemática o es blanco o es azul.
Si gano el concurso, entonces trabajo.
Estudiare en la UNT si y solo si me esfuerzo.
 Formalización Lógica

Letras p, q, r, s

Conectores ˄, ˅, , 

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

Trujillo es capital de la región La Libertad y

Moyobamba es la capital de la región San
Martin.
Trujillo es capital de la región La
Libertad p
Moyobamba es la capital de la región
San Martin. q
Conectores u operadores lógicos
Símbolo Palabra Nombre
( ), [ ] Agrupación  
~ , ¬ No, no es cierto, Negación
not
Λ Y, and Conjunción
V O, or Disyunción inclusiva, permite todos los
casos
V O, xor Disyunción exclusiva.
→ Si …. Entonces Si condicional o implicación.
↔ Si y solo si Bicondicional o implicación doble
 LA 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 se le
antecede el conectivo no, o equivalentes a él, cuyo símbolo es
“” ó ¬ , y se llama negador.
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
LA CONJUNCIÓN.- Es un enunciado compuesto en el que
dos proposiciones se relacionan con el conectivo “ y “, cuyo
símbolo es “” y se llama conjuntor.

Ejemplo: “Jorge viajó a Madrid y Luis viajó a Quito”

p q

p : Jorge viajó a Madrid

Simbología: “p  q”
q : Luis viajó a Quito

NOTA: También equivalen al conectivo conjunción las palabras:

pero, sin embargo, aunque, además, no obstante, etc.
TABLA DE VALORES DE VERDAD DE LA
CONJUNCIÓN

p  q

V V V

V F F

F F V La conjunción sólo es verdadera

cuando las dos proposiciones
F F F son verdaderas.
LA DISYUNCIÓN DÉBIL O INCLUSIVA.- Es un
enunciado compuesto en el que dos proposiciones se relacionan
con el conectivo “ o “, cuyo símbolo es “” y se llama disyuntor.

Ejemplo: “Eliana viajará a Quito o a Esmeraldas”

r s

r : Eliana viajará a Quito

Simbología: “r  s”
s : Eliana viajará a Esmeraldas
 TABLA DE VALORES DE VERDAD DE LA
DISYUNCIÓN DÉBIL

p  q

V V V
La disyunción es falsa, sólo si
V V F ambas proposiciones son falsas
F V V

F F F
 LA DISYUNCIÓN FUERTE O EXCLUSIVA.- Es un
enunciado compuesto en el que dos proposiciones se relacionan
con el conectivo “O…..o……. “, cuyo símbolo es “” y se
llama disyuntor fuerte.

Ejemplo: “O Ricardo radica en Cuenca o en Muisne”

p q

p : Ricardo radica en Cuenca

Simbología: “p  q ”
q : Ricardo radica en Muisne
“p  q ”
 TABLA DE VALORES DE VERDAD DE LA
DISYUNCIÓN FUERTE

p  q
La disyunción fuerte es verdadera,
sólo si ambas proposiciones tienen
V F V
diferentes valores de verdad
V V F
La disyunción fuerte es falsa, sólo
F V V si ambas proposiciones tienen
idénticos valores de verdad
F F F
EL CONDICIONAL.- Es un enunciado compuesto en el que dos
proposiciones se relacionan con el conectivo
“Si…….entonces…….”, cuyo símbolo es “→” y se llama
implicador.
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 ”
 Notas:
1. Existen otras formas de presentarse el condicional:
p por consiguiente q;
p luego q;
p de manera q; etc.
2. También son expresiones condicionales:
q ya que p; q puesto que p; q siempre que p; q porque p; etc.

Ejemplo
La suma de las cifras de 426 es múltiplo de 3, por consiguiente es divisible entre 3

(antecedente) p (consecuente) q

426 es divisible entre 3 porque la suma de sus cifras es múltiplo de 3

(consecuente) q (antecedente) p

La simbología para ambos casos es: p→q

 TABLA DE VALORES DE VERDAD DEL
CONDICIONAL

p  q

V V V El condicional sólo es falso,

cuando el antecedente es
V F F
verdadero y el consecuente es
F V V falso.

F V F
Proposiciones relacionadas con la condicional
p→q
Variaciones de la condicional

La Recíproca, es representada simbólicamente por:

q→p

La Inversa, es representada simbólicamente por:

p→q

La Contrarrecíproca, es representada simbólicamente por:

q→p
 Variaciones de la condicional

Una proposición puede ser reemplazada

por su contrarrecíproca, sin que se afecte su
valor de verdad, lo cual no se cumple con
la recíproca o la inversa.
 Variaciones de la condicional
A partir de la proposición:
“Si un número es divisible para 8, entonces es
divisible para 2”.
La Recíproca sería:
“Si un número es divisible para 2, entonces es
divisible para 8”.
La Inversa sería:
“Si un número no es divisible para 8, entonces no es
divisible para 2”.
La Contrarrecíproca sería:
“Si un número no es divisible para 2, entonces no es
divisible para 8”.
EL BICONDICIONAL.- Es un enunciado compuesto en el que
dos proposiciones se relacionan con el conectivo “…..…si y sólo
si……….”, cuyo símbolo es “↔” llamado doble implicador.

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
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 F V
proposiciones poseen diferentes valores
F de verdad
F V
 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)
 Bicondicional
Se llama bicondicional de dos proposiciones p y q a la
proposición “p si y sólo si q” representada por “p  q”

• Ejemplo : TABLA DE VERDAD

p : “ Juan ingresa a la “pq es verdadera si p y q son

universidad” ambas verdaderas o ambas
falsas”
q : “Juan estudia mucho”
pq
Entonces: p q
p q : “Juan ingresa a la V V   V

universidad si y sólo si V F F

estudia mucho” F V F

F F V
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 F V
mortal”
 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
F F F
impar es primo”
 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”
p q pq
y q : “5 es menor que 4”
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
Condicional o Implicación
Se lee:
Si P entonces Q

P implica Q

PQ P es suficiente para Q

P sólo si Q

Q si P

Q siempre que P

Q es necesario para P
EVALUACION de una
FORMULA LOGICA
• La característica tabular de una fórmula lógica es
la columna de valores de verdad debajo del operador
de mayor jerarquía. Esta columna puede presentar
los siguientes casos:

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
EJERCICIO de PRACTICA
Si se conoce que: (q  r)  p es FALSA
Determinar el valor de verdad de: (r  p)  (p  r)
SOLUCIÓN
Primero analizamos la condición
(q   r)  p
V V V F F F

Luego de conocer los valores de verdad de cada variable, se

evalúa la fórmula planteada

(  r   p)  (p   r)
V V V F F F V

El valor de verdad de la fórmula planteada es FALSO