LÓGICA PROPOSICIONAL

Proposición: Es todo enunciado al cual se le puede asignar, con

sentido, uno y solo uno de los llamados valores de verdad veritativos:
verdadero (V) o falso (F)
Ejemplos:
1. Saturno gira en torno al sol
2. Mañana será feriado
3. ¡Dios mío, que el profesor me apruebe!
4. ¿Me amas?
5. Dos rectas paralelas determinan un plano
6. Juan ama a Rosa
7. José y Pedro son compañeros
Clase de proposiciones:
La proposición “Juan es abogado y profesor”, se puede descomponer
en: “Juan es abogado” y “Juan es profesor”, que son proposiciones
en su forma más elemental, que consta del mismo sujeto: Juan, y de un
predicado: es abogado, en el primer caso y es profesor, en el segundo
Estas proposiciones reciben el nombre de proposiciones simples o
atómicas.
De ahí que la proposición “Juan es abogado y profesor”, no es simple
y se llama compuesta o molecular.
La proposición “Rosa y María son amigas” no se puede descomponer
en otras proposiciones simples, pues si las descomponemos en “Rosa
es amiga” y “María es amiga”, estas no son proposiciones porque no
tiene sentido decir son verdaderas o son falsas
La proposición “un número es positivo” es una proposición simple o
atómica, la negación “un número no es positivo” no es una
proposición compuesta o molecular.

Proposición Simple o Atómica: es una proposición que en su forma

más elemental, consta de uno o varios sujetos y de un solo predicado
que afirma algo en torno a dichos sujetos.
Ejemplos:
1. 8 es un número impar
2. Juan tiene más edad que Pedro
3. 5 es divisible por 30

1
NOTA: Las proposiciones simples o atómicas se simbolizan por las
letras p, q, r, s,…, etc. Estas letras son llamadas variables
proposicionales.

Proposición Compuesta o Molecular: Es aquella que está constituida

por dos o más proposiciones simples o atómicas; o es una negación.
Ejemplos:
1. 5 es un número par y 2 es un número par.
2. O 5 es un número primo o 2 es un número par
3. Si 5 es un número primo, entonces 2 es un número par
NOTA: para formar las proposiciones compuestas se utilizan las palabra
“y”, “o”, “O…o…”, “si, …, entonces…”, “si y sólo si”, “no”, “ni… Ni…”,
llamados Términos de enlace, conectivos lógicos, conectores,
operadores, functores, etc.

2
Operaciones Proposicionales
Dada una o dos proposiciones, cuyo valor de verdad se conocen, se trata de caracterizar la proposición
resultante a través de su valor de verdad. Se supone que en la elección de estos valores se tiene en cuenta
el buen sentido. A continuación se presenta una tabla con los diversos conectores lógicos:

DISYUNCIÓN DISYUNCIÓN NEGACIÓN NEGACIÓN

VARIABLES CONJUNCIÓN CONDICIONAL BICONDICIONAL NEGACIÓN
DÉBIL FUERTE ALTERNA CONJUNTA
p q p ∧ q p v q p v q p → q p ↔ q ~ p p | q p ↓ q
V V V V F V V F F V

V F F V V F F V V

F V F V V V F V V V

F F F F F V V V F

f. Sheffer f. Nicod

Simbolización De Esquemas Moleculares

Simbolizar las proposiciones consiste en reemplazar cada una de las proposiciones atómicas que
intervienen por una variable proposicional, y cada conectivo lógico por su símbolo correspondiente. Los
signos de agrupación se usan para evitar ambigüedades.
Ejemplos: Simbolizar las siguientes proposiciones
1. Si estudias lógica, entonces amarás la ciencia y comprenderá mejor a tus semejantes.
2. Sean:
p= Hoy es lunes
q= hay clases
r= rendiré examen

3
 a) Escribir cada una de las proposiciones:
 Hoy es lunes, pero no hay clases 𝒑 ∧ ~𝒒
 Si hoy es lunes y hay clases, entonces rendiré examen
(𝒑 ∧ 𝒒) → 𝒓
 No rendiré examen puesto que no hay clases ~𝒒 → ~𝒓
 No es cierto que, hoy no es lunes o no hay clases ~(~𝒑 ∨ ~𝒒)

b) Traducir los siguientes enunciados simbólicos

 ~𝒓 ↔ ~𝒒 No rendiré examen si y solo si no hay clases
 ~(𝒑 ∧ 𝒒) → ~𝒓 Si es falso que hoy es lunes y hay clases, entonces no rendiré examen
 ~[𝒓 → (𝒑 ∧ 𝒒)] Es imposible que, si rindo examen, entonces hoy es lunes y hay clases

3. Utilizando las variables:

p= Cristal gana el campeonato
q= Alianza queda en segundo lugar
r= Universitario gana todos los partidos restantes

Simbolizar:
a) Si Cristal gana el campeonato, entonces Alianza queda en segundo
lugar y Universitario no gana todos los partidos restantes.
𝒑 → (𝒒 ∧ ~𝒓)
b) Universitario gana todos los partidos restantes pues Cristal gana el
campeonato o Alianza queda en segundo lugar.
(𝒑 ∨ 𝒒) → 𝒓
c) O bien, si Cristal gana el campeonato, entonces Alianza queda en
segundo lugar, o bien Universitario gana todos los partidos restantes
si Alianza no queda en segundo lugar.

(𝒑 → 𝒒) ∨ (~𝒒 → 𝒓)
NOTA:
 La negación también puede afectar a una proposición molecular. En este caso,
utilizaremos delante de dicha proposición: “no es cierto que,”; “no es el caso que,”;
“es falso que,”; “es imposible que,”, etc.
 Otras formas condicionales ANTECEDENTE-CONSECUENTE: “por lo tanto”, “luego”,
“en consecuencia”, “de modo que”, “en conclusión”, “de ahí que”, “por consiguiente”,
“se concluye”, “se deduce”, “así pues”, “es una condición suficiente de”, etc.
 Otras formas condicionales CONSECUENTE-ANTECEDENTE: “puesto que”, “ya
que”, “porque”, “cada vez que”, “si”, “dado que”, “siempre que”, “pues”, “en vista de
que”, “supone que”, “es una condición necesaria de”, etc.

Evaluación de Esquemas Moleculares

4
Evaluar un esquema molecular por medio de tablas de valores de verdad, consiste en
obtener los valores del conectivo de mayor jerarquía presente en la proposición, a partir
de los valores de verdad de cada una de las proposiciones simples (atómicas) que la
conforman.

Un esquema molecular es:

CONSISTENTE cuando en su columna resultado hay por lo menos una verdad y

una falsedad
TAUTOLÓGICO cuando los valores de verdad de su conectivo de mayor jerarquía
son todos verdaderos
CONTRADICTORIO cuando en su columna resultado son todos falsos

EJEMPLO: evaluar los siguientes esquemas moleculares por medio de tablas de

valores de verdad

1. [(𝐩 ⟶∼ 𝐪)⋀(𝐫 ⟷∼ 𝐩)]⋁(∼ 𝐫 ⟶ 𝐪)

2. {(𝐩 ⋁ ∼ 𝐪) ∧∼ [𝐫 ∨∼ (𝐪 ∧ 𝐩)]} ⟶ [[𝐪 ⟶ (𝐫⋁𝐩)]]

3. [(∼ 𝐩 ∧ 𝐪) ⟶ ∼ 𝐫] ⟷ [𝐫 ⋀ ∼ (𝐩 ⋁ ∼ 𝐪)]

Solución
1.

p q r [( 𝐩 ⟶ ∼ 𝐪) ⋀ ( 𝐫 ⟷ ∼ 𝐩)] ⋁ (∼ 𝐫 ⟶ 𝐪)
V V V F F F V V
V V F F F V V V
V F V V F F V V
V F F V V V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V F F F F

Por lo tanto el sistema es CONSISTENTE o CONTINGENTE

2. El sistema es TAUTOLÓGICO
3. El sistema es CONTRADICTORIO

VALOR DE VERDAD DE UNA PROPOSICIÓN MOLECULAR

5
Cuando se desea hallar el valor de verdad de una proposición molecular, por tablas de valores
de verdad, se procede de forma abreviada, utilizando solamente la fila que contiene los valores
de verdad de las proposiciones atómicas que intervienen o, también, usando niveles
EJEMPLO: Determinar el valor de verdad de la proposición:

𝐒𝐢 𝟐 + 𝟑 = 𝟔 ó 𝟐 = 𝟑, 𝐞𝐧𝐭𝐨𝐧𝐜𝐞𝐬 𝟐 < 3; 𝐬𝐢 𝐲 𝐬ó𝐥𝐨 𝐬𝐢 2 ≠ 3 𝑦 2 ≮ 3

Solución
p: 2 + 3 = 6 (F)

q: 2 = 3 (F)

r: 2 < 3 (V)

Simbolizando tenemos: [(𝐩 ∨ 𝐪) ⟶ 𝐫] ⟷ (∼ 𝐪 ∧ ∼ 𝐫)

p q r [( 𝐩 ∨ 𝐪) ⟶ 𝐫 ] ⟷ (∼ 𝐪 ∧ ∼ 𝐫)
F F V F V V F F

Utilizando niveles

[( 𝐩 ∨ 𝐪) ⟶ 𝐫] ⟷ (∼ 𝐪 ∧ ∼ 𝐫)
F F F V

F V V F

V F

F
Por lo tanto, la proposición es FALSA.

EJEMPLO:
Si se sabe que la proposición ∼ 𝐩 ∧ 𝐪 es verdadera y la proposición 𝐫 ⟶ ( 𝐭 ⟷ ∼ 𝐪) es falsa,
hallar el valor de verdad de la proposición: [(𝐩 ∨ ∼ 𝐫) ⟶ (𝐪 ∧ ∼ 𝐭)] ⟷ (∼ 𝐩 ↓ 𝐭)

Solución
∼ 𝐩 ∧ 𝐪
F

V V

6
También:

𝐫 ⟶ ( 𝐭 ⟷ ∼ 𝐪)
V

V F

V F

Ahora, como p es F, q es V, r es V y t es V, hallamos el valor de verdad de la proposición:

[( 𝐩 ∨ ∼ 𝐫 ) ⟶ ( 𝐪 ∧ ∼ 𝐭)] ⟷ (∼ 𝐩 ↓ 𝐭)
V V F

F F V F V V

F F

V F

F
Por lo tanto, la proposición es FALSA
EJERCICIO: Sabiendo que la proposición simbolizada por ∼ [(𝐫 ∧ 𝐪 ) ⟶ (𝐫 ⟶ 𝐩)] es verdadera,
hallar el valor de verdad de: ∼ [(𝐪 ⟷∼ 𝐫 ) ∧ (𝐩 ⟶∼ 𝐪)] v (𝐫 | 𝐩)
IMPLICACIÓN Y EQUIVALENCIA
a) IMPLICACIÓN
Cuando tratamos de la condicional observamos que muchas veces no hay relación entre las
proposiciones que la constituyen. Sin embargo, la mayor parte de los condicionales útiles
dentro del lenguaje científico y, en especial dentro de la matemática, contienen proposiciones
que se relacionan de alguna forma, como por ejemplo: “Si un triángulo es Isósceles,
entonces sus ángulos interiores son iguales”
DEFINICIÓN: Decimos que una proposición p implica a otra proposición q, o que q se deduce
de p, si no se verifica que p sea verdadera y q sea falsa, o también si q es verdadera siempre
que p sea falsa. La relación p implica a q se denota 𝐩 ⟹ 𝐪.
DEFINICIÓN: Un esquema o una proposición A implica a otro esquema o proposición B,
cuando unidos por el condicional “⟶”, estando A como antecedente y B como consecuente,
el resultado es una TAUTOLOGÍA.
Ejemplo: Determinar si la proposición “Un número es mayor que cero si es positivo aunque
sea primo”, implica a la proposición “Un número es mayor que cero puesto que no es primo”
Solución
p= Un número es mayor que cero
q= Un número es positivo
r = Un número es (sea) primo
7
 Simbolizando tenemos: 𝐀 = (𝐪 ⟶ 𝐩) ∧ 𝐫
𝐁= ∼𝐫⟶𝐩
p q r [(𝐪 ⟶ 𝐩) ∧ 𝐫] ⟶ (∼ 𝐫 ⟶ 𝐩)
V V V V V V V F V V
V V F V F F V V V V
V F V F F V V F V V
V F F F F F V V V V
F V V V V V V F V F
F V F V F F V V F F
F F V V V V V F V F
F F F V F F V V F F
Por lo tanto la proposición A implica a la proposición B
b) EQUIVALENCIA
Cuando tratamos de la bicondicional, observamos que en muchos casos no hay relación entre
las proposiciones que la constituyen, sin embargo, la generalidad de los bicondicionales útiles
en el lenguaje científico y, en especial dentro de la matemática, contiene proposiciones que
se relacionan de alguna manera, como por ejemplo:
“Un cuadrilátero es un cuadrado si y sólo si el cuadrilátero es regular”
DEFINICIÓN: se dice que una proposición p es equivalente a otra proposición q, si se verifica
que p implica a q y q implica a p, es decir: (𝐩 ⟹ 𝐪) ∧ (𝐪 ⟹ 𝐩)
DEFINICIÓN: Decimos que una proposición p es equivalente a otra proposición q, si p y q
tienen los mismos valores de verdad. La equivalencia se denota 𝐩 ⟺ 𝐪 ó también 𝐩 ≡ 𝐪
DEFINICIÓN: Dos esquemas A y B, son equivalentes, cuando unidos por el bicondicional “⟷”
el resultado es una TAUTOLOGÍA
DEFINICIÓN: Dos esquemas o dos proposiciones son equivalentes, cuando tienen los
mismos valores de verdad en sus columnas principales.
Ejemplo: Determinar cuáles de las proposiciones siguientes son equivalentes:
A= Si los números enteros son reales, entonces con números enteros se forman fracciones;
sin embargo, los números reales no son divisibles por cero a pesar de que con números
enteros se forman fracciones.
B= No es el caso que los números reales son divisibles por cero o con números enteros no se
forman fracciones.
C= O con números enteros se forman fracciones o los números enteros no son reales; no
obstante, con números enteros se forman fracciones a la vez que los números reales no
son divisibles por cero.
Solución
Simbolizando la proposiciones simples
p= Los números enteros son reales
q= Con números enteros se forman fracciones
r = Los números reales son divisibles por cero

Simbolizando los esquemas

A= (𝐩 ⟶ 𝐪) ∧ (∼ 𝐫 ∧ 𝐪)
B= ∼ (𝐫 ∨∼ 𝐪)
C= (𝐪 𝚫 ∼ 𝐩) ∧ (𝐪 ∧ ∼ 𝐫)

8
Evaluando los esquemas
p q r (𝐩 ⟶ 𝐪) ∧ (∼ 𝐫 ∧ 𝐪) ∼ (𝐫 ∨ ∼ 𝐪) (𝐪 𝚫 ∼ 𝐩) ∧ (𝐪 ∧ ∼ 𝐫)
V V V V F F F V V F F
V V F V V V V F V V V
V F V F F F F V F F F
V F F F F F F V F F F
F V V V F F F V F F F
F V F V V V V F F F V
F F V V F F F V V F F
F F F V F F F V V F F

Por lo tanto, como los esquemas A y B son iguales, entonces 𝐀 ≡ 𝐁

LEYES LÓGICAS
Un esquema molecular es una ley lógica, si y sólo si, cualquiera que sea la interpretación
formalmente correcta que se haga del mismo, dé como resultado una verdad lógica, es decir,
una TAUTOLOGÍA.
En la lógica tradicional son conocidas las tautologías con el nombre de principios lógicos y son
los siguientes:
A. PRINCIPIOS LÓGICOS
1. PRINCIPIO DE IDENTIDAD: Toda proposición es idéntica a sí misma
𝐩⟶𝐩 𝐲 𝐩⟷𝐩
2. PRINCIPIO DE NO CONTRADICCIÓN: Es imposible que una proposición sea
verdadera y falsa a la vez.
∼ (𝐩 ∧∼ 𝐩)
3. PRINCIPIO DEL TERCIO EXCLUIDO: Una proposición o es verdadera o es falsa; no
hay una tercera posibilidad.
(𝐩 ∨∼ 𝐩)
B. EQUIVALENCIAS NOTABLES: Son leyes lógicas que sirven para transformar esquemas
o proposiciones, y obtener sus respectivas equivalencias.
1. DOBLE NEGACIÓN (DN): Dos negaciones de igual alcance equivale a una afirmación
∼∼ 𝐩 ≡ 𝐩
2. IDEMPOTENCIA (Idem): las variables que se repiten en una cadena de conjunciones
o disyunciones, se pueden eliminar
De la conjunción De la disyunción
𝐩∧𝐩≡𝐩; 𝐩∨𝐩≡𝐩
3. CONMUTATIVIDAD (Conm) si en las proposiciones conjuntivas o disyuntivas se
permutan sus respectivos componentes, sus equivalencias significan lo mismo.
De la conjunción De la disyunción
𝐩∧𝐪 ≡𝐪∧𝐩; 𝐩∨𝐪 ≡ 𝐪∨𝐩
4. ASOCIATIVA (Asoc) si en un esquema conjuntivo o disyuntivo, aparece más de una
conjunción o disyunción, éstas pueden agruparse indistintamente
De la Conjunción
𝐩 ∧ 𝐪 ∧ 𝐫 ≡ (𝐩 ∧ 𝐪) ∧ 𝐫 ≡ 𝐩 ∧ (𝐪 ∧ 𝐫)
De la Disyunción
9
 𝐩 ∨ 𝐪 ∨ 𝐫 ≡ (𝐩 ∨ 𝐪) ∨ 𝐫 ≡ 𝐩 ∨ (𝐪 ∨ 𝐫)
5. DISTRIBUTIVIDAD (Dist)
i) De la Conjunción respecto a la Disyunción
𝐩 ∧ (𝐪 ∨ 𝐫) ≡ (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫)
ii) De la Disyunción respecto a la Conjunción
𝐩 ∨ (𝐪 ∧ 𝐫) ≡ (𝐩 ∨ 𝐪) ∧ (𝐩 ∨ 𝐫)
6. LEYES de DE MORGAN (De M)
i) Negación de una Conjunción
∼ (𝐩 ∧ 𝐪) ≡∼ 𝐩 ∨ ∼ 𝐪
ii) Negación de una Disyunción
∼ (𝐩 ∨ 𝐪) ≡∼ 𝐩 ∧ ∼ 𝐪
7. DE COMPLEMENTACIÓN (Comp)
𝐩 ∨∼ 𝐩 ≡ 𝐕 𝐩∧∼𝐩≡𝐅
8. DE IDENTIDAD (Ident)
𝐩∨𝐅≡𝐩 𝐩∧ 𝐕 ≡𝐩
𝐩∨𝐕≡𝐕 𝐩∧ 𝐅≡𝐅
Definición de la Condicional

𝐩 ⟶ 𝐪 ≡ ∼ 𝐩 ∨ 𝐪 ≡∼ (𝐩 ∧∼ 𝐪)

CONDICIONALES ASOCIADAS
Sea la condicional: 𝐩 ⟶ 𝐪 que llamaremos DIRECTA, en conexión con ella se presentan otras
tres, obtenidas por permutaciones o negaciones del antecedente y consecuente, así:
𝐩⟶𝐪 DIRECTA
𝐪⟶𝐩 RECÍPROCA
∼𝐩⟶∼𝐪 CONTRARIA
∼𝐪⟶∼𝐩 CONTRARECÍPROCA

Se puede verificar mediante tablas de valores de verdad, que las siguientes bicondicionales son
tautologías.

(𝐩 ⟶ 𝐪) ⟷ (∼ 𝐪 ⟶ ∼ 𝐩)

(𝐪 ⟶ 𝐩) ⟷ (∼ 𝐩 ⟶ ∼ 𝐪)
Es decir:

(𝐩 ⟶ 𝐪) ≡ (∼ 𝐪 ⟶ ∼ 𝐩)

(𝐪 ⟶ 𝐩) ≡ (∼ 𝐩 ⟶ ∼ 𝐪)

10
LA INFERENCIA
Definición: Una inferencia es una estructura de proposiciones en la que, a partir de una o más
proposiciones llamadas premisas, se obtiene otra que es llamada la conclusión. Es decir:

p1
p2
.
PREMISAS .
.
pn
CONCLUSIÓN ∴q

Ejemplo: “Es abril y las clases han empezado en la Universidad. Por consiguiente, Carlos llegará
en cualquier momento”
Expresamos esta inferencia como una estructura de proposiciones
Es abril.
Las clases han empezado en la Universidad.
Por consiguiente, Carlos llegará en cualquier momento
Las inferencias también se llaman: razonamientos, enunciados o argumentos

VALIDEZ DE UNA INFERENCIA

De una inferencia no se puede decir que es verdadera o falsa (pues esto corresponde a las
proposiciones), sino que es VALIDA o CORRECTA o NO VÁLIDA o INCORRECTA.
Si la premisa o conjunción de premisas implica a la conclusión, es decir, si la condicional es la
premisa o conjunción de premisas y el consecuente es la conclusión, es TAUTOLOGÍA, la
inferencia es VALIDA.

DEFINICIÓN: Una inferencia es VÁLIDA si y sólo si (𝐩𝟏 ∧ 𝐩𝟐 ∧ 𝐩𝟑 ∧ … ∧ 𝐩𝐧 ) ⟶ 𝐪 , es una

TAUTOLOGÍA.

NOTA: LA TAREA PRINCIPAL DE LA LÓGICA ES ESTUDIAR LA VALIDEZ O NO VALIDEZ

DE LAS INFERENCIAS O RAZONAMIENTOS.

DETERMINACIÓN DE LA VALIDEZ DE UNA INFERENCIA

- MÉTODO DE VALORES DE VERDAD Según la definición para determinar si una inferencia

es VÁLIDA, hay que probar si la premisa o conjunción de premisas implica a la conclusión.

1. Usando las tablas de valores de verdad:

1º Se simboliza la inferencia en la forma PREMISAS-CONCLUSIÓN
2º Se construye su condicional asociada
3º Se procede a la evaluación del esquema condicional
Ejemplo1: Determinar la validez del siguiente razonamiento: “Si Antonio fue a Lima, o bien se
dedicó a pasear o bien realizó gestiones en el Ministerio. Antonio no se dedicó a pasear.
En consecuencia, si Antonio fue a Lima, realizó gestiones en el Ministerio”
Solución:

p= Antonio fueue a Lima

q= Antonio se dedicó a pasear
r = Antonio realizó gestiones en el Ministerio

11
Luego:
𝐩 ⟶ (𝐪∆𝐫)
~𝐪
∴𝐩⟶𝐫

{[𝐩 ⟶ (𝐪∆𝐫)] ∧ ~𝐪} ⟶ (𝐩 ⟶ 𝐫)

p q r {[ 𝐩 ⟶ ( 𝐪 ∆ 𝐫)] ∧ ~𝐪} ⟶ (𝐩 ⟶ 𝐫)
V V V F F F F V V
V V F V V F F V F
V F V V V V V V V
V F F F F F V V F
F V V V F F F V V
F V F V V F F V V
F F V V V V V V V
F F F V F V V V V

Por lo tanto el razonamiento es VÁLIDO

Ejemplo2: Determinar la validez del siguiente razonamiento: “O hay lluvias en la sierra o los
sembríos se pierden y baja el nivel de vida. Pero, no es el caso que no haya lluvias en la sierra
y no baje el nivel de vida. Luego, si no se pierden los sembríos hay lluvias en la sierra”
Solución:

p= Hay lluvias en la sierra

q= Los sembríos se pierden
r = Baja (e) el nivel de vida
Luego:
𝐩∆(𝐪 ∧ 𝐫)
~(~𝐩 ∧ ~𝐫)
∴ ~𝐪 ⟶ 𝐩
´
{[𝐩∆(𝐪 ∧ 𝐫)] ∧ ~(~𝐩 ∧ ~𝐫)} ⟶ (~𝐪 ⟶ 𝐩)

p q r {[ 𝐩 ∆ ( 𝐪 ∧ 𝐫)] ∧ ~ ( ~𝐩 ∧ ~ 𝐫 )} ⟶ (~ 𝐪 ⟶ 𝐩)
V V V F V F V F V V
V V F V F V V F V V
V F V V F V V F V V
V F F V F V V F V V
F V V V V V V F V V
F V F F F F F V V V
F F V F F F V F V F
F F F F F F F V V F

EJERCICIO: “Si 2 no es un número natural, su opuesto no es un número entero. Si 2 es un

número primo, 2 no es un número natural. Por lo tanto, Si el opuesto de 2 no es un número
entero, 2 es un número primo”

POR LO TANTO EL RAZONAMIENTO NO ES VÁLIDO

2. En Forma Abreviada
Suponer que la premisa o conjunción de premisas es Verdadera y la Conclusión es Falsa,
única posibilidad que invalida la proposición. Por lo tanto si se prueba esta posibilidad,
12
 entonces la inferencia será NO VÁLIDA. En caso de no probarse esta posibilidad, entonces
la inferencia es VÁLIDA; para ello se tiene:
1º Se supone VERDADERO el antecedente y falso el consecuente
2º Se determinan los valores de las variables del consecuente de manera que expresen la
falsedad de éste.
3º Se trasladan estos valores al antecedente, y se designan los valores de las demás
variables, tratando de hacer verdadero el antecedente. Para esto, se hacen verdaderas
todas las premisas del antecedente menos una; de esta última dependerá el valor de
verdad del antecedente.
4º Si se verifica el primer paso, la inferencia es NO VÁLIDA; en caso contrario la inferencia
será VÁLIDA.

EJEMPLO: Determinar la validez del siguiente enunciado simbólico

[(𝐩 ⟶ 𝐪) ∧ (𝐫 ⟶ 𝐪)] ⟶ (𝐩 ⟶ 𝐫)
Solución

V F
[(𝐩 ⟶ 𝐪) ∧ (𝐫 ⟶ 𝐪)] ⟶ (𝐩 ⟶ 𝐫)

Determinamos el valor de verdad de las variables del consecuente

[(𝐩 ⟶ 𝐪) ∧ (𝐫 ⟶ 𝐪)] ⟶ ( 𝐩 ⟶ 𝐫 )
V F F
Trasladando estos valores al antecedente
[( 𝐩 ⟶ 𝐪) ∧ ( 𝐫 ⟶ 𝐪 ) ] ⟶ ( 𝐩 ⟶ 𝐫 )
V F V F F
y asignando los valores a las demás variables, tratando de hacer verdadero el antecedente. En
este caso, damos el valor de verdadero a la primera premisa (también se puede hacer verdadero
a la segunda)
[( 𝐩 ⟶ 𝐪) ∧ ( 𝐫 ⟶ 𝐪 ) ] ⟶ ( 𝐩 ⟶ 𝐫 )
V V F V F F
Haciendo verdadero a la primera premisa, el valor de q también es verdadero
[( 𝐩 ⟶ 𝐪) ∧ ( 𝐫 ⟶ 𝐪 ) ] ⟶ ( 𝐩 ⟶ 𝐫 )
V V V F V V F F

La otra premisa también es verdadera, y todo el antecedente ha tomado el valor Verdadero, con
lo que se verifica el 1º paso
[( 𝐩 ⟶ 𝐪) ∧ ( 𝐫 ⟶ 𝐪 ) ] ⟶ ( 𝐩 ⟶ 𝐫 )
V V V F V V F F
Por lo tanto, el enunciado es inválido

EJEMPLO: Determinar la validez del siguiente enunciado simbólico

[(𝐩 ⟶ 𝐪) ∧ (𝐪 ⟶ 𝐫)] ⟶ (𝐩 ⟶ 𝐫)
Solución

Suponemos Verdadero el antecedente y falso el consecuente y determinamos el valor de las

variables del consecuente
V F
[(𝐩 ⟶ 𝐪) ∧ (𝐪 ⟶ 𝐫)] ⟶ (𝐩 ⟶ 𝐫)
V F F
Trasladando estos valores al antecedente y determinamos los valores de las demás variables;
para esto se hace verdadera a cualquiera de las premisas (por ejemplo a la segunda)

13
 [( 𝐩 ⟶ 𝐪) ∧ ( 𝐪 ⟶ 𝐫 ) ] ⟶ ( 𝐩 ⟶ 𝐫)
V V F V F F
El valor de q en este caso es falso:
[( 𝐩 ⟶ 𝐪) ∧ ( 𝐪 ⟶ 𝐫 ) ] ⟶ ( 𝐩 ⟶ 𝐫)
V F F V F V F F

La primera premisa, toma entonces el valor de F, y con esto se ha falseado todo el antecedente

[( 𝐩 ⟶ 𝐪) ∧ ( 𝐪 ⟶ 𝐫 ) ] ⟶ ( 𝐩 ⟶ 𝐫 )
V F F F F V F V F F

Y como no se ha verificado la suposición inicial, el enunciado es VÁLIDO.

Ejercicios. Determinar la validez de los siguientes razonamientos

1. “la luz no está encendida si y sólo si no hay alguien en casa o los de casa han salido a pasear.
Los de casa han ido a una función teatral si han salido a pasear. En consecuencia, la luz no
está encendida si los de casa han ido a una función teatral”
2. “Los agricultores obtendrán buenas ganancias y mejorarán su forma de vida si hay lluvias en
la sierra. Si mejoran su forma de vida, la sierra progresa. Luego, si hay lluvias en la sierra, los
agricultores obtienen buenas ganancias o la sierra no progresa”
3. “Si el Rector ha viajado, ha debido ir a Lima o a Tacna. Debo concluir que ha viajado a Tacna,
pues ha viajado y no ha ido a Lima”

MÉTODO DE LAS DERIVACIONES

Este método procede sólo por transformaciones de las expresiones aplicando a las premisas una
serie de leyes lógicas previamente adoptadas. El número de pasos no puede prescribirse en su
totalidad. Por ello desarrollaremos, en primer lugar, las principales inferencias válidas
elementales, Llamada leyes lógicas.
A. LEYES LÓGICAS: son inferencias o razonamientos que permiten, a partir de premisas
verdaderas, obtener conclusiones que son verdaderas. Estos razonamientos son Tautologías
y su número es infinito. Veremos las principales implicancias y equivalencias notables.
A1. IMPLICANCIAS NOTABLES: Son leyes lógicas que indican la forma de pasar
lógicamente las premisas a la conclusión.
1. MODUS PONENDO PONENS (P.P)
𝐩⟶𝐪
𝐩 [(𝐩 ⟶ 𝐪) ∧ 𝐩] ⟶ 𝐪
∴𝐪
2. MODUS TOLLENDO TOLLENS (T.T)
𝐩⟶𝐪
∼𝐪 [(𝐩 ⟶ 𝐪) ∧∼ 𝐪] ⟶ 𝐪
∴∼ 𝐪
3. SILOGISMO HIPOTÉTICO
𝐩⟶𝐪
𝐪⟶𝐫 [(𝐩 ⟶ 𝐪) ∧ (𝐪 ⟶ 𝐫)] ⟶ (𝐩 ⟶ 𝐫)
∴𝐩⟶𝐫
4. SILOGISMO DISYUNTIVO (S.D.)
𝐩∨𝐪 𝐩∨𝐪
∼𝐩 ∼𝐪 [(𝐩 ∨ 𝐪) ∧∼ 𝐩] ⟶ 𝐪
∴𝐪 ∴𝐩
14
 5. SIMPLIFICACIÓN (Simp.)
𝐩∧𝐪 𝐩∧𝐪 [𝐩 ∧ 𝐪] ⟶ 𝐪
∴𝐩 ∴𝐪 [𝐩 ∧ 𝐪] ⟶ 𝐩
6. CONJUNCIÓN (Conj.)
𝐩
𝐪 (𝐩 ∧ 𝐪) ⟶ (𝐩 ∧ 𝐪)
∴𝐩∧𝐪
7. ADICIÓN (adic.)
𝐩 𝐩 ⟶ (𝐩 ∨ 𝐰)
∴𝐩∨𝐰

8. DILEMA CONSTRUCTIVO (D.C.)

𝐩⟶𝐪
𝐫⟶ 𝐬
𝐩∨𝐫 [(𝐩 ⟶ 𝐪) ∧ (𝐫 ⟶ 𝐬) ∧ (𝐩 ∨ 𝐫)] ⟶ (𝐪 ∨ 𝐬)
∴𝐪∨𝐬

9. DILEMA DESTRUCTIVO (D.D.)

𝐩⟶𝐪
𝐫⟶ 𝐬
∼ 𝐪 ∨∼ 𝐬 [(𝐩 ⟶ 𝐪) ∧ (𝐫 ⟶ 𝐬) ∧ (∼ 𝐪 ∨∼ 𝐬)] ⟶ (∼ 𝐩 ∨∼ 𝐫)
∴∼ 𝐩 ∨∼ 𝐫
10. ABSORCIÓN (Abs.)
𝐩⟶𝐪 (𝐩 ⟶ 𝐪) ⟶ (𝐩 ⟶ (𝐩 ∧ 𝐪))
∴ 𝐩 ⟶ (𝐩 ∧ 𝐪)
𝒊) 𝐩 ∧ (𝐩 ∨ 𝐪) ≡ 𝐩; 𝐢𝐢) 𝐩 ∧ (∼ 𝐩 ∨ 𝐪) ≡ 𝐩 ∧ 𝐪; 𝐢𝐢) 𝐩 ∨ (𝐩 ∧ 𝐪) ≡ 𝐩; 𝐢𝐢𝐢) 𝐩 ∨ (∼ 𝐩 ∧ 𝐪) ≡ 𝐩 ∨ 𝐪
A2. EQUIVALENCIAS NOTABLES: Las siguientes expresiones son lógicamente equivalentes,
por lo mismo pueden sustituirse una por otras en todos los lugares en los que aparezcan.
1. CONMUTATIVIDAD (Conm.)
𝐩∨𝐪≡𝐪∨𝐩; 𝐩∧𝐪≡ 𝐪∧𝐩
2. ASOCIATIVIDAD (Asoc.)
(𝐩 ∨ 𝐪) ∨ 𝐫 ≡ 𝐩 ∨ (𝐪 ∨ 𝐫); (𝐩 ∧ 𝐪) ∧ 𝐫 ≡ 𝐩 ∧ (𝐪 ∧ 𝐫)
3. DISTRIBUTIVIDAD (Dist.)
𝐩 ∨ (𝐪 ∧ 𝐫) ≡ (𝐩 ∨ 𝐪) ∧ (𝐩 ∨ 𝐫); 𝐩 ∧ (𝐪 ∨ 𝐫) ≡ (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫)
4. DOBLE NEGACIÓN (D.N.)
∼∼ 𝐩 ≡ 𝐩 ; 𝐩 ≡∼∼ 𝐩
5. LEYES de DE MORGAN (De M.)
∼ (𝐩 ∧ 𝐪) ≡∼ 𝐩 ∨∼ 𝐪; ∼ (𝐩 ∨ 𝐪) ≡∼ 𝐩 ∧∼ 𝐪
6. TRANSPOSICIÓN (Trans.)
𝐩 ⟶ 𝐪 ≡∼ 𝐪 ⟶∼ 𝐩; 𝐩 ⟷ 𝐪 ≡∼ 𝐪 ⟷∼ 𝐩
7. IMPLICACIÓN MATERIAL (Imp.)

15
 𝐩 ⟶ 𝐪 ≡∼ 𝐩 ∨ 𝐪 ≡∼ (𝐩 ∧∼ 𝐪)
8. EQUIVALENCIA MATERIA (Equiv.)
𝐩 ⟷ 𝐪 ≡ (𝐩 ⟶ 𝐪) ∧ (𝐪 ⟶ 𝐩) ≡ (𝐩 ∧ 𝐪) ∨ (∼ 𝐩 ∧∼ 𝐪)
9. EXPORTACIÓN (Exp.)
(𝐩 ∧ 𝐪) ⟶ 𝐫 ≡ 𝐩 ⟶ (𝐪 ⟶ 𝐫)
DEMOSTRACIONES UTILIZANDO LEYES LÓGICAS
UNA DEMOSTRACIÓN ES UN PROCESO QUE CONSISTE EN USA LEYES LÓGICAS
COMO REGLAS DE INFERENCIAS PARA PASAR DE UN CONJUNTO DE PREMISAS
A LA CONCLUSIÓN
Ejemplos

1. Demostrar: ∼ 𝐬
1. ∼ 𝐫 ∧ 𝐭
2. 𝐬 ⟶ 𝐫
3. ∼ 𝐫 Simp. (1)
4. ∴∼ 𝐬 T.T. (2,3)
2. Demostrar: q
1. 𝐩 ⟶ 𝐪
2. 𝐩 ∧ 𝐪
3. p Simp. (2)
4. ∴ 𝐪 P.P. (1,3)
3. Demostrar: 𝐬 ∧ 𝐭
1. 𝐩 ⟶ 𝐬
2. 𝐩 ⟶ 𝐭
3. p
4. S P.P. (1,3)
5. t P.P. (2,3)
6. ∴ 𝐬 ∧ 𝐭 Conj. (4,5)
4. Demostrar: ∼ (𝐩 ∨ 𝐭)
1. ∼ 𝐬 ∨∼ 𝐫
2. ∼ 𝐫 ⟶∼ 𝐭
3. ∼𝐬⟶𝐩
4. ∼𝐭
5. ∼ 𝐫 ∨∼ 𝐬 Conm. (1)
6. ∼𝐭∨𝐩 D.C. (5,2,3)
7. ∼𝐭 S.D. (4,6)
8. ∼ 𝐩 ∧∼ 𝐭 Conj. (4,7)
9. ∴ ∼ (𝐩 ∨ 𝐭) De M. (8)
5. Demostrar: ∼ 𝐩
1. (𝐩 ∨ 𝐪) ⟶ (𝐫 ∧ 𝐬)
2. 𝐬 ⟶ 𝐭
3. ∼ 𝐭
4. ∼𝐬 T.T.(2,3)
5. ∼ 𝐬 ∨∼ 𝐫 Adic. (4)
6. ∼ 𝐫 ∨∼ 𝐬 Conm. (5)
7. ∼ (𝐫 ∧ 𝐬) De M. (6)
16
 8. ∼ (𝐩 ∨ 𝐪) T.T. (1,7)
9. ∼ 𝐩 ∧∼ 𝐪 De M. (8)
10. ∴ ∼ 𝐩 Simp. (9)
6. Demostrar que el siguiente razonamiento es válido: “Si eres activo y tienes un buen
carácter serás un buen contador. Si tienes buen carácter implica que serás buen contador,
entonces llegarás a ser un gran gerente. Tú eres activo. Por lo tanto llegarás a ser un gran
gerente”
p= eres activo
q= Tienes buen carácter
r= serás un buen contador
s= Llegarás a ser un gran gerente
1. (𝐩 ∧ 𝐪) ⟶ 𝐫
2. (𝐪 ⟶ 𝐫) ⟶ 𝐬
3. 𝐩 /∴ 𝐬
4. 𝐩 ⟶ (𝐪 ⟶ 𝐫) Exp. (1)
5. 𝐩 ⟶ 𝐬 S.H. (2,4)
6. ∴ 𝐬 P.P. (3,5)
7. Demostrar que el siguiente razonamiento es válido: “Si buscas la verdad y te esfuerzas
por obrar con virtud, entonces eres un filósofo o un santo. Si eres filósofo, entonces eres un
santo. Buscas la verdad pero no eres un santo. Por lo tanto, no te esfuerzas por obrar con
virtud”
1. (𝐩 ∧ 𝐪) ⟶ (𝐫 ∨ 𝐬)
2. 𝐫 ⟶ 𝐬
3. 𝐩 ∧∼ 𝐬 /∴∼ 𝐪
4. ∼ 𝐬 Simp. (3)
5. ∼ 𝐫 T.T. (2,4)
6. ∼ 𝐫 ∧∼ 𝐬 Conj. (4,5)
7. ∼ (𝐫 ∨ 𝐬) De M. (6)
8. ∼ (𝐩 ∧ 𝐪) T.T. (1,7)
9. ∼ 𝐩 ∨∼ 𝐪 De M. (8)
10. 𝐩 Simp. (3)
11. ∼∼ 𝐩 D.N. (10)
12. ∴ ∼ 𝐪 S.D. (9,11)
8. Demostrar que los siguientes enunciados simbólicos son válidos
a)
1. 𝐩 ⟶ (𝐪 ∨∼ 𝐬)
2. 𝐪 ⟶ (𝐭 ∧ 𝐫)
3. (∼ 𝐬 ∧ 𝐰) ⟶∼ 𝐳
4. ∼ (𝐫 ∨∼ 𝐩) /∴ 𝐰 ⟶∼ 𝐳
5. ∼ 𝐫 ∧ 𝐩 De M. y DN. (4)
6. 𝐩 Simp. (5)
7. 𝐪 ∨∼ 𝐬 P.P. (1,6)
8. ∼ 𝐬 ⟶ (𝐰 ⟶∼ 𝐳) Exp. (3)
9. (𝐭 ∧ 𝐫) ∨ (𝐰 ⟶∼ 𝐳) D.C. (2,7,8)
10. ∼ 𝐫 Simp. (5)
11. ∼ 𝐫 ∨∼ 𝐭 Adic. (10)
12. ∼ (𝐫 ∧ 𝐭) De M. (11)
13. ∴ 𝐰 ⟶∼ 𝐳 S.D. (9,12)

17
b)
1. (𝐩 ⟶ 𝐫) ⟶∼ 𝐭
2. ∼ (𝐫 ∨∼ 𝐩) ⟶ 𝐪
3. ∼ (𝐬 ⟶ 𝐪) /∴ 𝐭 ⟶∼ 𝐩
4. ∼ (∼ 𝐬 ∨ 𝐪) Imp. (3)
5. 𝐬 ∧∼ 𝐪 De M. y D.N.
6. ∼ 𝐪 Simp. (5)
7. ∼∼ (𝐫 ∨∼ 𝐩) T.T. (2,6)
8. 𝐫 ∨∼ 𝐩 D.N. (7)
9. ∼ 𝐩 ∨ 𝐫 Conm. (8)
10. 𝐩 ⟶ 𝐫 Imp. (9)
11. ∼ 𝐭 P.P. (1,10)
12. ∼ 𝐭 ∨∼ 𝐩 Adic. (11)
13. ∴ 𝐭 ⟶∼ 𝐩 Imp. (12)

c)
1. 𝐩 ∧∼ 𝐪
2. ∼ (𝐫 ⟶ 𝐬) ⟶ 𝐪
3. (𝐩 ∧ 𝐫) ⟶ 𝐭
4. 𝐭 ⟶∼ 𝐬 /∴∼ 𝐫
5. (𝐩 ⟶ 𝐫) ⟶ 𝐭 Exp. (3)
6. 𝐩 Simp. (1)
7. 𝐫 ⟶ 𝐭 P.P.(5,6)
8. 𝐫 ⟶∼ 𝐬 S.H. (4,7)
9. ∼ 𝐪 Simp. (1)
10. ∼∼ (𝐫 ⟶ 𝐬) T.T. (2,9)
11. 𝐫 ⟶ 𝐬 D.N. (10)
12. ∼ 𝐬 ⟶∼ 𝐫 Transp. (11)
13. 𝐫 ⟶∼ 𝐫 S.H. (8,12)
14. ∼ 𝐫 ∨∼ 𝐫 Imp. (13)
15. ∴∼ 𝐫 Idemp. (14)

d)
1. (𝐩 ⟶ 𝐪) ∧ (𝐫 ⟶ 𝐬)
2. (𝐩 ⟶∼ 𝐬) ∧ (𝐫 ⟶∼ 𝐪)
3. 𝐩 ∨ 𝐫 / ∴ 𝐩 ⟷∼ 𝐬
4. ∼∼ 𝐩 ∨ 𝐫 D.N. (3)
5. ∼𝐩⟶𝐫 Imp. (4)
6. 𝐫⟶𝐬 Simp. (1)
7. ∼𝐩⟶𝐬 S.H. (5,6)
8. ∼ 𝐬 ⟶∼∼ 𝐩 Trans. (7)
9. ∼𝐬⟶𝐩 D.N. (8)
10. 𝐩 ⟶∼ 𝐬 Simp. (2)
11. (𝐩 ⟶∼ 𝐬) ∧ (∼ 𝐬 ⟶ 𝐩) Conj. (9,10)
12. ∴ 𝐩 ⟷∼ 𝐬 Equiv. (11)

18
 e)
1. ∼ 𝐪 ∨ (𝐫 ⟷ 𝐬)
2. ∼ (𝐳 ∧ 𝐬)
3. ∼ (𝐭 ⟶ 𝐳) ⟶∼ (𝐬 ⟶ 𝐫)
4. (∼ 𝐩 ∧ 𝐪) ∨ 𝐪 /∴ ∼ 𝐫 ∨∼ 𝐭
5. 𝐪 Abs. (4)
6. ∼∼ 𝐪 D.N. (5)
7. 𝐫 ⟷ 𝐬 S.D. (4,6)
8. (𝐫 ⟶ 𝐬) ∧ (𝐬 ⟶ 𝐫) Equiv. (7)
9. (𝐬 ⟶ 𝐫) Simp. (8)
10. ∼∼ (𝐬 ⟶ 𝐫) D. N. (9)
11. ∼∼ (𝐭 ⟶ 𝐳) T.T. (3,10)
12. 𝐭 ⟶ 𝐳 D.N. (11)
13. 𝐫 ⟶ 𝐬 Simp. (8)
14. ∼ 𝐳 ∨∼ 𝐬 De M. (2)
15. ∼ 𝐭 ∨∼ 𝐫 D.D. (12,13,14)
16. ∴ ∼ 𝐫 ∨∼ 𝐭 Conm. (15)

EJERCICIOS:

1. Demostrar: ∼ 𝐬
1. ∼ 𝐫 ∧ 𝐭
2. 𝐬 ⟶ 𝐫
2. Demostrar: q
1. 𝐩 ⟶ 𝐪
2. 𝐩 ∧ 𝐪
3. Demostrar: 𝐬 ∧ 𝐭
1. 𝐩 ⟶ 𝐬
2. 𝐩 ⟶ 𝐭
3. p
4. Demostrar: ∼ (𝐩 ∨ 𝐭)
1. ∼ 𝐬 ∨∼ 𝐫
2. ∼ 𝐫 ⟶∼ 𝐭
3. ∼ 𝐬 ⟶ 𝐩
4. ∼ 𝐭
5. Demostrar: ∼ 𝐩
1. (𝐩 ∨ 𝐪) ⟶ (𝐫 ∧ 𝐬)
2. 𝐬 ⟶ 𝐭
3. ∼ 𝐭
6. Demostrar que el siguiente razonamiento es válido: “Si eres activo y tienes un buen
carácter serás un buen contador. Si tienes buen carácter implica que serás buen contador,
entonces llegarás a ser un gran gerente. Tú eres activo. Por lo tanto llegarás a ser un gran
gerente”
7. Demostrar que el siguiente razonamiento es válido: “Si buscas la verdad y te esfuerzas
por obrar con virtud, entonces eres un filósofo o un santo. Si eres filósofo, entonces eres un
santo. Buscas la verdad pero no eres un santo. Por lo tanto, no te esfuerzas por obrar con
virtud”
8. Demostrar que los siguientes enunciados simbólicos son válidos
a)
1. 𝐩 ⟶ (𝐪 ∨∼ 𝐬)
2. 𝐪 ⟶ (𝐭 ∧ 𝐫)
3. (∼ 𝐬 ∧ 𝐰) ⟶∼ 𝐳
4. ∼ (𝐫 ∨∼ 𝐩) /∴ 𝐰 ⟶∼ 𝐳
19
 b)
1. (𝐩 ⟶ 𝐫) ⟶∼ 𝐭
2. ∼ (𝐫 ∨∼ 𝐩) ⟶ 𝐪
3. ∼ (𝐬 ⟶ 𝐪) /∴ 𝐭 ⟶∼ 𝐩
c)
1. 𝐩 ∧∼ 𝐪
2. ∼ (𝐫 ⟶ 𝐬) ⟶ 𝐪
3. (𝐩 ∧ 𝐫) ⟶ 𝐭
4. 𝐭 ⟶∼ 𝐬 /∴∼ 𝐫
d)
1. (𝐩 ⟶ 𝐪) ∧ (𝐫 ⟶ 𝐬)
2. (𝐩 ⟶∼ 𝐬) ∧ (𝐫 ⟶∼ 𝐪)
3. 𝐩 ∨ 𝐫 / ∴ 𝐩 ⟷∼ 𝐬
e)
1. ∼ 𝐪 ∨ (𝐫 ⟷ 𝐬)
2. ∼ (𝐳 ∧ 𝐬)
3. ∼ (𝐭 ⟶ 𝐳) ⟶∼ (𝐬 ⟶ 𝐫)
4. (∼ 𝐩 ∧ 𝐪) ∨ 𝐪 /∴ ∼ 𝐫 ∨∼ 𝐭
LÓGICA CUANTIFICACIONAL
FUNCIÓN PROPOSICIONAL

El símbolo P(x) es la representación de una propiedad P relativa al objeto determinado “x”,

perteneciente a cierto conjunto o universo.

Por ejemplo, si nos referimos a los números naturales y nos interesa en la propiedad de “ser
par”, entonces la traducción de P(x) es “x es par” y se escribe P(x): x es par.
Esta expresión no es una proposición, ya que al menos que se especifique x, no podemos decir
nada acerca de su verdad o falsedad. A expresiones de este tipo se llaman funciones
proposicionales.

Definición: Función proposicional en una variable x es todo enunciado en el que figura x como
sujeto, el cual se convierte en proposición para cada especificación de x. El conjunto de valores
convenidos para la variable x recibe el nombre de dominio de la variable.
Así por ejemplo: P(5): es par (F); P(8):es par (V)
También se pueden expresar funciones proposicionales en dos o más variables. Por ejemplo
P(x,y): x es múltiplo de y; P(2,6): 2 es múltiplo de 6 (F)

Otra forma de obtener proposiciones generales, a partir de funciones proposicionales, es

mediante el proceso llamado de cuantificación. Asociado a la variable x introducimos los
símbolos: ∀𝐱: 𝐲 ∃𝐱/, llamados cuantificador universal y cuantificador existencial en x.
Las expresiones:
∀𝐱 ∈ 𝓤: 𝐏(𝐱) “Todo elemento del universo verifica la propiedad P”
∃𝐱 ∈ 𝓤/𝐏(𝐱) “Existen elementos del universo que verifican la propiedad P”
Ejemplo 1: si ℕ es el conjunto de los números naturales y
∀𝐱 ∈ ℕ, significa “todos los números naturales”, “cualquier número natural”
∃𝐱 ∈ ℕ , significa “Existen números naturales”, “Hay números naturales”, “Algunos números
naturales”, “Un número natural”, “Existe por lo menos un número natural”.

Ejemplo 2: traducir las siguientes cuantificaciones

a) ∀𝐱 ∈ ℕ: 𝐱 𝟑 ∈ ℕ “todo número natural elevado al cubo es un número natural”
“el cubo de todo número natural es natural”
𝟐
b) ∀𝐱 ∈ ℕ: 𝐱 > 0 “el cuadrado de todo natural es mayor que cero”

20
 “el cuadrado de cualquier natural es mayor que cero”
c) ∃𝐱 ∈ ℕ/𝐱 > 5 “algunos números naturales son menores que cinco”
“existen números naturales que son menores que cinco”
d) ∃𝐱 ∈ ℤ/𝟐𝐱 = 𝟒 “existe un número entero que multiplicado por dos es igual a cuatro”
“el duplo de algún número entero es igual a cuatro”

Ejemplo 3: simbolizar las siguientes proposiciones

a) “Ciertos números reales son divisibles por 10”
b) “La suma de cualquier natural con algún entero es igual a cero”
c) “El cuadrado de la suma de dos números reales cualesquiera es igual al cuadrado del primero,
más el doble del primero por el segundo más el cuadrado del segundo ”

Solución
𝐱
a) ∃𝐱 ∈ ℝ/ 𝟏𝟎 ∈ ℝ

b) ∀𝐱 ∈ ℕ, ∃𝐲 ∈ ℤ/𝐱 + 𝐲 = 𝟎

c) ∀𝐱 ∈ ℝ, ∃𝐲 ∈ ℝ: (𝐱 + 𝐲)𝟐 = 𝐱 𝟐 + 𝟐𝐱𝐲 + 𝐲 𝟐

NEGACIÓN DE UNA CUANTIFICACIÓN

Ejemplo 1: La negación de la proposición: “TODOS LOS NÚMEROS NATURALES SON PARES” es

“NO TODOS LOS NÚMEROS NATURALES SON PARES” o
“EXISTEN NÚMEROS NATURALES QUE NO SON PARES”

Simbólicamente:
∀𝐱 ∈ ℕ: x es par
Negando
∃𝐱 ∈ ℕ/x no es par

Así para negar una cuantificación debemos tener presente lo siguiente:

1. Se cambia el cuantificador de universal a existencial y de existencial a universal
2. Se niega la función proposicional.

EJERCICIOS
1. “Todo el que la conoce la admira”
2. “Todo número entero admite un inverso aditivo”
3. “Hay alumnos que estudian y trabajan”
4. “Si hay examen, entonces alguien es desaprobado ”
5. “Es de día o todo el mundo se ha levantado”

SOLUCIÓN

1. “Cualquiera que sea la persona, si la conoce entonces la admira”

Universo: S (conjunto de personas)
Cuantificador: ∀
Funciones proposicionales: P(x): x la conoce
Q(x): x la admira
Luego:
∀𝐱 ∈ 𝐒: 𝐏(𝐱) ⟶ 𝐐(𝐱)

21
 Negando:
~[∀𝐱 ∈ 𝐒: 𝐏(𝐱) ⟶ 𝐐(𝐱)] ≡ ∃𝐱 ∈ 𝐒/~[𝐏(𝐱) ⟶ 𝐐(𝐱)] ≡ ∃𝐱 ∈ 𝐒/~[~𝐏(𝐱) ∨ 𝐐(𝐱)] ≡
∃𝐱 ∈ 𝐒/𝐏(𝐱) ∧ ~𝐐(𝐱)
Retraduciendo
“Algunos la conocen y no la admiran”
“Hay personas que la conocen y no la admiran”

2. “Cualquiera que sea el entero, existe otro número entero que sumado a él da cero”
Universos: ℤ, ℤ
Cuantificadores: ∀, ∃
Función proposicional: P(x, y): x + y=0

Simbolización: ∀𝐱 ∈ ℤ, ∃𝐱 ∈ ℤ/𝐱 + 𝐲 = 𝟎

Negación: ∀∃𝐱 ∈ ℤ, ∀𝐱 ∈ ℤ/𝐱 + 𝐲 ≠ 𝟎

Retraducción: “Algunos enteros no admiten inverso aditivo”
“Existen enteros que sumados con cualquier otro entero da una suma
diferente de cero”

3. “Hay alumnos que estudian y trabajan”

Universo: A (Conjunto de alumnos)

Cuantificador: ∃
Funciones proposicionales: P(x): x estudia
Q(x): x trabaja

Simbolización: ∃𝐱 ∈ 𝐀/𝐏(𝐱) ∧ 𝐐(𝐱)

Negación: ~[∃𝐱 ∈ 𝐀/𝐏(𝐱) ∧ 𝐐(𝐱)] ≡ ∀𝐱 ∈ 𝐀: ~[𝐏(𝐱) ∧ 𝐐(𝐱)] ≡ ∀𝐱 ∈ 𝐀: ~𝐏(𝐱) ∨ ~𝐐(𝐱)

Retraducción: “Todos los alumnos no estudian o no trabajan”
“Cualquiera que sea el alumno, no estudia o no trabaja”

4. “Si hay examen, entonces alguien es desaprobado ”

Esta proposición es una condicional cuyo antecedente es una proposición atómica y el
consecuente es una cuantificación.
Sean:
p = hay examen
Universo: A (alumnos)
Cuantificador: ∃
Función Proposicional: P(x): x es aprobado
Simbolización: p⟶ ∃𝐱 ∈ 𝐀/~𝐏(𝐱)

Negación: ~[p ⟶ ∃𝐱 ∈ 𝐀/~𝐏(𝐱)] ≡ ~[~𝐩 ∨ ∃𝐱 ∈ 𝐀/~𝐏(𝐱)] ≡ 𝐩 ∧ ~[∃𝐱 ∈ 𝐀/~𝐏(𝐱)] ≡

𝐩 ∧ ∀𝐱 ∈ 𝐀: 𝐏(𝐱)

Retraducción: “Hay examen y todos son aprobados”

5. “Es de día o todo el mundo se ha levantado”

Esta proposición es una disyunción entre una atómica y una cuantificación

Sean:
p = es de día ∨ Universo: S (personas)
22
Universo: S (personas)
Cuantificador: ∀
Función Proposicional: P(x): x se ha levantado
Simbolización: 𝐩 ∨ ∀𝐱 ∈ 𝐒: 𝐏(𝐱)

Negación: ~[𝐩 ∨ ∀𝐱 ∈ 𝐒: 𝐏(𝐱)] ≡ ~𝐩 ∧ ~[∀𝐱 ∈ 𝐒: 𝐏(𝐱)] ≡ ~𝐩 ∧ ∃𝐱 ∈ 𝐒/~𝐏(𝐱)

Retraducción: “no es de día pero alguien no se ha levantado”

23
 CIRCUITOS LÓGICOS
Son los modelos de funciones lógicas aplicadas fundamentalmente al campo de la electrónica
y la cibernética.
Un circuito Lógico es el camino a través del cual se produce el flujo de electrones o corriente
eléctrica.
Observaciones:
- Cuando el interruptor o conmutador está cerrado, entonces deja pasar la corriente y tiene el
estado 1 que se representa por V.
- Cuando el conmutador o interruptor está abierto, entonces no deja pasar la corriente y tiene
el estado 0 que se representa por F.

ESTADO CONMUTADOR O SIMBOLIZACIÓN

BINARIO INTERRUPTOR ESQUEMA LÓGICO
1 CERRADO P p

0 ABIERTO P` ~p

Clases de Circuitos: por su naturaleza los circuitos pueden ser:

CIRCUITO EN SERIE: Este consta de dos conmutadores o interruptores conectados uno a
continuación del otro. Así

p q

En este caso para que pase la corriente y se encienda la lámpara ambos conmutadores deben
estar cerrados

CIRCUITO EN PARALELO: Este circuito consta de dos interruptores o conmutadores

conectados uno al lado debajo del otro. Así

En este caso para que pase la corriente y se encienda la lámpara es suficiente que uno de
ellos esté cerrado.

SIMBOLIZACIÓN DE LOS CIRCUITOS

Para simbolizar circuitos lógicos hay que considerar que si el circuito principal está en serie,
entonces la forma es conjuntiva y si el circuito principal está en paralelo, entonces la forma es
disyuntiva.

EJEMPLO1: Simbolizar el siguiente circuito

R
P
Q`

Q R`

[(𝐫 ∨ ~𝐪) ∧ 𝐩] ∨ (𝐪 ∧ ~𝐫)

1 Traducir el siguiente esquema a lenguaje simbólico: …

24
 EJEMPLO2: Construir el circuito lógico correspondiente al esquema.
(𝐩 ∨ ~𝐪) ∧ (~𝐩 ∨ 𝐫)

P P`

Q` R

EJEMPLO3: Construir el circuito lógico correspondiente al esquema.

(𝐩 ∨ ~𝐪) ⟶ (𝐫 ∧ 𝐬)

(𝐩 ∨ ~𝐪) ⟶ (𝐫 ∧ 𝐬) ≡ ~(𝐩 ∨ ~𝐪) ∨ (𝐫 ∧ 𝐬) ≡ (~~𝐩 ∧ 𝐪) ∨ (∨ (𝐫 ∧ 𝐬)) ≡ (𝐩 ∧ 𝐪) ∨ (∨ (𝐫 ∧ 𝐬))

P` Q

R S

SIMPLIFICACIÓN DE CIRCUITOS LÓGICOS. Para simplificar circuitos lógicos se debe tener

en cuenta lo siguiente:
1º Se traduce los esquemas al lenguaje Lógico
2º Se simplifica la expresión lógica obtenida
3º Se construye un esquema de la expresión simplificada.

EJEMPLO: Simplificar el siguiente circuito lógico

P P`
Q
Q` Q

1º Traducción: (𝐩 ∨ ~𝐪) ∧ (~𝐩 ∨ 𝐪) ∧ 𝐪

2º Simplificación:
(𝐩 ∨ ~𝐪) ∧ (~𝐩 ∨ 𝐪) ∧ 𝐪 ≡ (𝐩 ∨ ~𝐪) ∧ [(~𝐩 ∨ 𝐪) ∧ 𝐪] Asoc.
≡ (𝐩 ∨ ~𝐪) ∧ [(~𝐩 ∨ 𝐪) ∧ (𝐅 ∨ 𝐪)] Ident.
≡ (𝐩 ∨ ~𝐪) ∧ [(~𝐩 ∧ 𝐅) ∨ 𝐪] Dist.
≡ (𝐩 ∨ ~𝐪) ∧ (𝐅 ∨ 𝐪) Comp.
≡ (𝐩 ∨ ~𝐪) ∧ 𝐪 Ident.
≡ (𝐩 ∧ 𝐪) ∨ (~𝐪 ∧ 𝐪) Dist.
≡ (𝐩 ∧ 𝐪) ∨ 𝐅 Comp.
≡ (𝐩 ∧ 𝐪)

3º Construcción del circuito simple simplificado:

p q

25
2 Construir el circuito correspondiente a 𝐩 ⟷ 𝐪
3 Si el siguiente esquema representa una instalación cualquiera ………. y si cada
interruptor cuesta S/. 18.00 ¿En cuánto se reducirá el costo de la instalación si se
reemplaza por su equivalente más simple?

4 Simbolizar el circuito lógico siguiente:

5 Simplificar el circuito siguiente:

6 Determinar la menor expresión lógica que representa al siguiente circuito:

7 Determinar el circuito equivalente al circuito del siguiente sistema.

26
 PRÁCTICA DOMICILIARIA DE LÓGICA PROPOSICIONAL
PARA CADA GRUPO DE EJERCICIOS, DESRROLLE SOLAMENTE EL 70 %

1. Simbolizar en forma completa las siguientes proposiciones:

a. Si es después de las siete, entonces la puerta está cerrada y el profesor no me dejará ingresar.
b. Mañana viene Juan; luego, si no viene, viaja a Lima si consigue pasaje
c. Si has escogido bien tu carrera, te esforzarás y triunfarás. Si no triunfas, no has escogido bien tu carrera o
no te has esforzado.
d. Eres sincero o no lo eres. Si eres sincero, podrás superarte; si no lo eres, no tendrás buenos amigos.
e. Utilizando las variables:
p= Cristal Gana el campeonato
q= Alianza queda en segundo lugar
r= Universitario gana todos los partidos restantes
Simbolizar las siguientes proposiciones:
1. Si cristal gana el campeonato, entonces Alianza queda en segundo lugar y Universitario no gana todos los
partidos restantes.
2. Universitario gana todos los partidos restantes pues Cristal gana el campeonato o Alianza queda en
segundo lugar.
3. O bien, si Cristal gana el campeonato, entonces Alianza queda en segundo lugar, o bien Universitario gana
todos los partidos restantes si Alianza no queda en segundo lugar.

f. 5 ≠ 8 y si 2 + 3 = 8, entonces 2 < 3 ó 3 ≤ 8

g. Carlos será encontrado culpable si hoy rinde testimonio, puesto que si hoy rinde testimonio dirá la verdad y
Carlos no será encontrado culpable si no dice la verdad.

h. La sociedad está descontenta si y solo si no hay cambio, pero si la sociedad está contenta, o hay revolución
o hay cambio social.

i. Utilizando las variables:

p= Luis ha venido demasiado tarde
q= Juan ha venido demasiado pronto
r = El señor Pérez está enfadado
Simbolizar las siguientes proposiciones:
1. Luis ha venido demasiado tarde a pesar que Juan ha venido demasiado pronto puesto que el señor
Pérez está enfadado.
2. Es imposible que el señor Pérez está enfadado si Luis ha venido demasiado tarde, porque si Juan ha
venido demasiado pronto, entonces el señor Pérez no está enfadado.
3. Si no es verdad que Juan ha venido demasiado pronto no obstante que Luis ha venido demasiado tarde,
entonces el señor Pérez no está enfadado o Juan no ha venido demasiado pronto.
j. El que estudia lógica no está libre de cometer errores, pero tiene menos probabilidades de equivocarse.

k. Si las habitaciones son escasas, la gente quiere vivir con sus parientes políticos y si la gente no quiere vivir
con sus parientes políticos, entonces las habitaciones no son escasas.

l. O las leyes de la mecánica son un conocimiento “a priori”, o la ley de la gravitación es un conocimiento

empírico si el conocimiento del espacio físico no es “a priori”

m. Pedro estuvo en el accidente si tomó el ómnibus, y no asistió a la reunión si estuvo en el accidente; pero,
Pedro Tomó el ómnibus y no asistió a la reunión. De ahí que, Pedro estuvo en el accidente.

n. Si no puedes comportarte de una manera socialmente razonable, de una forma que no perjudique o moleste
a los demás, entonces no disfrutarás del privilegio de estar con otros y no serás capaz de hacer todas esas
cosas que tienen lugar cuando estás con otros.

o. El Perú es una nación subdesarrollada porque tiene un atraso tecnológico tal como científico. Podemos salir
de este atraso siempre que y sólo cuando desarrollemos nuestras conciencias así como nos esforcemos,
porque no se da el caso de que el desarrollo se alcancen con buenas intenciones o deseos. Por lo tanto, o
el Perú supera sus problemas o sigue siendo una nación subdesarrollada.

27