LÓGICA PROPOSICIONAL

Enunciados y proposiciones, tipos de proposiciones, conectivos

lógicos, formalización de proposiciones, tablas de verdad.

Mg.Elizabeth Katerin Auqui Ramos

¿Cada mano
dibuja entre si
una manga de
camisa?
 ¿Qué observas?
¿Hay operarios arreglando la cerca y el piso, o están reparando la
terraza y hay gente que intenta subir?
 ¿Son posibles esas imágenes?
 ¿Por qué?
 ¿Qué ocurre si solo nos dejamos llevar por
nuestros sentidos?
 ¿Es necesario tener la información en un
contexto ?

La lógica nos permite ir más allá de la

información que nos proporcionan nuestros
sentidos y en un contexto determinado.
 ¿QUÉ ES LA LÓGICA?
Es una disciplina que mediante reglas y técnicas estudia la forma
del razonamiento.
En matemática se emplea para demostrar teoremas; en
computación, para validar un programa; en física, para dar
conclusiones de experimentos y, en la vida cotidiana, para
cualquier trabajo que se realiza ya que tiene un procedimiento
lógico.
Gracias a ella, el ser humano distingue la realidad de la percepción
y defiende sus puntos de vista con argumentos basados en hechos y
datos. Esto lo logra utilizando su inteligencia y con la ayuda de los
conocimientos adquiridos.
 1. ENUNCIADO Y PROPOSICIÓN

Enunciado
Es toda expresión oral o
escrita.
La Universidad
Nacional De Al que madruga Dios lo
Educación ayuda

Ejemplos:

La SUNAT es una entidad

¿El PBI aumentará en 2% con
autónoma.
respecto al año anterior?

6
 1. ENUNCIADO Y PROPOSICIÓN
Proposición
Es toda expresión oral o escrita a la que se le
pueda atribuir un valor verdadero o falso (valor de
verdad).

La SUNAT es una Lima es la capital del

entidad autónoma. Perú.

Ejemplos:

La recaudación
tributaria en el país A mediado del este año
aumentó 3,4% en el China devaluó el Yuan.
2014 7
 1. ENUNCIADO Y PROPOSICIÓN

1) Paolo Guerreo es el actual presidente del BCR. (P )

2) La producción mundial de espárragos disminuyó en 99%. (P )

3) La balanza comercial del Perú. (E )

4) El characato es la unidad monetaria del Perú. (P )

5) El número de administradores de ALICORP. (E )
6) Los bonos soberanos emitidos el 2017. ( )
E
La devaluación es la pérdida del valor nominal de
7)
una moneda corriente frente a otras monedas extranjeras.
(P)
8
1. ENUNCIADO Y PROPOSICIÓN

CLASES DE PROPOSICIONES
Las proposiciones se clasifican de acuerdo a la
presencia de los conectivos lógicos

AUSENCIA DE PRESENCIA DE
CONECTIVOS CONECTIVOS
LÓGICOS LÓGICOS

PROPOSICIONES PROPOSICIONES
SIMPLES O COMPUESTAS O
ATÓMICAS MOLECULARES

9
 2. CONECTIVOS LÓGICOS
Son símbolos que sirven de nexos o
enlaces entre las proposiciones
simples, a excepción del negador. ↔
~ BICONDICIONA
NEGADOR ˄ → L
˅ Δ
CONJUNCIÓN CONDICIONAL
DISYUNCIÓN
Expresiones DISYUNCIÓN
equivalente DÉBIL
s FUERTE Expresiones
equivalentes
Expresiones Expresiones
equivalentes equivalentes
•no Expresiones
equivalentes Expresiones
•ni equivalente
•nunca s •Si y solo si
•jamás •Por ello •Es una
•y
•Tampoco •Por lo tanto condición
•pero
•No es cierto que •o •si ...entonces ... necesaria y
•Sin embargo
•Es falso que •Salvo que •O . . . o . . . •es una condición suficiente
•Tanto como
•Es mentira que •a menos que •o solamente suficiente para •Equivalente
•también
•Es inaceptable •o incluso •o únicamente •Es una condición •siempre y
que •Excepto que necesaria para cuando
•No es verdad que •En consecuencia 10
 3. FORMALIZACIÓN
Formalizar consiste en transformar una expresión del lenguaje común
o escrito, al lenguaje matemático (simbólico), para ello se utilizarán
las proposiciones, los conectores lógicos y los signos de agrupación.

1° 2° 3°
Reconocer los Identificar las Agrupar las
conectores proposiciones proposiciones y
simples conectores de
ser el caso
a) La BVL fue fundada en el año 1200. p

b) Toledo Manrique no fue presidente del Perú. ~p

c) El yuan se devaluó salvo que el dólar se haya revaluado. p˅q

d) El BCR y la BVL tienen sede en Lima. Por ello Lima es la capital del Perú (p ˄ q) → r
14
TABLAS DE VERDAD

Tablas de Verdad
Es un conjunto ordenado de valores de
verdad de las proposiciones
compuestas, que resultan de la
aplicación de reglas de los conectores
lógicos.

p q
Número de valores de verdad : 2n V V
n: número de variables V F
F V
Si tenemos dos variables p y q , F F
(n=2) entonces 22 = 4
 EVALUANDO UN ESQUEMA LÓGICO

Evaluar un esquema lógico es obtener los valores de verdad

del operador principal. Se presentan tres casos:

1.TAUTOLOGÍA
Se llama así al esquema lógico en el cual los valores de verdad de su
conectivo principal son todos verdaderos.

2. CONTRADICCIÓN
Cuando los valores de verdad de su conectivo principal son todos
falso.

3. CONTINGENCIA
Se llama así al esquema lógico donde su conectivo principal presenta al
menos una verdad (V) y una falsedad (F).
 4. TABLAS DE VERDAD
NEGACIÓN ( ) CONJUNCIÓN ( ) DISYUNCIÓN FUERTE (Δ )

p p p q p  q p q p Δ q
V F V V V V V F
F V V F F V F V
F V F F V V
F F F F F F
DISYUNCIÓN DÉBIL ( )
CONDICIONAL ( ) BICONDICIONAL ( )
p q p  q p q pq p q pq
V V V V V V V V V
V F V V F F V F F
F V V F V V F V F
F F F F F V F F V
Encuentre el valor de verdad de los siguientes
esquemas
¬ (pΛq) ¬p v ¬ q

¬ (p ˄ q) ¬ p v ¬ q

F V V V F V F F V

V V F F F V V V F

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

Esquema lógico contingente Esquema lógico contingente

 EQUIVALENCIA LÓGICA E
INFERENCIA LÓGICA

P1: p q
P2: ~ q__
∼( p Λ q ) ≡ ∼ p v ∼ q
C: ~ p

Departamento de Ciencias
EQUIVALENCIAS LÓGICAS

Dos esquemas lógicos o dos proposiciones

lógicas son equivalentes, cuando los valores
de verdad de la matriz principal de cada
una de las tablas de verdad de ellos son
iguales.

Dos esquemas lógicos A y B son equivalentes,

cuando unidos dichos esquemas por el conector
BICONDICIONAL resulta una tautología.

A↔B A≡B
EJEMPLO

Es falso que los poderes de estado controlen y

censuren los contenidos de la noticia
p : Los poderes de estado controlan los contenidos de la
noticia
q : Los poderes de estado censuran los contenidos de la
noticia
Formalización: ∼( p Λ q)

Los poderes de estado no controlan o no censuran

los contenidos de las noticias
Formalización: ∼pv∼q
ENCUENTRE los valores de verdad de los
siguientes esquemas
¬ (pΛq) ¬p v ¬ q

¬ (p ˄ q) ¬ p v ¬ q

F V V V F V F F V

V V F F F V V V F

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

¬(p q) ≅ ¬p  ¬q
Por tanto los enunciados son equivalentes
 Nombre de Representación Ejemplo
la Ley Simbólica

pq qp Pitágoras fue matemático y filósofo 

Conmutación
p q qp Pitágoras fue filósofo y matemático .

Doble No es verdad que la lógica no es una ciencia

~~ p  p
Negación  La lógica es una ciencia.
Es falso que Esther estudia Psicología o
Leyes de ~ (p  q)  ~ p  ~ q Derecho
D’Morgan ~ (p  q)  ~ p  ~ q Esther no estudia Psicología ni Derecho.

Si eres Juez entonces eres abogado 

Condicional pq~pq
No eres Juez a menos que seas abogado

Si escribo un libro interesante, seré inmortal. 

Contraposición pq~q ~p Soy mortal por lo tanto no escribí un libro

interesante.
3. INFERENCIA LÓGICA

• Es un proceso de razonamiento Forma vertical

lógico el cual consiste en procesar
un conjunto de proposiciones
llamadas PREMISAS a otra P1
proposición llamada CONCLUSIÓN. P2
La Inferencia es una condicional Premisa .
de la forma: .
.
Forma horizontal Pn
P1 ^ P2 ^ … ^ Pn C Conclusión C

Inferencia válida Razonamiento correcto

Inferencia no válida Razonamiento incorrecto
 ¿ Cómo Validar una Inferencia?

Método de la Tabla de la
Verdad

Método de las MÉTODO

Método
Implicaciones PARA
Abreviado de
Notables VALIDAR
las tablas
UNA INFERENCIA
MÉTODOS para verificar la validez
de una inferencia
MÉTODO DE LA TABLA DE VERDAD: La inferencia será valida si la
fórmula implicativa resulta ser una TAUTOLOGÍA, en caso contrario
será no válida. Una inferencia válida también se le conoce como
una implicación lógica.

MÉTODO ABREVIADO: llamado también criterio de post, Se usa en

inferencias cuyas variables proposicionales son numerosas además
este método verifica si el esquema es o no válido.

MÉTODO DE LAS IMPLICACIONES NOTABLES: Es el procedimiento

por el cual se utiliza leyes lógicas obteniendo la validez de la
inferencia.
3.1 MÉTODO DE LA TABLA DE VERDAD

Si Juan esta bien informado del acontecer nacional

entonces tendrá tema de conversación. Pero Juan no
tiene tema de conversación. Por lo tanto no está bien
informado del acontecer nacional.
p: Juan está bien informado del acontecer nacional
q: Juan tiene tema de conversación

FORMALIZACIÓN: [( p → q ) ᴧ ¬ q ] → ¬ p
3.1 MÉTODO DE LA TABLA DE VERDAD

pq
q
Resolución
 p

[ (p → q) ˄ ¬ q ] → ¬ P

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

Por tanto, es una tautología, y el argumento es

válido.
3.2 CRITERIO DE POST (m. aBREVIADO)

• Solo se usa en fórmulas implicativas, para saber si el

esquema es o no válido.
Pasos para aplicar el criterio de Post

1° Se asigna el valor de falso a la fórmula

Se determinan los valores de verdad de

2° cada variable.

Si existe alguna contradicción en el proceso,

3° se dice que la fórmula es válida. En caso
contrario será no válida.
APLICACIÓN 1 DEL CRITERIO DE POST

Si Juan esta bien informado del acontecer nacional

entonces tendrá tema de conversación. Pero Juan no
tiene tema de conversación. Por lo tanto no está bien
informado del acontecer nacional.

[( p → q ) ᴧ ¬q ] → ¬p
F F F V
V V
V F
F
Hay contradicción en los valores de p

Por lo tanto, la Inferencia es válida

APLICACIÓN 2 DEL CRITERIO DE POST

Si el testigo dice la verdad entonces el mayordomo

estaba en la escena del crimen. Pero el testigo no dice la
verdad. En consecuencia el mayordomo no estaba en la
escena del crimen.

[( p → q ) ᴧ¬p ] → ¬ q
F V F V
V V
V F
F
No hay contradicción en los valores de q

Por lo tanto, la Inferencia no es

válida
3.3. REGLAS DE INFERENCIAS