Nociones de lógica

¿Para qué estudiar lógica matemática?

 Con el estudio de la lógica se persigue llegar a ser preciso y cuidadoso.

 La lógica tiene un lenguaje exacto.

 La lógica puede ayudarnos a aprender una forma de razonar que es

exacta y a la vez muy útil.

 La lógica es el lenguaje del razonamiento.

 La lógica se define formalmente como la ciencia que se ocupa de la

inferencia y la demostración.
 Enunciados y proposiciones
Definición (enunciado): un enunciado es una expresión verbal o escrita, frase u oración,
alfabética y/o numérica, que sirve para afirmar o negar algo, formular preguntas, indicar
dudas, prohibiciones, mandatos recomendaciones, expresar deseo, opinión, saludo,
admiración o sorpresa, emitir un juicio de valor.

Ejemplo:
1) ¡Siéntate! 4) “El cielo es azul”.

2) ¿Qué día es hoy? 5) “Mañana es domingo”.

3) ¡Bravo! 6) “Lima es la capital del Perú”.

Observación: algunos enunciados pueden ser mandatos, interrogaciones o expresiones de

emoción, otras en cambio son afirmaciones o negaciones que tienen la característica de ser
verdaderos o falsos.
Enunciados y proposiciones
Definición (proposición): una proposición es un enunciado que puede ser
verdadero o falso.

Ejemplo:
1) “El cielo es azul”.

2) “Mañana es domingo”.

3) “Él no es vegetariano”

4) .”3+5=7”

Notación: denotaremos a las proposiciones con letras mayúsculas o minúsculas 𝑃𝑃, 𝑄𝑄,
𝑅𝑅, 𝑆𝑆 o 𝑝𝑝, 𝑞𝑞, 𝑟𝑟, 𝑠𝑠, etc. Si son muchas, también podemos utilizar subíndices.
Enunciados y proposiciones
Definición: si 𝑝𝑝 es una proposición, sus posibles valores de verdad se representan por
medio de una tabla de verdad como la tabla siguiente:

𝑝𝑝
𝑉𝑉: verdadero
𝑽𝑽
𝑭𝑭 𝐹𝐹: falso

Definición: la negación u opuesto de una proposición 𝑝𝑝 es la proposición con los

valores opuestos y es denotada por ¬𝑝𝑝. Su tabla de verdad será entonces como la
tabla siguiente:

𝑝𝑝 ¬𝑝𝑝
𝑉𝑉 𝑭𝑭
𝐹𝐹 𝑽𝑽
Enunciados y proposiciones
Notación: Las proposiciones lógicas son denotadas por las letras minúsculas
𝒑𝒑, 𝒒𝒒, 𝒓𝒓, etc.; y conociendo el valor de verdad de 𝒑𝒑 se denota como

𝒑𝒑 ≡ 𝑉𝑉 o 𝒑𝒑 ≡ 𝐹𝐹

según sea el caso.

Ejemplo:

𝒑𝒑: Lima es la capital del Perú , 𝒒𝒒: 𝟐𝟐 es un número entero

Que tienen valor de verdad:

𝒑𝒑: 𝑉𝑉 y 𝒒𝒒: 𝐹𝐹
Enunciados y proposiciones
Ejercicio:

Indique si los siguientes enunciados son proposiciones o no:

a) Ojalá no llueva hoy.

b) 21/2 > 2−1/2

c) Yo opino que Pelé fue mejor que Maradona.

d) Aprobé debido a que estudié.

e) 2 es un número par.

f) ¡Casi me saco la lotería!

g) Mañana es miércoles.
 Proposiciones simples
Definición: una proposición simple o atómica es una proposición que no presenta
conectivo lógico en su redacción. Esto es, no es posible dividir o extraer una
proposición diferente.

Ejemplo:
1) “Hoy es viernes”.

2) “Hoy hay clase”.

3) “−5 es menor que 7”.

Notación: los llamados términos de enlace, son… las proposiciones que

poseen términos de enlace serán llamadas proposiciones compuestas o
moleculares, las veremos más adelante.
 Proposiciones compuestas
Definición: una composición compuesta o molecular es una proposición que está
constituida por una o más proposiciones simples que están unidas o afectadas por
conectivos lógicos.

Ejemplo:

1) Termino la tarea y voy a la playa.

2) Lima no es la capital del Perú.

3) Si estudio entonces aprobaré el examen.

4) y ≤ 5.

5) x ∈ ⟨5,6].
Proposiciones compuestas
Ejercicio:

Indique si los siguientes enunciados son proposiciones simples o compuestas.

a) 2 es un número par.

b) París no es la capital de Francia.

c) Si duermo temprano, entonces no dormiré en clase.

d) Estudio matemática o lenguaje.

e) Perú es un país y Magdalena un distrito.

f) O giraron a la izquierda o giraron a la derecha.

g) Un número es múltiplo de 2 si y solo si es divisible por 2.

 Conectivos o conectores lógicos
Conectivos o conectores lógicos
Son palabras que permiten juntar o afectar proposiciones, con el fin de crear
proposiciones con mayor grado de complejidad.
NOMBRE CONECTIVOS LÓGICOS
NEGACIÓN No, es falso que, no es cierto que, es absurdo que, es mentira que, no es
verdad que, tampoco, …

CONJUNCIÓN Y, no obstante, además, pero, sin embargo, aunque, a la vez, también,

incluso, tanto … como, ni, tal como, a pesar, aun cuando, ni … ni, sino, …
DISYUNCIÓN DÉBIL O, o también, o incluso, bien, ya, entre, sea que, ya sea, …
DISYUNCIÓN FUERTE O … O.
CONDICIONAL Si, … entonces, entonces, es obvio que, implica, por lo tanto, luego, ya que
… entonces, en consecuencia, puesto que, puesto que … entonces, porque,
solo así, cuando, siempre que, dado que, solo si, …
BICONDICIONAL Si y solo si, siempre y cuando, es equivalente, es lo mismo que, cuando y solo
cuando, entonces y solo entonces, necesario y suficiente, …
 Operadores lógicos
Definición: un operador lógico es un símbolo que se utiliza para afectar a una
proposición p o conectar dos proposiciones p y q, con el fin de representar
simbólicamente una proposición compuesta por dos proposiciones. Usaremos seis
operadores lógicos asociados a cada tipo de conectivo lógico.

OPERADOR NOMBRE SE LEE

~ Negación No
∧ Conjunción y
∨ Disyunción débil o
∆ Disyunción fuerte O…o…
⟶ Condicional Si …, entonces …
⟷ Bicondicional Si y solo si
Operadores lógicos
Ejercicio:

Escriba simbólicamente la proposición siguiente:

La Municipalidad de Lima Metropolitana controla el tránsito de vehículos en la

ciudad o el Ministerio de Transportes y Comunicaciones no controla el tránsito de
vehículos en las carreteras; y si el número de fallecidos y heridos por accidentes
vehiculares va en aumento, entonces el costo del SOAT se incrementará.
Operadores lógicos
Negación: la negación de una proposición p es la nueva proposición “no 𝑝𝑝” y es
denotada por ~𝑝𝑝. Su tabla de verdad es:

𝑝𝑝 ~𝑝𝑝
𝑉𝑉 𝑭𝑭
𝐹𝐹 𝑽𝑽

Ejemplo:

1) Si 𝑝𝑝 =“Termino la tarea”, entonces la negación es la proposición “No termino la

tarea”.

2) Si q =“Voy a la playa”, entonces la negación es la proposición “No voy a la

playa”.
Operadores lógicos
Conjunción: la conjunción de dos proposiciones p, 𝑞𝑞 es la nueva proposición “𝑝𝑝 y 𝑞𝑞”
y es denotada por 𝑝𝑝 ∧ 𝑞𝑞. Su tabla de verdad es:

𝑝𝑝 𝑞𝑞 𝑝𝑝 ∧ 𝑞𝑞
𝑉𝑉 𝑉𝑉 𝑽𝑽
𝑉𝑉 𝐹𝐹 𝑭𝑭
𝐹𝐹 𝑉𝑉 𝑭𝑭
𝐹𝐹 𝐹𝐹 𝑭𝑭

Ejemplo:

1) si 𝑝𝑝 =“Termino la tarea” y 𝑞𝑞 =“Voy a la playa”, entonces la conjunción es la

proposición “Termino la tarea y voy a la playa”.
Operadores lógicos
Disyunción débil (inclusiva): la disyunción inclusiva o simplemente disyunción de dos
proposiciones p, 𝑞𝑞, es la nueva proposición “𝑝𝑝 o 𝑞𝑞” y es denotada por 𝑝𝑝 ∨ 𝑞𝑞. Su tabla
de verdad es:

𝑝𝑝 𝑞𝑞 𝑝𝑝 ∨ 𝑞𝑞
𝑉𝑉 𝑉𝑉 𝑽𝑽
𝑉𝑉 𝐹𝐹 𝑽𝑽
𝐹𝐹 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝐹𝐹 𝑭𝑭

Ejemplo:

1) si 𝑝𝑝 =“Termino la tarea” y 𝑞𝑞 =“Voy a la playa”, entonces la disyunción es la

proposición “Termino la tarea o voy a la playa”.
Operadores lógicos
Disyunción fuerte (exclusiva): la disyunción exclusiva de dos proposiciones p, 𝑞𝑞, es la
nueva proposición “O 𝑝𝑝 o 𝑞𝑞” y es denotada por 𝑝𝑝∆𝑞𝑞. Su tabla de verdad es:

𝑝𝑝 𝑞𝑞 𝑝𝑝 ∆ 𝑞𝑞
𝑉𝑉 𝑉𝑉 𝑭𝑭
𝑉𝑉 𝐹𝐹 𝑽𝑽
𝐹𝐹 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝐹𝐹 𝑭𝑭

Ejemplo:

1) Si 𝑝𝑝 =“Termino la tarea” y 𝑞𝑞 =“Voy a la playa”, entonces la disyunción exclusiva

es la proposición “O termino la tarea o voy a la playa”.
Operadores lógicos
Condicional: si 𝑝𝑝 y 𝑞𝑞 son dos proposiciones, definimos la proposición condicional
como el enunciado “Si 𝑝𝑝, entonces 𝑞𝑞” y la denotaremos como 𝑝𝑝 ⟶ 𝑞𝑞. En este caso 𝑝𝑝
se denomina antecedente y 𝑞𝑞 consecuente. Su tabla de verdad es:

𝑝𝑝 𝑞𝑞 𝑝𝑝 ⟶ 𝑞𝑞
𝑉𝑉 𝑉𝑉 𝑽𝑽 𝑝𝑝: es llamada antecedente.
𝑉𝑉 𝐹𝐹 𝑭𝑭
𝑞𝑞: es llamada consecuente.
𝐹𝐹 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝐹𝐹 𝑽𝑽

Ejemplo:
1) si 𝑝𝑝 = “Termino la tarea” y 𝑞𝑞 = “Voy a la playa”, entonces la proposición
condicional será “Si termino la tarea, entonces voy a la playa”.
Operadores lógicos
Definición: dada la proposición condicional 𝑝𝑝 ⟶ 𝑞𝑞 definimos tres proposiciones
asociadas:
La proposición conversa o recíproca se define como 𝑞𝑞 ⟶ 𝑝𝑝.
La proposición inversa es la proposición ¬𝑝𝑝 ⟶ ¬𝑞𝑞.
La proposición contrapositiva se define como ¬𝑞𝑞 ⟶ ¬𝑝𝑝.

Ejemplo: consideremos la siguiente proposición “Si termino la tarea, entonces voy a

la playa”.

1) Si voy a la playa, entonces termino la tarea. (Conversa o recíproca)

2) Si no termino la tarea, entonces no voy a la playa. (inversa)

3) Si no voy a la playa, entonces no termino la tarea. (contrapositiva)

Operadores lógicos
Bicondicional: si 𝑝𝑝 y 𝑞𝑞 son dos proposiciones, definimos la proposición bicondicional
como el enunciado “𝑝𝑝 si, y sólo si 𝑞𝑞” y la denotaremos como 𝑝𝑝 ⟷ 𝑞𝑞. Su tabla de
verdad es:

𝑝𝑝 𝑞𝑞 𝑝𝑝 ⟷ 𝑞𝑞
𝑉𝑉 𝑉𝑉 𝑽𝑽
𝑉𝑉 𝐹𝐹 𝑭𝑭
𝐹𝐹 𝑉𝑉 𝑭𝑭
𝐹𝐹 𝐹𝐹 𝑽𝑽

Ejemplo:
1) si 𝑝𝑝 = “Termino la tarea” y 𝑞𝑞 = “Voy a la playa”, entonces la proposición
bicondicional será “termino la tarea si, y sólo si voy a la playa”.
 Tablas de verdad
Definición: Es una tabla de doble entrada que muestra el valor de verdad
de una proposición compuesta para cada combinación de verdad que se
puede asignar a las proposiciones que componen dicha proposición
compuesta.

La tabla de verdad de los conectivos usuales se presentan a continuación

Observación: para saber el número de posibilidades de valores de verdad

podemos hacer uso de la fórmula 𝟐𝟐𝒏𝒏 , donde 𝒏𝒏 representa el número total de
proposiciones. Luego, formamos la tabla intercalando los valores de verdad.
Tablas de verdad
Ejemplo:
𝑝𝑝 ~𝑝𝑝 𝑝𝑝 𝑞𝑞 𝑝𝑝 ∧ 𝑞𝑞 𝑝𝑝 𝑞𝑞 𝑟𝑟 (𝑝𝑝 ∧ 𝑞𝑞) ∨ 𝒓𝒓
𝑉𝑉 𝑭𝑭 𝑉𝑉 𝑉𝑉 𝑽𝑽 𝑉𝑉 𝑉𝑉 𝑉𝑉 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝑽𝑽 𝑉𝑉 𝐹𝐹 𝑭𝑭 𝑉𝑉 𝑉𝑉 𝐹𝐹 𝑉𝑉 𝑽𝑽

𝐹𝐹 𝑉𝑉 𝑭𝑭 𝑉𝑉 𝐹𝐹 𝑉𝑉 𝐹𝐹 𝑽𝑽
𝒏𝒏 = 𝟏𝟏 𝐹𝐹 𝐹𝐹 𝑭𝑭
𝑉𝑉 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑭𝑭

𝟐𝟐𝒏𝒏 = 𝟐𝟐𝟏𝟏 = 𝟐𝟐 𝐹𝐹 𝑉𝑉 𝑉𝑉 𝐹𝐹 𝑽𝑽
𝒏𝒏 = 𝟐𝟐 𝐹𝐹 𝑉𝑉 𝐹𝐹 𝐹𝐹 𝑭𝑭
𝐹𝐹 𝐹𝐹 𝑉𝑉 𝐹𝐹 𝑽𝑽
𝟐𝟐𝒏𝒏 = 𝟐𝟐𝟐𝟐 = 𝟒𝟒
𝐹𝐹 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑭𝑭

𝒏𝒏 = 𝟑𝟑
𝟐𝟐𝒏𝒏 = 𝟐𝟐𝟑𝟑 = 𝟖𝟖
Tablas de verdad
Ejercicio:

Halle la tabla de verdad de (𝒑𝒑 ∧∼ 𝒒𝒒) ⟶∼ 𝒑𝒑 ⟷∼r

Proposiciones según su tabla de verdad
Una proposición compuesta se clasifica como:
 Tautología
 Contradicción
 Contingencia

Tautología: una proposición compuesta es llamada tautología cuando su tabla de verdad

tiene solo valores verdaderos sin importar el valor de verdad de sus proposiciones simples.

Ejemplo:
1) La proposición 𝑝𝑝 ∨ ¬𝑝𝑝 es una tautología, al construir su tabla de verdad tenemos:
𝑝𝑝 𝑝𝑝 ∨ ¬𝒑𝒑
𝑉𝑉 𝑽𝑽
𝐹𝐹 𝑽𝑽

Ley del tercio excluido

Proposiciones según su tabla de verdad
Contradicción: una proposición compuesta es llamada contradicción cuando su
tabla de verdad tiene solo valores falsos sin importar el valor de verdad de sus
proposiciones simples.

Ejemplo:

1) La proposición 𝑝𝑝 ∧ ¬𝑝𝑝 es una contradicción, al construir su tabla de verdad

tenemos:

𝑝𝑝 𝑝𝑝 ∧ ¬𝒑𝒑
𝑉𝑉 𝑭𝑭
𝐹𝐹 𝑭𝑭
Proposiciones según su tabla de verdad
Contingencia: una proposición compuesta es llamada contingencia cuando su tabla de
verdad tiene por lo menos un valor verdadero y un valor falso, sin importar el valor de
verdad de sus proposiciones simples.

Ejemplo:
1) La proposición 𝑝𝑝 ⟶ 𝑝𝑝 es una contingencia, al construir su tabla de verdad
tenemos:

𝑝𝑝 𝑞𝑞 𝑝𝑝 ⟶ 𝑞𝑞
𝑉𝑉 𝑉𝑉 𝑽𝑽
𝑉𝑉 𝐹𝐹 𝑭𝑭
𝐹𝐹 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝐹𝐹 𝑽𝑽
 Equivalencia
Definición: decimos que dos proposiciones compuestas 𝑷𝑷 y 𝑸𝑸 son equivalentes si tienen
la misma tabla de verdad y en este caso escribimos 𝑷𝑷 ≡ 𝑸𝑸.

Ejemplo:
1) La proposición 𝑝𝑝 ⟶ 𝑝𝑝 es equivalente a ¬𝑝𝑝 ∨ 𝑞𝑞 , como lo podemos verificar
comparando sus tablas de verdad.
𝑝𝑝 𝑞𝑞 𝑝𝑝 ⟶ 𝑞𝑞 𝑝𝑝 𝑞𝑞 ¬𝑝𝑝 ∨ 𝑞𝑞
𝑉𝑉 𝑉𝑉 𝑽𝑽 𝑉𝑉 𝑉𝑉 𝐹𝐹 𝑽𝑽
𝑉𝑉 𝐹𝐹 𝑭𝑭 𝑉𝑉 𝐹𝐹 𝐹𝐹 𝑭𝑭
𝐹𝐹 𝑉𝑉 𝑽𝑽 𝐹𝐹 𝑉𝑉 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝐹𝐹 𝑽𝑽 𝐹𝐹 𝐹𝐹 𝑉𝑉 𝑽𝑽

Observación: dos proposiciones 𝑃𝑃 y 𝑄𝑄 son equivalentes si al unirlas por una bicondicional,

el resultado es una tautología.
 Implicación
Definición: decimos que 𝑷𝑷 implica 𝑸𝑸, cuando unidas por un condicional ⟶ siendo 𝑷𝑷
el antecedente y 𝑸𝑸 el consecuente, el resultado es una tautología.

Ejemplo:
1) La proposición ¬𝑝𝑝 ∆ ¬𝑟𝑟 implica a ¬ 𝑝𝑝 ∧ 𝑞𝑞 ∨ ¬𝑟𝑟
𝑝𝑝 𝑞𝑞 𝑟𝑟 ¬𝑝𝑝 ∆ ¬𝒓𝒓 ⟶ 𝑝𝑝 𝑞𝑞 𝑟𝑟 ¬ 𝒑𝒑 ∧ 𝒒𝒒 ∨ ¬𝒓𝒓
𝑉𝑉 𝑉𝑉 𝑉𝑉 𝑭𝑭 𝑽𝑽 𝑉𝑉 𝑉𝑉 𝑉𝑉 𝑭𝑭
𝑉𝑉 𝑉𝑉 𝐹𝐹 𝑽𝑽 𝑽𝑽 𝑉𝑉 𝑉𝑉 𝐹𝐹 𝑽𝑽
𝑉𝑉 𝐹𝐹 𝑉𝑉 𝑭𝑭 𝑽𝑽 𝑉𝑉 𝐹𝐹 𝑉𝑉 𝑽𝑽
𝑉𝑉 𝐹𝐹 𝐹𝐹 𝑽𝑽 𝑽𝑽 𝑉𝑉 𝐹𝐹 𝐹𝐹 𝑽𝑽
𝐹𝐹 𝑉𝑉 𝑉𝑉 𝑽𝑽 𝑽𝑽 𝐹𝐹 𝑉𝑉 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝑉𝑉 𝐹𝐹 𝑭𝑭 𝑽𝑽 𝐹𝐹 𝑉𝑉 𝐹𝐹 𝑽𝑽
𝐹𝐹 𝐹𝐹 𝑉𝑉 𝑽𝑽 𝑽𝑽 𝐹𝐹 𝐹𝐹 𝑉𝑉 𝑽𝑽
𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑭𝑭 𝑽𝑽 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑽𝑽
Leyes lógicas
Leyes lógicas
Leyes lógicas
Ejemplo: Pruebe la siguiente equivalencia lógica.
Enunciado abierto
Función proposicional
Cuantificador universal
Cuantificador existencial
Inferencia lógica
Inferencia lógica
Demostraciones
Demostraciones
Demostraciones
Demostraciones
Demostraciones
Demostraciones
Demostraciones
Ejemplo:
Demostraciones
Nociones de lógica
Material elaborado para la Universidad Nacional Mayor de San Marcos