Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica Proposicional
Lógica Proposicional
LÓGICA
Es la ciencia que estudia el razonamiento inductivo y
deductivo. El razonamiento inductivo es aquel que permite
llegar a conclusiones generales a partir de observaciones
particulares, por el contrario, el razonamiento deductivo nos
permite llegar a conclusiones particulares a partir de
observaciones generales.
1. 15 es un número primo :p ( F)
2. Lima es la capital del Perú :q ( V)
3. 32 = 9 :r ( F)
F V V
22
F V F En general para
“n” proposiciones,
F F V se pueden
F F F presentar 2n
posibilidades
23
Definición de Algunos Enunciados
Compuestos
p q
p q
V V V
V F F
r s
p q
V V V
La disyunción es falsa solo si
V V F ambas proposiciones son falsas
F V V
F F F
3. 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 Miraflores o en Barranco”
p q
p q
La disyunción fuerte es verdadera
solo si ambas proposiciones
V F V tienen diferentes valores de verdad
V V F
La disyunción fuerte es falsa
solo si ambas proposiciones
F V V
tienen idénticos valores de verdad
F F F
4. 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.
p q
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
(consecuente) q
(antecedente) p
p q
V V V
V F F
F V V
El condicional solo es falso
cuando el antecedente es verdadero
F V F
y el consecuente es falso.
5. 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.
p q
p q El bicondicional es verdadero
solo si ambas proposiciones poseen
V V V idénticos valores de verdad
V F F
El bicondicional es falso
F F V
solo si ambas proposiciones poseen
diferentes valores de verdad
F V F
6. 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.
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
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 la proposición es falsa.
EVALUACIÓN DE UNA FÓRMULA LÓGICA
Ejemplo: Evaluar el siguiente esquema molecular: (p q) (p r)
Solución
p q r (pq) ( 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
• 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:
( r p) (p r)
V V V F F F V