ÁLGEBRA

LÓGICA MATEMÁTICA
ÁREA DE ÁLGEBRA
DEPARTAMENTO DE CIENCIAS EXACTAS
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Índice Pág.

1.1. Lógica proposicional 2

1.2. Funciones proposicionales 21

1.3. Reglas de inferencia 27

Recursos complementarios 41

Bibliografía 42

Actividad de aprendizaje autónomo 43

1
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

1.1. Lógica Proposicional

La lógica le proporciona a las matemáticas un lenguaje claro y un método

preciso para demostrar teoremas a partir de axiomas.
Sin la lógica los axiomas serian un montón de verdades aceptadas, pero nada
más. La lógica, sin embargo, les da sentido y permite concluir nuevas verdades
(teoremas) que antes no conocíamos.
Al ser la lógica el punto de partida de las matemáticas, en ella se deben introducir
nociones primarias tales como proposición, valor de verdad, conectivo lógico.

1.1.1 Proposiciones lógicas

ENUNCIADO: Es toda frase u oración que se utiliza en nuestro lenguaje.

PROPOSICIÓN: Es todo enunciado, respecto del cual se puede decir si es
verdadero (V) o falso (F).
NOTACIÓN: Por lo general, a las proposiciones se las representa por las letras
del alfabeto desde la letra 𝑝, es decir, 𝑝, 𝑞, 𝑟, 𝑠, 𝑡, . .. etc.

Así, por ejemplo, podemos citar las siguientes proposiciones y su valor de

verdad:

Proposición Valor de verdad

𝑞: Manta es la capital de la provincia de Manabí (𝑉)

𝑟: El número 15 es divisible para 3. (𝑉)
𝑠: El perro es un ave. (𝐹)
𝑡: Todos los triángulos tienen cuatro lados. (𝐹)
𝑢: ¿Qué día es hoy? No es una proposición

2
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝑝: ¡Viva Loja! No es una proposición

1.1.2 Expresiones no proposicionales

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas.

Las exclamaciones, órdenes, ni las preguntas son proposiciones.

a) ¡Levántate temprano!
b) ¿Has entendido lo que es una proposición?
c) ¡Estudia esta lección!
d) ¿Cuál es tu nombre?
e) Prohibido pasar.
f) Borra el pizarrón.

1.1.3 Enunciados abiertos

Son aquellos enunciados que constan de variables. Se convierte en una

proposición cuando se le asigna un valor específico a la variable".

Ejemplos:

a) Sea 𝑝: 𝑥 es la capital del Perú

Sí 𝑥: Lima, Quito…

Para 𝑝 (Lima): Lima es la capital del Ecuador es falso. (𝐹)

Para 𝑝 (Quito): Quito es la capital del Ecuador es verdadero. (𝑉)

3
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

b) Sea 𝑞: 𝑦 + 4 = 11, 𝑦 𝜖 ℕ
𝑦: 0; 1; 2; 3; 4; …

Para 𝑞 (1): 1 + 4 = 11, es falso (𝐹).

𝑞 (7): 7 + 4 = 11, es verdadero (𝑉).

1.1.4 Clase de proposiciones

Proposiciones Simples o Atómicas

Son aquellas proposiciones que constan de un solo enunciado proposicional.

Por ejemplo, sea la proposición 𝑝: 3 + 6 = 9

Proposiciones Compuestas o Moleculares

Son aquellas proposiciones que constan de dos o más proposiciones simples.

Ejemplo: 𝑟: Pitágoras era griego y es un teorema

𝑝 𝑞
Encontramos dos enunciados, el primero (𝑝) nos afirma que Pitágoras era griego
y el segundo (𝑞) que Pitágoras es un teorema.
Es decir, 𝑟 ∶ 𝑝 𝑦 𝑞

Ejemplo: 𝑝: Juan es profesor o Manuel es arquitecto

Donde podemos observar que la proposición p, se divide en dos proposiciones

simples:

4
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝑟: Juan es profesor
𝑠: Manuel es arquitecto
Es decir, 𝑝 ∶ 𝑟 𝑜 𝑠

1.1.5 Conectores lógicos

Enlazan proposiciones simples, o a partir de proporciones simples es posible

generar otras, simples o compuestas. Es decir que se puede operar con
proposiciones, y para ello se utilizan ciertos símbolos llamados conectivos
lógicos.

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas

dos o más proposiciones, de las que se conoce los valores veritativos, se trata
de caracterizar la proposición resultante a través de su valor de verdad.

Negación:

Dada una proposición 𝒑 , se denomina la negación de 𝒑 a otra proposición

denotada por −𝒑, se lee: 𝒏𝒐 𝒑. Es decir se le asigna el valor veritativo opuesto
al de 𝒑.

Por ejemplo:
𝒑: Diego estudia matemática ¬𝒑: Diego no estudia matemática

Tabla de verdad:

𝑝 ¬𝑝

𝑉 𝐹
𝐹 𝑉

5
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Se trata de una operación unitaria, pues a partir de una proposición se obtiene

otra, que es su negación.
Ejemplo: Sea 𝒑: Todos los alumnos estudian matemática
Su negación es ¬𝒑: No todos los alumnos estudian matemática.

Conjunción:

Dadas dos proposiciones 𝒑 y 𝒒, se denomina conjunción (o producto lógico) de

estas proposiciones a la proposición (𝒑 ∧ 𝒒), se lee: "𝒑 y 𝒒".

Por ejemplo:
Sea la declaración: 5 es un número impar y 6 es un número par

Vemos que está compuesta de dos proposiciones a las que llamaremos 𝒑 y 𝒒,

que son
𝒑: 5 es un número impar
𝒒: 6 es un número par
Y por ser ambas verdaderas, la conjunción de ellas (que no es sino la
declaración) es verdadera.

Tabla de verdad:

𝑝 𝑞 𝑝  𝑞

𝑉 𝑉 𝑉
𝑉 𝐹 𝐹
𝐹 𝑉 𝐹
𝐹 𝐹 𝐹

6
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

La tabla que define esta operación, establece que la conjunción es verdadera

sólo si lo son las dos proposiciones componentes. En todo otro caso, es falsa.

Ejemplo: Sí 𝒑: 3 es mayor que 7.

𝒒: Todo número par es múltiplo de dos.
Entonces:
(𝒑 ∧ 𝒒): 3 es mayor que 7 y todo número par es múltiplo de dos.
Por ser ambas verdaderas la conjunción de ellas es verdadera.

Disyunción:

Dadas dos proposiciones 𝒑 y 𝒒 , la disyunción (o suma lógica) de estas

proposiciones es la proposición (𝒑 ∨ 𝒒), se lee “𝒑 o 𝒒“.

Por Ejemplo:
Sea la declaración: Tirar las cosas viejas o que no me sirven.

Vemos que está compuesta de dos proposiciones a las que llamaremos 𝒑 y 𝒒,

que son
𝒑: Tirar las cosas viejas
𝒒: que no me sirven.

Tabla de verdad:

𝑝 𝑞 𝑝  𝑞

𝑉 𝑉 𝑉
𝑉 𝐹 𝑉

7
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝐹 𝑉 𝑉
𝐹 𝐹 𝐹

La disyunción es utilizada en sentido excluyente, ya que la verdad de la

disyunción se da en el caso de que al menos una de las proposiciones sea
verdadera.

Ejemplo.
Sea
Si 𝒑: Hace frio en invierno, o 𝒒: Napoleón invadió Quito
𝒑  𝒒: Hace frio en invierno o Napoleón invadió Quito

Por ser al menos una de las proposiciones verdadera la conjunción es verdadera.

Implicación o Condicional:

Implicación de las proposiciones 𝑝 , 𝑞 es la proposición 𝒑 → 𝒒 se lee:

"𝒔𝒊 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒒". La proposición 𝒑 se llama antecedente, y la proposición 𝒒 se
llama consecuente de la implicación o condicional.

Por Ejemplo:
Supongamos la implicación.

Si apruebo, ENTONCES te presto el libro

𝑝 → 𝑞
La implicación está compuesta de las proposiciones 𝒑: apruebo, 𝒒: te presto el
libro.

8
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Tabla de verdad:

𝑝 𝑞 𝑝 → 𝑞

𝑉 𝑉 𝑉
𝑉 𝐹 𝐹
𝐹 𝑉 𝑉
𝐹 𝐹 𝑉

La tabla nos muestra que la implicación sólo es falsa si el antecedente es

verdadero y el consecuente es falso.

Doble implicación o Bicondicional:

Doble implicación de las proposiciones 𝒑 y 𝒒 es la proposición 𝒑 ↔ 𝒒, se lee:

"𝒑 𝒔𝒊 𝒚 𝒔ó𝒍𝒐 𝒔𝒊 𝒒".

Por Ejemplo:

𝑝: Karina ingresa a la universidad.

𝑞: Karina estudia mucho.

Entonces:

𝒑  𝒒: Karina ingresa a la universidad si y sólo si estudia mucho.

Tabla de verdad:

9
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝑝 𝑞 𝑝  𝑞

𝑉 𝑉 𝑉
𝑉 𝐹 𝐹
𝐹 𝑉 𝐹
𝐹 𝐹 𝑉

La doble implicación o bicondicional sólo es verdadera si ambas proposiciones

tienen el mismo valor de verdad. La doble implicación puede definirse como la
conjunción de una implicación y su recíproca. De este modo, la tabla de valores
de verdad de 𝑝  𝑞 puede obtenerse mediante la tabla de (𝑝  𝑞)  (𝑞  𝑝),
como vemos:

𝑝 𝑞 𝑝 → 𝑞 𝑞 → 𝑝 (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)

𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉 𝐹
𝐹 𝑉 𝑉 𝐹 𝐹
𝐹 𝐹 𝑉 𝑉 𝑉

Ejemplo:

Sea 𝑎 = 𝑏 si y sólo si 𝑎² = 𝑏²

El enunciado está compuesto por las proposiciones:

𝑝: 𝑎 = 𝑏
𝑞: 𝑎² = 𝑏²

10
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Esta doble implicación es falsa si 𝑝 es 𝐹 y 𝑞 es 𝑉 o si 𝑝 es 𝑉 y 𝑞 es 𝐹. En los

demás casos es 𝑉.

Diferencia simétrica:

Diferencia simétrica o disyunción en sentido excluyente de las proposiciones 𝒑 y

𝒒 es la proposición 𝒑  𝒒, se lee: "𝒑 o 𝒒 en sentido excluyente".

Tabla de verdad:

𝑝 𝑞 𝑝 ⊻𝑞

𝑉 𝑉 𝐹
𝑉 𝐹 𝑉
𝐹 𝑉 𝑉
𝐹 𝐹 𝐹

La verdad de 𝒑 ⊻ 𝒒 está caracterizada por la verdad de una y sólo una de las

proposiciones componentes.

Ejemplo:

Sea: O vamos a Quito o vamos a Manta.

Queda claro que sólo podremos ir a uno de los dos lugares, y sólo a uno. Es
decir que el enunciado es verdadero sólo si vamos a una de las dos ciudades.
En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso.

11
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Conjunción negativa:

La conjunción negativa de las proposiciones p y q es la proposición 𝒑 ↓ 𝒒, se

lee: "𝒏𝒊 𝒑 𝒏𝒊 𝒒".

Tabla de verdad:

𝑝 𝑞 𝑝↓𝑞

𝑉 𝑉 𝐹
𝑉 𝐹 𝐹
𝐹 𝑉 𝐹
𝐹 𝐹 𝑉

El resultado es verdadero únicamente cuando las dos proposiciones son falsas

(𝑛𝑖 𝑝 𝑛𝑖 𝑞), en cualquier otro caso es falsa.

Ejemplo:

A partir de las siguientes proposiciones, determine la proposición resultante de

efectuar la conjunción negativa.

𝑝: Tengo caramelos
𝑞: Tengo un helado

Sea 𝑝 ↓ 𝑞: Ni tengo caramelos, ni tengo un helado.

12
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Queda claro que las dos proposiciones deben ser falsas. Es decir que el
enunciado es verdadero sólo si las dos son falsas. En caso de tener ambas, o
de no tener una de las dos, el enunciado es falso.

1.1.6 Tablas de verdad

Utilizando los conectivos lógicos, se pueden combinar cualquier número finito de

proposiciones simples, para obtener otras proposiciones cuyos valores de
verdad pueden ser conocidos construyendo sus tablas de verdad.

Para efectuar el número de combinaciones de los valores de las proposiciones,

recurrimos a la relación 𝟐𝒏 , donde 𝒏 representa el número de proposiciones.

Ejemplo:
Construir la tabla de verdad de las siguientes proposiciones:

1.-  p → (q  p ) → q

Solución: 2𝑛 = 22 = 4 combinaciones posibles.

𝑝 𝑞 [¬𝑝 → (𝑞 ∧ 𝑝)] → ¬𝑞

𝑉 𝑉 𝐹 𝑉 𝑉 𝑭 𝐹
𝑉 𝐹 𝐹 𝑉 𝐹 𝑽 𝑉
𝐹 𝑉 𝑉 𝐹 𝐹 𝑽 𝐹
𝐹 𝐹 𝑉 𝐹 𝐹 𝑽 𝑉

2.-  p  (q  r )   ( p  r )  q

13
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Solución: 2𝑛 = 23 = 8 combinaciones posibles.

𝑝 𝑞 𝑟 [¬𝑝 ∧ (𝑞 ∨ 𝑟)] ↔ [(𝑝 ∨ 𝑟) ∧ q

𝑉 𝑉 𝑉 𝐹 𝐹 𝑉 𝑭 𝑉 𝑉 𝑉
𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑭 𝑉 𝑉 𝑉
𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝑽 𝑉 𝐹 𝐹
𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑽 𝑉 𝐹 𝐹
𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑽 𝑉 𝑉 𝑉
𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝑭 𝐹 𝐹 𝑉
𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑭 𝑉 𝐹 𝐹
𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝑽 𝐹 𝐹 𝐹

1.1.7 Equivalencias Lógicas

Dos proposiciones 𝒑 y 𝒒 se llaman equivalentes si sus tablas de verdad son

idénticas. De ser así se denota: 𝒑 ≡ 𝒒

Ejemplo:

Sea 𝒔: 𝒑 → 𝒒, recordamos su tabla de verdad:

𝑝 𝑞 𝑝→𝑞
𝑉 𝑉 𝑉
𝑉 𝐹 𝐹
𝐹 𝑉 𝑉
𝐹 𝐹 𝑉

Ahora bien, si analizamos la proposición 𝒕: ¬𝒑 ∨ 𝒒, su tabla de verdad resulta:

14
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝑝 𝑞 ¬𝑝 ∨ 𝑞
𝑉 𝑉 𝑉
𝑉 𝐹 𝐹
𝐹 𝑉 𝑉
𝐹 𝐹 𝑉

Como vemos, luego de realizar las tablas de valores de verdad, encontramos

que ambas proposiciones tienen el mismo resultado final. Con esto, decimos
que ambas proposiciones son lógicamente equivalentes, y en este caso
particular lo simbolizamos:

𝒔≡𝒕
(𝒑 → 𝒒) ≡ (¬𝒑 ∨ 𝒒)

1.1.8 Tautología Contradicción y Contingencia

Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo

denominamos fórmula lógica.

Por ejemplo:
¬[(𝒑 → 𝒒) ∧ (𝒔 ∧ 𝒕)]

Tautología:

Si al evaluar una fórmula lógica, resulta que todos los valores de verdad
resultantes son siempre verdaderos para cualquier combinación de sus valores
de verdad, decimos que dicha fórmula es una Tautología o Ley Lógica.
Ejemplo:
Si analizamos la proposición 𝒕: 𝒑 ∨ ¬𝒑 realizando su tabla de verdad:

15
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝑝 ¬𝑝 𝑝 ∨ ¬𝑝

𝑉 𝐹 𝑉
𝐹 𝑉 𝑉

Vemos que para cualquier combinación de las proposiciones 𝑝 y su negación

 p , la proposición 𝑝 ∨ ¬𝑝 es siempre verdadera. Entonces, la proposición 𝑡 es
una tautología.

Ejemplo:
Analicemos ahora la fórmula lógica: {(𝒑 → 𝒒) ∧ 𝒑 } → 𝒒

𝑝 𝑞 𝑝 → 𝑞 (𝑝 → 𝑞) ∧ 𝑝 {(𝑝 → 𝑞) ∧ 𝑝 } → 𝑞

𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝐹 𝑉
𝐹 𝑉 𝑉 𝐹 𝑉
𝐹 𝐹 𝑉 𝐹 𝑉

En este caso comprobamos también que independientemente de la combinación

de valores de verdad de las proposiciones 𝑝 y 𝑞, el resultado de la fórmula lógica
es siempre verdadero. Decimos, aquí también, que esta fórmula es una
tautología o ley lógica.

Ejemplo:
Analicemos ahora la fórmula lógica: 𝒑 → 𝒒 ↔∼ (𝒑 ∧∼ 𝒒)

𝑝 𝑞 𝑝→𝑞 (𝑝 ∧ ¬𝑞) ¬(𝑝 ∧ ¬𝑞) 𝑝 → 𝑞 ↔ ¬(𝑝 ∧ ¬𝑞)

16
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝑉 𝑉 𝑉 𝐹 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉 𝐹 𝑉
𝐹 𝑉 𝑉 𝐹 𝑉 𝑉
𝐹 𝐹 𝑉 𝐹 𝑉 𝑉

También es una tautología.

Contradicción:

Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta

que para cualquier valor de verdad de las proposiciones intervinientes el
resultado de dicha fórmula es siempre falso, decimos que dicha fórmula es una
contradicción.

Ejemplo:
Analicemos la fórmula lógica: 𝒑 ∧ ¬𝒑

𝑝 ¬𝑝 𝑝 ∧ ¬𝑝

𝑉 𝐹 𝐹
𝐹 𝑉 𝐹

Encontramos que la fórmula es siempre falsa, es entonces una contradicción.

Contingencia:

Si una proposición no es una tautología ni una contradicción (es decir que

contiene al menos un valor 𝑉 y otro 𝐹) es una contingencia.

17
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

1.1.9 Leyes del álgebra proposicional

Nos permiten simplificar un problema y expresarlo de forma más sencilla, las

principales leyes son:

Tercio excluido:

𝑝 ∨ ¬𝑝 ≡ 𝑉
𝑝 ∧ ¬𝑝 ≡ 𝐹

Involución:

¬(¬𝑝) ≡ 𝑝

Idempotencia:

(𝑝 ∧ 𝑝) ≡ 𝑝
(𝑝 ∨ 𝑝) ≡ 𝑝

Conmutatividad:

𝑝 ∨𝑞 ≡𝑞∨𝑝
𝑝 ∧𝑞 ≡𝑞∧𝑝
𝑝↔𝑞≡𝑞↔𝑝

Asociativa:

(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
(𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)

Distributiva:

(𝑝 ∨ 𝑞) ∧ 𝑟 ≡ (𝑝 ∧ 𝑟) ∨ (𝑞 ∧ 𝑟)
(𝑝 ∧ 𝑞) ∨ 𝑟 ≡ (𝑝 ∨ 𝑟) ∧ (𝑞 ∨ 𝑟)

18
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

De Identidad:

𝑉∧𝑉 ≡𝑉
𝐹∨𝐹 ≡𝐹
𝑝 ∨𝑉 ≡𝑉
𝑝 ∨𝐹 ≡ 𝑝
𝑝 ∧𝑉 ≡𝑝
𝑝 ∧𝐹 ≡ 𝐹

Del Complemento:

𝑝 ∨ ¬𝑝 ≡ 𝑉
𝑝 ∧ ¬𝑝 ≡ 𝐹

Por definición:

(𝑝 → 𝑞) ≡ ¬𝑝 ∨ 𝑞
¬(𝑝 → 𝑞) ≡ (𝑝 ∧ ¬𝑞)
(𝑝 ↔ 𝑞) ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
(𝑝 ↔ 𝑞) ≡ (𝑝 ∧ 𝑞) ∨ (¬𝑝 ∧ ¬𝑞)
(𝑝 ⊻ 𝑞 ) ≡ (𝑝 ∨ 𝑞 ) ∧ ¬ (𝑝 ∧ 𝑞 )

De Absorción:

𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝

De Morgan:

¬(𝑝 ∨ 𝑞) ≡ ¬𝑝 ∧ ¬𝑞)
¬(𝑝 ∧ 𝑞) ≡ ¬𝑝 ∨ ¬𝑞

19
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Ejemplos:

Simplificar las siguientes proposiciones aplicando las leyes del álgebra

proposicional.

1. ~ (p  ~ q) → (p  q)

~ [~ (p  ~ q)]  (p  q) ……………… Ley condicional

(p  ~ q)  (p  q) ……………… Ley de doble negación
p  (~ q  q) ……………… Ley distributiva
pV ……………… Ley del complemento
p ……………… Ley de identidad

2. ~ {(~𝒑 ∨ ~𝒒) ∨ ~𝒒 }

 ~{ ~p  (~q  ~q) } ……………… Asociativa

 ~{~p  ~q} ……………… Idempotencia
 ~~p  ~~q ……………… Morgan
pq ……………… Doble Negación

3. [(𝒑 ˄ 𝒒) → ~𝒓] 𝒗 [𝒑 → (𝒒 → ~𝒓)]

[~ (p ˄ q) v ~r] v [~p v (~q v ~r)] .................. Condicional

[(~p v ~q) v ~r] v [~p v (~q v ~r)] .................. Morgan
~p v ~q v ~r v ~p v ~q v ~r .................. Elimino signos de agrupación
(~p v ~p) v (~q v ~q) v (~r v ~r) .................. Asociativa

20
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

~p v ~q v ~r .................. Idempotencia
~ (p ˄ q ˄ r) .................. Morgan

4. (𝒑 → 𝒒) → 𝒑

~ (~ 𝑝 ∨ 𝑞) ∨ 𝑝 ……………… Condicional
(𝑝 ∧ ~ 𝑞) ∨ 𝑝 .…………….. Morgan
𝑝 ……………... Absorción

1.2. Funciones Proposicionales

Considere las siguientes proposiciones:

Gustavo es ingeniero.
Pedro es ingeniero.
Mario es ingeniero.

Estas proposiciones tienen algo en común y es el predicado. Esto se puede

expresar utilizando una variable individual (𝑥 ).

“𝑥 es ingeniero”

Esta expresión no es una proposición puesto que no es ni verdadero ni falso. 𝑥

es una variable que toma valores dentro de un conjunto (referencial), estas
expresiones reciben el nombre de funciones proposicionales.

21
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

La notación que se empleará para cualquier Proposición Simple serán las letras
p, q, r ,... etc., mientras que una función proposicional la representamos por
𝑃(𝑥 ), 𝑄(𝑥 ), 𝑅(𝑥 ), . .. , o también 𝑃𝑥 , 𝑄𝑥 , 𝑅𝑥 , …, etc.

Ejemplos: “𝑥 es un número racional”. “𝑧 es un número entero”.

En símbolos: 𝑃 (𝑥 ): 𝑥 𝜖 ℚ. 𝑅(𝑧): 𝑧 𝜖 ℤ

1.2.1 Cuantificadores

Las expresiones:

“Todo hombre es mortal”

“Algunos hombres son ignorantes”

Pueden traducirse:

Para todo 𝑥, si 𝑥 es hombre entonces es mortal.

Existe un 𝑥, tal que 𝑥 es hombre y 𝑥 es sabio.

Estos cuantificadores se dividen en:

Cuantificador universal:

Símbolo: ∀𝑥
Significa: “Para todo 𝑥”, “Todo 𝑥”, “Cada 𝑥”

22
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Cuantificador existencial:

Símbolo: ∃𝑥
Significa: “Existe un 𝑥, tal que”, “Hay 𝑥”, “Algún 𝑥”, “Algunos 𝑥”

Existen tres formas de convertir una función proposicional PX en una

proposición a saber:

Haciendo la sustitución de las variables por un término especifico:

Anteponiendo la expresión “Para todo 𝑥”
Anteponiendo la expresión “Existe un 𝑥”

(x )(PX ) : Existe un x tal que PX

( x )(PX ) : Para todo x , PX

Al anteponerle a la función proposicional PX un cuantificador, x pasa a ser una

variable ligada.

Una proposición ( x )(PX ) es V , cuando todas las sustituciones de la variable x

por elementos del conjunto de referencia convierte a PX en verdadera.

Una proposición ( x )(PX ) es V , cuando toda las sustituciones de la variable x

por al menos un elemento del conjunto de referencia.

Ejemplo:

Decir si las siguientes proposiciones son verdaderas o falsas.

23
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

a. (x  Z )(3x − 7 = −4x + 14)

b. (x  Z )(x 2 − 1  0)

c. (x  Z )(x 2 + 1 = 0)

d. (x  Z )((x + 1)2 = x 2 + 2x + 1)

Solución:

a. (x  Z )(3x − 7 = −4x + 14)

Como 3(3) − 7 = −4(3) + 14 , entonces el conjunto solución es 3, que no es vacío

y, por tanto, la proposición es verdadera.

b. (x  Z )(x 2 − 1  0)

Como esta proposición se debe cumplir para todo entero y 0  Z y

0 2 − 1 = −1  0 , entonces la proposición es falsa.

c. (x  Z )(x 2 + 1 = 0)

No es posible encontrar un entero tal que x 2 + 1 = 0 , por tanto la proposición es

falsa.

d. (x  Z )((x + 1)2 = x 2 + 2x + 1)

24
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Del álgebra se sabe que (x + 1) = x 2 + 2 x + 1, entonces la proposición es

2

verdadera.

Negación de proposiciones cuantificadas:

Las proposiciones universales pueden negarse como en el enunciado:

“No todos los ingenieros”.

Y se simboliza: ( x )(M X )

También se puede utilizar: “Ninguno, ningún, nada, nadie “.

La proposición “Ninguno es mecánico” no equivale a “No todos son

mecánicos”, sino a la expresión: Para todo 𝑥, 𝑥 no es mecánico.

( x )(M X )

Las proposiciones anteriores pueden ser negadas como por ejemplo:

“No es cierto que hay mecánicos”. En símbolos: ( x )(M X )

“Alguien no es mecánico”. En símbolos: (x )(M X )

Para estudiar la negación de funciones proposicionales, es conveniente fijar

nuestra atención en el diagrama dado. Veamos las cuatro formas de
proposiciones generales que hay tradicionalmente en la lógica:

25
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

A: Todo S es P: Todos los hombres son mortales.

E: Ningún S es P: Ningún hombre es mortal.
I: Algún S es P: Algún hombre es mortal.
O: Algún S no es P: Algún hombre no es mortal.

En las formas anteriores, S significa un sujeto del cual se afirma o niega algo, y
P es el predicado, o sea lo que se dice del sujeto.

Observe que las dos primeras proposiciones son universales, la primera

afirmativa y la segunda negativa; las dos últimas son particulares, la primera
afirmativa y la segunda negativa.

A continuación, se presentan las equivalencias, usando funciones

proposicionales con cuantificadores:

A: Todo S es P: (x )(Px ) Universal afirmativa.

E: Ningún S es P: (x )(Px ) Universal negativa.
I: Algún S es P: (x )(Px ) Particular afirmativa.
O: Algún S no es P: (x )(Px ) Particular negativa.

En Conclusión: La negación de una función proposicional con un cuantificador

universal es equivalente a la negación de la misma función proposicional,
precedida por el cuantificador existencial y viceversa.

Es decir:

(x  S )(Px )  (x  S )(Px ) ó (x  S )(Px )  (x  S )(Px )

Ejemplos:

26
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Encontrar la negación de las siguientes proposiciones:

a. (x  )(x + 3  10)

Solución:
(x  )(x + 3  10)  (x  )(x + 3 = 10)

b. (x  )(x + 3  7)

Solución:
(x  )(x + 3  7)  (x  )(x + 3  7)

1.3. Reglas de inferencia

Se llama inferencia lógica o argumento lógico a toda condicional de la

forma: (𝒑𝟏 ∧ 𝒑𝟐 ∧ 𝒑𝟑 ∧ … 𝒑𝒌 ) → 𝒒 donde las proposiciones 𝒑𝟏 , 𝒑𝟐 , 𝒑𝟑 , … 𝒑𝒌, son
llamadas premisas, y originan como consecuencia otra proposición denotada por
𝒒 llamada conclusión.

Una inferencia puede ser tautología, contingencia o contradicción. Si la

condicional es una tautología, es decir si es una implicación entonces recibe el
nombre de argumento válido o inferencia válida. Si la condicional no es una
tautología entonces se denomina falacia o simplemente argumento no válido.

Por ejemplo:

27
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Si 𝑝 implica 𝑞, y 𝑝 es verdadera, entonces 𝑞 es cierta.

Forma lógica:
1. 𝑝 → 𝑞
2. 𝑝
3. 𝑞

Esta regla nos permite, a partir de un enunciado condicional (𝑝 → 𝑞), concluir la

verdad de su consecuente (𝑞) a partir de la verdad de su antecedente (𝑝).

1. Si hoy es sábado, entonces Salimos a comer.

2. Hoy es sábado,
3. Por lo tanto, Salimos a comer.

1.3.1 Reglas de inferencia

A partir de las Reglas de Inferencia Fundamentales que fueron presentadas

anteriormente se derivan una serie de reglas que son muy útiles y que le
permiten a nuestra mente alcanzar las conclusiones de una manera más rápida.

Modus Ponendo Ponens (MPP)

𝑝→𝑞 𝑝→¬𝑞 ¬𝑝 →𝑞
𝑝 𝑝 ¬𝑝
∴𝑞 ∴¬𝑞 ∴𝑞

Modus Tollendo Tollens (MTT)

𝑝→𝑞
¬𝑞
∴¬𝑝

28
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Contra positiva (CP)

¬𝑝 →¬𝑞
𝑞
∴ 𝑝

Silogismo Hipotético (SH)

𝑝→𝑞
𝑞→𝑟
∴ 𝑝→𝑟

Inferencia Alternativa (IA) ó Tollendo Ponens (TP)

𝑝⋁𝑞 𝑝⋁𝑞
¬𝑞 ¬𝑝
𝑜
∴𝑝 ∴𝑞

Introducción de la Doble negación (IDN)

𝑝
¬ (¬ 𝑝)

Adjunción (ADJ)

𝑝 (𝑝𝑟𝑒𝑚𝑖𝑠𝑎)
𝑞 (𝑝𝑟𝑒𝑚𝑖𝑠𝑎)
∴ 𝑝∧𝑞

Simplificación (SIM)

29
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝑝 ∧ 𝑞
∴ 𝑝
∴ 𝑞

Silogismo Disyuntivo (SILD)

𝑝 ∨ 𝑞
𝑝 → 𝑟
𝑞 → 𝑠
∴ 𝑟 ∨𝑠

Simplificación Disyuntiva (SIMD)

𝑝 ∨ 𝑞
𝑝 → 𝑟
𝑞 → 𝑟
∴ 𝑟

Dilema Destructivo (DILD)

¬𝑝 ∨ ¬𝑞
𝑟 → 𝑝
𝑟 → 𝑞
∴ ¬𝑟

1.3.2 Reglas de la falacia:

Las dos falacias que presentamos a continuación son muy comunes y es

importante reconocerlas y evitar caer en ellas.

30
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Falacia de la afirmación del antecedente (AA)

𝑝→𝑞
𝑞
∴ 𝑝

Falacia de la negación del consecuente (NC)

𝑝→𝑞
¬𝑝
∴¬𝑞

1.3.3 Deducción proposicional

Con el manejo de unas pocas reglas empezamos a aprender el método de las

deducciones formales. Es decir se ha aprendido el camino preciso de demostrar
que los razonamientos son válidos. Un razonamiento es simplemente un
conjunto de proposiciones dadas como premisas y una conclusión deducida de
estas premisas.

La deducción puede hacerse teniendo un argumento en forma simbólica o en

forma oracional. Veamos los siguientes ejemplos:

Ejemplo 1: Dado el siguiente argumento simbólico deducir t s

1) e → s
2 ) t → j
3) e  j

Demostración

31
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

1) e → s
2) t → j
3) e  j

4) e 3.S
5) s 1,4 PP
6) j 3.S
7) t 2,6TT
8) t  s 5,7 A

Ejemplo 2: Deducir t
1) ( p  q ) → r
2)  ( q → r )
3) s  p
4) s → t

Demostración

1) ( p  q ) → r
2)  (q → r )
3) s  p
4 )s → t
________
5 ) p → (q → r ) 1. Exp
6 ) p 2 ,5 TT
7) s 3 ,6 TP
8) t 4 ,7 PP

Ejemplo 3: Deducir el Silogismo Hipotético

32
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Demostración

Ejemplo 4:

Si la ballena es un mamífero, entonces toma oxigeno del aire. Si toma su oxigeno

del aire, entonces no necesita branquias. La ballena es un mamífero y vive en el
océano. Por lo tanto no necesita branquias.

Lo primero que hay que hacer es identificar cada una de las proposiciones
simples

p: La ballena es un mamífero
q: La ballena toma su oxigeno del aire
r: La ballena necesita branquias
s: La ballena habita en el océano

33
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Se simboliza ahora el argumento

p→q (Primera premisa)

q → r (Segunda premisa)

ps (Tercera premisa)

r (Conclusión)

Pero veamos el procedimiento lógico para llegar a esta conclusión, es decir, la

deducción proposicional.

p→q

q → r

ps

p 3.S
q 1,4 PP
r 2,5 PP

Ejemplo 5:
Si sigue lloviendo, entonces el río crecerá. Si sigue lloviendo. Si sigue lloviendo
y el río crece, entonces el puente será arrastrado por las aguas. Si la
continuación de la lluvia hace que el puente sea arrastrado por las aguas,
entonces no será suficiente un solo camino para toda la ciudad. O bien un solo
camino es suficiente para toda la ciudad o bien los ingenieros han cometido un
error. Por tanto, los ingenieros han cometido un error.

Simbolizando las proposiciones

c: continúa lloviendo

34
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

r: el río crece
p: el puente es arrastrado por las aguas
s: un solo camino es suficiente para toda la ciudad
e: los ingenieros han cometido un error

La prueba formal de validez es:

1) c → r (Primera premisa)
2) (c  r ) → p (segunda premisa)
3) ( c → p ) → s (Tercera premisa)
4) se (cuarta premisa)

∴e (conclusión)

Veamos cómo se llega a la conclusión

1) c → r

2) (c  r ) → p

3) ( c → p ) → s

4) se

5) c → (c ∧ r) 1, Abs.
6) c → p 5,2, S.H.
7) ∼ s 3,6, P P.
8) e 4,7, TP.

35
 CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

1.3.4 Métodos de demostración

Demostraciones directas:

Conocido como “Marcha Adelante” consiste en examinar los elementos.

Ejemplo: Demostración Directa

−[(𝑝 → 𝑞 ) ∧ 𝑝] ∨ 𝑞

Aplicamos la Ley de Implicación: (𝑝 → 𝑞) ≡ (¬ 𝑝 ∨ 𝑞) ¬ [(¬ 𝑝 ∨ 𝑞 ) ∧ 𝑝] ∨ 𝑞

Aplicamos la Ley de Morgan de la Conjunción: ¬ (𝑝 ∧ 𝑞) ≡ (¬ 𝑝 ∨ ¬ 𝑞) [¬ (¬ 𝑝 ∨ 𝑞) ∨ ¬ 𝑝] ∨ 𝑞
Aplicamos la Ley de Morgan de la Disyunción: ¬ (𝑝 ∨ 𝑞) ≡ (¬ 𝑝 ∧ ¬ 𝑞) [¬ (¬ 𝑝) ∧ ¬ 𝑞 ) ∨ ¬ 𝑝] ∨ 𝑞
Aplicamos la Ley Involutiva (Doble Negación): ¬ (¬ 𝑝) ≡ 𝑝 [(𝑝 ∧ ¬ 𝑞) ∨ ¬ 𝑝] ∨ 𝑞
Aplicamos la Ley Conmutativa del Tercero excluido: (𝑝 ∨ ¬ 𝑝) ≡ 1 ¬ 𝑝 ∨ (𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜)
Aplicamos la Ley de Absorción de la Disyunción: 𝑝∨1≡ 𝑉 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜

Con lo cual queda demostrado que la forma proporcional es tautológica,

independientemente del valor de verdad que tomen las variables proposicionales.

Demostraciones por contraposición o contrarecíprocas:

Conocido como “Supongamos que no” basada en la equivalencia entre (𝑝 → 𝑞)

y (~𝑞 → ~𝑝)

Ejemplo:

“Demuéstrese que todos los números primos mayores que 2 son impares”

36
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Aquí la proposición 𝑝 es “𝑛 es un numero primo mayor que 2” y la proposición 𝑞

es “n es un número impar”.
Demostrar “Si todo numero primo es mayor que 2, entonces es impar (𝑝 → 𝑞) es
lo mismo que demostrar que “si todo entero a negativo no es impar, entonces no
es un numero primo o es menor o igual que 2” (~𝑞 → ~𝑝)

Desarrollo:
Número par 𝑛 = 2𝑘 donde 𝑘 es mayor o igual a 1 (números naturales).
Si 𝑘 = 1 tenemos 𝑛 = 2, es un número primo. Por lo tanto todos los números
primos mayores que 2 son impares.

Demostraciones por contraejemplo:

Consiste en dar un ejemplo y demostrar el hecho que la proposición sea falsa,

aportando por lo menos un ejemplo. El contraejemplo pone en evidencia que
existe al menos un caso en el cual la proposición no es verdadera.

Ejemplo:
Verifique si la siguiente proposición es verdadera:
“Las ciudades del Ecuador son capitales de provincias”
Desarrollo
Haciendo una lectura rápida podemos concluir que su valor de verdad es
verdadero, ya que en Guayaquil, Portoviejo, Machala, Quito entre otras, son
ciudades y capitales de provincias. Mientras que Quevedo es una ciudad y no es
capital de provincia alguna de nuestro país, lo mismo ocurre con ciudades como
Manta, Atacames y Milagro, constituyendo por ende contraejemplos para la
proposición objeto de estudio, la cual definitivamente es falsa.

37
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Demostraciones por reducción al absurdo:

En este método el operador principal de un razonamiento es la implicación (→),

la estructura no es tautológica si existe al menos un caso 10. Tomando como
conclusión que la hipótesis es falso.

Ejemplo:
Determine la validez del razonamiento: “si llueve, hay producción; si hay granizo,
no hay producción; hay granizo o no hay nevada. Por lo tanto, no llueve”

Desarrollo:
Identificando las proposiciones simples tenemos:

p: Llueve.
q: Hay producción.
r: Hay granizo.
s: Hay nevada.

La forma proposicional queda:

Si quisiéramos construir su tabla de verdad tendríamos que elaborar 16

combinaciones por las variables 𝑝, 𝑞, 𝑟 y 𝑠. Pero usando el método de reducción
al absurdo, determinaremos los valores de verdad, comenzando con el
consecuente del razonamiento, el cual se supone es falso; y para que el
antecedente sea verdadero, debe cumplirse que 𝐻1 ∧ 𝐻2 ∧ 𝐻3 sean verdaderas.
𝐻1 : 𝑝 → 𝑞
𝐻2 : 𝑟 → ~𝑞

38
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

𝐻3 : 𝑟 → ~𝑠

[((𝒑 → 𝒒) ∧ (𝒓 → ¬ 𝒒)) ∧ (𝒓 → ¬ 𝒔)] → ¬ 𝒑

𝑽 𝑽 𝑽 𝑭
¬𝒑≡𝑭
𝒑≡𝑽

(𝒑 → 𝒒) ≡ 𝑽 (𝒓 → ¬ 𝒒) ≡ 𝑽 (𝒓 → ¬ 𝒔) ≡ 𝑽
𝒒≡𝑽 𝒓≡𝑭 𝒔≡𝑭

Si a partir del supuesto valor de verdad de la conclusión, que es falso, se

determinó que el valor de verdad del antecedente es verdadero, la forma
proposicional no es tautológica. Por lo tanto, el razonamiento no es válido.

39
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Recursos complementarios / Videos

• Proposiciones: https://www.youtube.com/watch?v=erXWr0dQ6tI

• Conectores lógicos: https://www.youtube.com/watch?v=zBOJYcAZoaw

• Tablas de verdad: https://www.youtube.com/watch?v=a5cEaETtTNo

• Equivalencias lógicas: https://www.youtube.com/watch?v=v_o9YMjfcQM

• Funciones proposicionales y cuantificadores:

https://www.youtube.com/watch?v=Y8Dt653WEOs

https://www.youtube.com/watch?v=WwKsSBhPn1I

• Reglas de inferencia: https://www.youtube.com/watch?v=EZl50krCSJM

• Métodos de demostración:
https://www.youtube.com/watch?v=O7LOh4Sa5qE

40
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Bibliografía

1. Castillo, C., Navas, F., & Toro, J. L. (2016). Fundamentos de Matemática.

Quito: EPN.
2. Espinoza Ramos, E. (2004). Álgebra Pre Universitaria. Lima-Perú: Servicios
Gráficos J.J.
3. Flores P., M. (2018). Álgebra. Teoría y Práctica. Lima: San Marcos.
4. Gamarra Morales, H. (2016). Aritmética. Teoría y Práctica. Lima: San Marcos.
5. González, H. (s.f.). Matemática General. Santiago de Chile.
6. Mena Cervantes, V. (2011). Pre cálculo. México: I.P.N.
7. Rojo, A. (1996). Álgebra I. Buenos Aires.

41
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

Actividades de aprendizaje autónomo

1. Construya la tabla de verdad para la siguiente proposición compuesta:

(𝑝 → 𝑞) ⟷ (𝑝 ∧ (∼ 𝑞))

2. Sin usar tablas de verdad, demuestre que la siguiente proposición es una

tautología.
(𝑝 ∧ 𝑞 ) → ( 𝑝 ↔ 𝑞 )

3. Sean 𝑝, 𝑞, 𝑟 proposiciones, supongamos que 𝑝 es verdadera, 𝑞 es falsa y 𝑟 es

verdadera; determine el valor de verdad de la siguiente proposición:
[𝑝 ∨ (∼ 𝑞)] ⇔ [𝑞 ∧ 𝑟].

4. Si 𝑝 es falsa, 𝑞 es verdadera y (𝑝 ∧ 𝑞) ⇔ [𝑞 ∧ (∼ 𝑟)] es verdadera; determine

el valor de verdad de la proposición 𝑟.

5. Sean 𝑝, 𝑞, 𝑟 proposiciones. Obtenga la negación de la proposición siguiente.

Exprese el resultado solo con los tres conectores fundamentales
(𝑝 ⇒ 𝑞 ) ⇔ (∼ 𝑞 ∧ 𝑟 )

6. Demuestre la siguiente equivalencia lógica, no use tablas de verdad.

𝑝 → (𝑞 ∨ 𝑟 ) ≡ (𝑝 → 𝑞 ) ∨ (𝑝 → 𝑟 )

7. Simplifique las siguientes proposiciones a su mínima expresión.

[∼ (𝑝 → 𝑞) ∧ (∼ 𝑝)] ⟷ [𝑞 ∨ (𝑞 → (∼ 𝑝))]

8. Utilizando las leyes del algebra de proposiciones, demuestre:

[(~𝑝 ∧ 𝑞) → (𝑞 → 𝑝)] ∧ 𝑝 ≡ 𝑝

42
CURSO DE NIVELACIÓN POR CARRERAS Tema # 1

9. Determine el valor de 𝑝 , si se sabe que ∼ 𝑞 es una contradicción de la

siguiente tauitología:
(𝑝 ∨ (∼ 𝑞)) ∧ (∼ 𝑝 → 𝑞)

10. Demuestre la validez de los siguientes razonamientos

a) 𝑝→𝑞
b) ∼ (𝑟 ∧ (∼ 𝑠))
c) ∼𝑟→𝑝
d) ∼𝑠
Conclusión: 𝑞

11. ¿Qué conclusión se deduce de la siguiente premisa?

a) Si el Ecuador explotara su propio petróleo, entonces el Ecuador tendría
mayores ingresos económicos.
El Ecuador explota su propio petróleo.

12. Simbolice el siguiente razonamiento y de una deducción completa de la

conclusión.

a) Cada número divisible por dos es par.

b) Cuatro o es impar o es un número divisible por
dos.
c) Cuatro no es impar.
Conclusión: Cuatro es par.

13. Determine el valor de verdad de la siguiente proposición, y luego desarrolle

su negación
(∀𝑥 ∈ ℝ)(𝑥 + 4 ≥ 0) → (∃𝑥 ∈ ℝ)(2𝑥 − 5 < 0)

14. Demuestre que la siguiente proposición es falsa. Luego niegue la proposición

(∀𝑥 ∈ ℝ)(6𝑥 2 − 𝑥 − 2 = 0 → 𝑥 > 0)

43