LÓGICA PROPOSICIONAL

1.1 Concepto de Lógica

Dado que las proposiciones son preceptos válidos de razonamiento deductivo, en nuestro
breve estudio veremos lo esencial de la lógica proposicional, a través del uso y manejo de
una simbología adecuada.
Lógica: Es el modo de razonar de cada persona. A través del pensamiento lógico el hombre
emplea la inferencia o deducción, y los emplea en el desarrollo de las ciencias, los actos de
la vida diaria, las grandes realizaciones técnicas, todo aquello que satisfaga una aplicación
coherente de los hechos que interesan al hombre. La lógica se le define desde dos puntos
de vista:
Antigua: La lógica se ocupa del estudio de las formas del pensamiento y de las reglas que
determinan su validez.
Moderna: La lógica es la teoría de la inferencia que nos enseña a pensar correctamente.
En Conclusión: La lógica es la ciencia que estudia la validez o invalidez de las inferencias.
La lógica es una ciencia que estudia los métodos o procedimientos que aplican definiciones
y leyes o reglas con el propósito de determinar la validez o invalidez de las inferencias.
Lógica Matemática: Estudia e investiga los procesos válidos del razonamiento mediante
métodos matemáticos. Son procesos válidos del razonamiento, las proposiciones.
Valiéndonos de los preceptos de Ricardo Figueroa García, en su obra Matemática
Básica (2005: 01) diremos que:
“Lógica es el estudio de los procesos válidos del razonamiento humano. Existen dos
tipos importantes de razonamiento: el inductivo y el deductivo. El razonamiento inductivo es
el medio por el cual una persona, en base a sus experiencias específicas, decide aceptar
como válido un principio general. El razonamiento deductivo es en cambio, el medio según
el cual dicha persona utiliza el principio general aceptado previamente para decidir sobre la
validez de una idea, que a su vez habrá que determinar el curso de su acción”.
Además, Armando Venero en su obra Matemática Básica (2000: 01) menciona:
“En la actualidad, el estudio serio de cualquier tema tanto en el campo de las
humanidades como en el de las ciencias y la técnica requiere conocer los fundamentos y
métodos del razonamiento lógico preciso que permita al profesional extraer y depurar sus
conclusiones evitando el riesgo de modificar en forma equivocada la información que posee.
Esto es aún más evidente en esta era de la computación, herramienta que es empleada en
todos los campos del desarrollo de una sociedad, y que por la velocidad a la cual se
procesan los datos cualquier error de lógica puede originar problemas técnicos y por lo tanto
sociales y económicos”.
La lógica matemática halla especial aplicación en la electrónica, en técnicas calculatorias, en
la cibernética y en la lingüística.
1.2 Enunciado y Proposición
Ejemplos:
1. Apaga la luz…………………………..Orden o mandato Expresiones
2. ¡Que felicidad!.......................... …….Exclamativa que no tienen
sentido de
3. ¿Te gusta lógica matemática?..........Interrogativa
calificarlo de
4. El es profesor de matemática (V) ó (F)
5. X2 + Y2 = 25 Enunciados abiertos
6. X + 2 > 5
7. 3 y 4 son primos entre si
8. 4 y 12 no son primos entre si Expresiones
que si tienen
9. 6 es un número perfecto sentido de
Proposiciones
10. 220 y 284 son números amigos calificarlo de
11. Huánuco es la capital del Perú (V) ó (F)

12. La plata es un metal

a) Enunciado: Es toda frase u oración en forma general que puede o no tener sentido.
Algunos enunciados no es posible afirmar si es verdadero o falso, como por ejemplo, una
pregunta, una orden o una exclamación.
b) Enunciados Abiertos: Son expresiones que contienen variables y no tienen la
propiedad de ser verdadero o falso.
Sobre el tema Ricardo Figueroa García (Op. Cit.: 02) fundamenta:
“Los enunciados que usan las palabras “él”, “ella” y los símbolos x, y, z, no tienen la
propiedad de ser verdadero o falso, es decir, no son proposiciones. Sin embargo, si a una
de estas palabras o símbolos se le asigna un determinado objeto o valor, llamado constante,
el resultado es una proposición”.
Así en el ejemplo 4, si la variable él se reemplaza por la constante Andrés Cámara, tenemos
“Andrés Cámara Acero es profesor de matemática”, es una proposición cuyo valor de verdad
V ó F dependen de que si Andrés cámara Acero es profesor de matemática o no.
De igual manera en el ejemplo 6, si la variable “x” se reemplaza por un número mayor que el
3 el enunciado se convierte en una proposición verdadera, o si el reemplazo se hace por un
número menor que 3, la proposición resulta falsa.
c) Enunciado Cerrado: Es una afirmación que no contiene variables
d) Variable: Es una cantidad susceptible de variar en un determinado campo o recorrido.
A las variables representaremos con letras minúsculas x, y, z, t, u, a estas variables se les
da el nombre de variables indeterminadas.
e) Proposición: Una proposición es un enunciado cuya propiedad fundamental es la de ser
verdadero (V) o falsa (F), pero no ambas simultáneamente.

2
Una proposición se representa simbólicamente por letras minúsculas tales como p, q, r, etc.
(llamados variables proposicionales). Cuando se trata de representar muchas proposiciones
similares se usan subíndices para indicar cada una de ellas, esto es:
P1; P2; P3;………………..; Pn
A la veracidad o falsedad de una proposición se denomina valor de verdad.
Ejemplos:
Proposición Valor de Verdad
p: El número 2 275 es divisible por 7 V(p) = V
q: Perú esta en Europa V(q) = F
3 2
r: 3 + 1 > (2 x 3) V(r) = F
t: 0! = (7 x 8)0 V(t) = V

f) Valor Veritativo o Valor de Verdad : Se llama valores de verdad de una proposición a

sus dos valores posibles: verdadero o falso, estos posibles valores se puede esquematizar
en una tabla de verdad en la forma:
P

F
1.3 Operadores o Conectivos Proposicionales
Se llaman operadores a los símbolos que sirven para conectar o afectar proposiciones. Son
de dos tipos: monádicos y diádicos.
a) Operador Monádico: Es aquel que afecta solamente a una proposición atómica. La
negación, es el único operador monádico.
b) Operador Diádico: Es aquel que afecta a dos o más proposiciones. Los conectivos que
usaremos en matemática son:

AUTOEVALUACIÓN Nº 01
3
 1. Escribe en el paréntesis ( E ) si la expresión sólo es enunciado, (EA) si es enunciado
abierto y (P) si es enunciado y proposición a la vez.
( ): Los números negativos no tienen factorial
( ): 2x – 15 + 18x = 30 – 5x
( ): Nueve es divisor de 27 y de x
( ): X es factor de 15
( ): Los sujetos del y de la lógica son múltiplos
( ): X + 7 ≠ 9
( ): Hace mucho frío
( ): Cierra la puerta, luego apaga la luz
( ): El es más alto que ella
2. De los enunciados siguientes:
(1) ¡Que felicidad! ( )
2
(2) x + 3 < 20 ( )
(3) 7 + 23 > 40 ( )
(4) Todos los animales son mortales ( )
(5) Joel Tarazona Nació en cerro de Pasco ( )
(6) x – 9 ≠ 48 ( )
Indica cuál de las alternativas siguientes es correcta:
A) 3 son enunciados abiertos
B) 2 son proposiciones
C) 3 no son proposiciones
D) 4 son proposiciones
E) 4 son enunciados abiertos
3. Halla el valor veritativo (vv) de las siguientes expresiones:
( ): La suma de los divisores propios de 24 es 36
( ): El divisor elemental de 15 es 5
( ): 28 es un número perfecto
( ): 36 es un número defectuoso
( ): 1 184 y 1 210 son números amigos
( ): 139 es un número primo
( ): 8, 12 y 15 son números primos entre si (PESI)
( ): 15 es un número abundante
( ): 4, 21 y 143 son (PESI) 2 a 2
( ): 4, 6 y 8 son números compuesto

1.4 Clases de Proposiciones Lógicas

4
 a) Proposiciones Simples o Atómicas: Es una proposición que no contiene ningún
conectivo lógico.
Ejemplos:
1) 6 es un número perfecto 2) 17 es un número compuesto
b) Proposiciones Compuestas o Moleculares: Es una proposición que contiene al menos
un conectivo lógico.
Ejemplo:
1) 139 es primo y 20 es par
2) Si 7 es par entonces 10 es impar
3) Joel Tarazona Bardales es huanuqueño o peruano
1.5 Proposiciones Compuestas Básicos
Así como en aritmética y en el álgebra se estudian operaciones entre números, en
lógica se estudian operaciones entre proposiciones.
De acuerdo con Cabrera C.L., en su obra Matemática Básica (2003: 14-19), vamos a
proceder análogamente para definir las operaciones entre proposiciones:
a) La Negación (~, -, N, ┐): Dado una proposición p, se denomina la negación p, a otra
proposición denotada por ~ p, y que le asigna el valor veritativo opuesto al de p.
Definición Tabular: 2n = 21 = 2 Definición Conjuntista

p ~p
1 0 v v de ~ p  01
0 1
A’ = {x/x є E x A; A
Ejemplos:
E}
1) p : 18 es divisible A’
por=3E – A; x (V) ;x
~p : 18 no es divisible por 3 (F)
2) q : 13 es par (F)
q : No es cierto que 13 es par (V)
3) No es cierto que no pasa corriente: ~ (~ p), o sea que si pasa corriente
4) No es el caso que Fermín Pozo esté enfermo y Agustín Rojas esté afuera:
5) Es falso que esté en el tercer ciclo y sin haber estado en el segundo:
6) No es verdad de que no seas deportista o cantante:
7) Es imposible que no llueva y la pista no esté mojada:
8) Es imposible que no cantes o no actúes o no ganes dinero:
b) La Conjunción ( , . , k, &): Esta nueva proposición tiene un valor de verdad (V)
cuando cada uno de las proposiciones (p y q) tiene valor de verdad (V), en los demás casos
será falso (F).
Definición Tabular: 2n = 22 = 4 Definición Conjuntista
p q p q

1 1 1 5
1 0 0
0 1 0
0 0 0
 v v de (p  q)  1000 A B= x A, x
B
A B=p q
A B = {x E/ x A y x B}
p q
Definición Conmutacional: Corresponde a un circuito conectado en serie

Es compatible con 1x1=1

el sistema binario 1x0=0
0x1=0
0x0=0

1
La analogía entre relaciones lógicas y circuitos eléctricos está aplicada en las
computadoras electrónicas. Se usan cono sinónimos o sustitutos de otras expresiones
conjuntivas como: sino, además, más, aún, cuando, pero, no obstante, sin embargo,
aunque, empero, también, igualmente, a pesar de, a menos que, a la vez, tanto….como……
etc.
Ejemplos:
1) 220 es amigo de 248 y 68,7 tiene dos cifras significativas
p q
(p) = V (q) = F Luego:(p q) = F
2) La raíz aritmética de 9 es +3 y la raíz algebraica de 4 es ± 2
p q
(p) = V (q) = V Luego: (p q) =
V
3) 27 no es múltiplo de 3 y si x = 3; 4x + 3 = 15
p q
(p) = F (q) = V Luego:(p q) = F
4) 69,7 tiene tres cifras significativas pero no es divisible por 3 ( )
5) 2,6800 tiene cinco cifras significativas sin embargo no es impar ( )
6) 1/3 es un número irracional además es un decimal periódico puro ( )
7) 0,00 1600 tiene cuatro cifras significativas también es divisible por 15 ( )
8) Tanto 3 y 4 son primos entre si como 4 y 12 no son primos entre sí ( )
9) Las siguientes proposiciones, expresar en notación Lukasiewics

6
 a) p q = kpq d) p ~q = kpNq
b) ~ p q = kNpq e) ~ (~ p q) = kNNpq
c) ~ p ~ q = kNpNq
c) Disyunción Inclusiva o Suma Lógica ( , A): Toda proposición disyuntiva débil (o
inclusiva) es falsa solamente cuando las dos proposiciones (p y q) son falsos, en los demás
casos es verdadero. Esta disyunción tiene el sentido inclusivo de y/o.
Definición Tabular Definición Conjuntista

p q pq

1 1 1
1 0 1
0 1 1
0 0 0
A B = {x E/ x Adeo px q x1110
A; x
B} B
En el Sistema Binario A Definición
= A Conmutacional: Corresponde a una
instalación eléctrica en paralelo.
1 + 1 = 2 → 10 → 1 + 0 = 1
1+0=0 2 2 Además:
0+1=1 0 1 A–B A B’

0+0=0 A–B p ~q
Luego:
A’ ~p
(A’)’ ~ (~ p) p
(A B)’ ~ (p q) ~p ~q
(A B)’ ~ (p q) ~ p ~ q
En la notación polaca:
p q r kpqAr
Ejemplos:
p ~q ApNq
1) Dionicio Fernández es limeño o peruano (o ambos)
2) Pío Trujillo ama a su mamá o papá
3) Melecio Paragua está en Lima o Agustín Rojas en Pillcomarca
4) 28 es un número perfecto o es múltiplo de 7
5) 9 < 7 o 9 = 32
p q
(p) = F (q) = V Luego: (p q) = V
d) Disyunción Exclusiva ( ,∆, , J): Toda proposición compuesta disyuntiva fuerte es
falsa, cuando las dos proposiciones componentes (p y q) tienen el mismo valor, en los
demás casos es verdadero. Se lee: “p o q, pero no ambos”, “o bien q”
Definición Tabular Definición Conjuntista

7
 p q = p(A-B)q
A∆B (B-A)

1 A∆B1 = (A0 B’) (B A’)

1 0 1
0 p 1 q = (p
1 ~ q) (q ~
0 p) 0 0
v v de p q  0110
A ∆ B = {x E/ x (A - B) o x (B - A)}

Definicion Conmutacional:
1) A ∆ B = (A – B) (B – A) 2) A ∆ B = (A B) – (A B)
p q = (p ~ q)  (q ~ p) p q = (p q) (~ p ~ q)

Ejemplos:
1) Ruperto Fernández nació en Huánuco o Lima (pero no a ambos)
2) Leoncio Prado Gutiérrez está vivo o muerto
3) Jesús Vílchez está en Pillcomarca o en Mamara
4) p q = Jpq (Notación Lukasiewics)
e) La Condicional (→, , , C): Toda proposición condicional es falsa cuando el
antecedente es verdadero (V) y el consecuente es falso (F), en cualquier otro caso es
verdadero. La condicional no debe confundirse con la implicación, mientras aquella opera
entre proposiciones, ésta entre esquemas moleculares como se verá más adelante.
Definición tabular Definición Conjuntista

p q p→q

1 1 1
1 0 0
0 1 1
0 0 1
v v de p → q  1011
A B = {x E/x (A’ B) (A
B’)}
(~ p q) ~ (p ~ q)

Definición Conmutacional: p → q ≡ (~p q) (~p q)

p → q ≡ (~p q)

8
 Se usan como sinónimos o sustitutos otras expresiones como: siendo así, en tal caso,
siempre, porque, ya que, puesto que, por lo tanto, tal que, sólo, púes, es suficiente que,
siempre que, luego, si, (una coma: ,), etc.
Ejemplos:
1) Si 7 es primo, entones 81 es número par
p → q = F
2) Si el divisor elemental de 15 es 3, entonces 35 es un número defectuoso
p → q = V
3) Ana Ruiz no se presentará al examen de matemática a menos que lo posterguen una
semana
p q
Antecedente Consecuente
Premisa Conclusión
Hipótesis Tesis

f) La Bicondicional (↔, ≡, E): Toda proposición bicondicional es verdadera cuando las

dos proposiciones componentes (p y q) tienen el mismo valor de verdad, en los demás
casos es falso.
Definición Tabular Definición Conjuntista

p q p↔q

1 1 1
1 0 0
0 1 0
0 0 1
v v de p ↔ q  1001
A ≡ B, si y solo si: A ByB A
p ↔ q ≡ (p → q) (q → p)
p ↔ q ≡ (~ p q) (~ q p)

Definición Conmutacional:

1.6 Evaluación de Esquemas Moleculares por la Tabla de Valores

A la combinación de las variables proposicionales y los conectivos lógicos mediante
los signos de agrupación, se denomina esquema molecular. Son esquemas moleculares:
i) ~ p → (q r) ii) [(p q) ~ r] ↔ q iii) ~ [(p q) → (~ p r)]
Los operadores de mayor jerarquía en (i), (ii) y (iii) son respectivamente (→), (↔) y (~), y de
acuerdo a esto, los esquemas toman las denominaciones de esquema condicional,
esquema bicondicional y esquema negativo respectivamente.

9
Evaluar una fórmula es equivalente a determinar el valor de verdad de la misma, para todas
las posibles asignaciones de valores de verdad de las distintas variables que figuran en ella.
La evaluación se hace respecto al operador de mayor jerarquía. Ejemplos:
1) Evalúa la fórmula: [p (q → ~ r)] [(~ p r) ↔ ~ q], mediante la tabla de verdad.
Solución: Combinaciones 2n = 23 = 8
p q r [p (q → ~ r] [(~ p r) ↔ ~ q]

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

PASOS (3) (2) (1) (9) (4) (6) (5) (8) (7)
Hemos obtenido los valores de verdad respecto al operador ( ) para todos los valores de
verdad de las variables proposicionales.
2) Si la proposición (p → ~ q) (~ r → s) es falsa, halla el valor de verdad de los siguientes
esquemas moleculares: i) (~ p ~ q) ~q ii) (~ r q) ↔ [(~ q r) s]
Solución: Según la disyunción inclusiva, si [(p → ~ q) (~ r → s)] = F

Tipos de Proposiciones
Cabrera C.L. (Op.Cit.:20-21) clasifica las formulas lógicas de la siguiente manera:
a) Tautología: Un esquema molecular es tautológico cuando los valores de su operador
principal son todos verdaderos.
Ejemplo: [(p q)  ~ q] → p
p q [ (p q)  ~q] → p

V V V F F V V
V F V V V V V
F V V F F V F
F F F V V F
F
PASOS (2) (3) (1) (5) (4)

b) Contradicción: Una fórmula o esquema molecular es contradictorio cuando en el

resultado todos sus valores son falsos.
Ejemplo: ~ ( p → ~ q) ↔ (q → ~p)
p q ~ ( p → ~q ) ↔ (q → ~ p)

10
 V V V V F F F V F F
V F F V V V F F V F
F V F F V F F V V V
F F F F V V F F V V
PASOS (4) (2) (3) (1) (9) (6) (7) (5)

c) Contingencia: Un esquema molecular es consistente o contingente cuando en su

resultado hay por lo menos una verdad y una falsedad.

Ejemplo: [~ p (q r] ↔ [(p r) q]
p q r [~p (q r] ↔ [ (p r)
q]

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

PASOS (1) (3) (2) (7) (4) (6) (5)

AUTOEVALUACIÓN Nº 02
1) Construye la tabla de verdad de las siguientes proposiciones
a) (p ↔ ~ q) ↔ (q → p)
b) ~ [p (~ q → p)] [~(p ↔ ~ q) → (q ~ p)]
c) ~ (p ↓ q) ↔ p ∆ q
d) [(p | q) | (q ↓ p)] ↔ (p q)
e) [(p ∆ ~ q) ~ (r q) ↔ ~ [(p ∆ ~ q) → (q r)]
f) ~ [~ (p q) (r ~ s)]
2) Determina los valores de verdad de las siguientes proposiciones:
a) (3 + 5 = 8) (5 – 3 = 4) c) (3 + 8 = 11) (7 – 4 > 1)
b) (5 – 3 = 8) → (1 – 7 = 6) d) (4 + 6 = 9) ↔ (5 – 2 = 4)
3) ~ [(~ p q) (r → q)] [(~ p q) → (q r)], es verdadera. Halla los valores de
verdad de p, q y r.
4) De la falsedad de (p → ~ q) (~ r → ~ s), se deduce que el valor de verdad de los
esquemas: A = ~ (~ q ~ s) → ~ p ; B = ~ (~ r s) ↔ (~ p → ~ q) y

11
 C = p → ~ [q → ~(s → r)], son respectivamente:
a) FFV b) FFF c) FVF d) FVV
5) Se sabe que p q y q → t son falsas. De los esquemas moleculares siguientes,
identifica cuáles son verdaderos: A = (~ p t) ~ q; B = ~ [p (~ q ~ p)]
B = [(p → q) ~ (q t)] ↔ [~ p (q ~ t)]
6) La proposición (p q) → (q → r) es falsa, y se tiene los esquemas moleculares:
A = ~ (q r) (p q), B = (p ~ q) → (~ r q) y C = [(p ~ r)] ↔ (p ~ r).
Analiza y discrimina cuáles son falsos.
7) Si la proposición (~ p q) → (s r) es falsa, de las proposiciones siguientes, evalúa
cuáles son verdaderas: A = ~ [(p → q) → r] ; B = ~ (~ p q) (~ r r) s
y C = [(p ~ r)].
8) Si las proposiciones A = (p ↔ s) ↔ ~ s y B = [(p → s) ∆ ~ p] ∆ s, son verdaderas , halla
los valores de verdad de p, s y p ∆ s, en ese orden.
9) Dada la siguiente información: V(r → q) = ; V(n r) = F; V(m n) =
y V(p m) = F. Determina el valor de verdad del esquema molecular:
A = [(m ~ n) → (p ~ r)] ↔ (m q).
10) Si A = (p ↔ r) ~ (~ p ~ q), es verdadera, halla el valor de verdad de la proposición
B = (p → q) ↔ (p ↔ r)
11) Si V[(q → p) → (r p)] = F; halla el valor de verdad de cada una de las siguientes
proposiciones:
A = (p x) → (m ↔ y) C = (r ↔ p) → (s q)
B = (q → n) (x y) D = [(s → p) (n → r)] ↔ (x ~ r)
12) Si la proposición P = (~ p → q) (s → ~ r) es falsa; señala cuáles de los siguientes
esquemas moleculares son falsos: A = [(r → q) q] [(~ q r) s; B = ~(p q) ~
q]
C = ~ [(p q) ~ q] → ~ (p → q)
13) Por medio de una tabla de valores, establezca si cada uno de los siguientes esquemas
moleculares es tautología, contingencia o contradictoria.
a) ~ (p → q) ↔ ~ (~ q → ~ p) d) [p (~ q → p)] ~ [(p ↔ ~ q) → (q ~ p)]
b) [(p ~ q) ~ p] ∆ ~ (~ q → p) e) ~ {(p q) [p (~ p q)]} ↔ (p → ~ q)
c) [p → (q → r)] ↔ [(p ~ r) → ~ q f) [~ p (q ~ r)] ↔ [(~ p q) ~ (p r)]
14) Si P(x): x2 – 16 = 0; q(x): x – 12 = 0; r(x): x2 > 9, Halla el valor de verdad:
a) [p (2) → ~ q (2)] ↔ r(4)
b) [~ p (4) → r (5)] ~ q(4)
c) [(p (1) p (3) ↔ (r (2) p (3) → [~ (p (2) q (2))]
15) Si P(x): x3 = 27; q(x): x2 = 9; r(x): x < 10. Halla el valor de verdad de:
a) [p (1) → q (12)] ↔ [r (-3) ~ r(3)]

12
 b) [p (0) ~ q (-1)] [r(-5) → (r (-6) r (0)]
c) [(p (3) p (2)) ↔ (r (2) ~ q (3))] ↔ [~ q (3) ~ p (-3)]
16) Sabiendo que el valor de verdad de la proposición compuesta
{~ [(p r) → q] [(p q) ∆ s]} → {(s ∆ p) → t} es siempre falso. Determina el valor de
verdad de las siguientes proposiciones:
a) {[(~ p ∆ r) ∆ r] → [~(q → (u → p))]} ∆ (p ∆ q)
b) {~ (p → q) ∆ [(r p) → ~ (r s)]} ∆ t
2
17) Si p(x): x = 16 q(x): x – 4 = 8 r(x): x2 - 4 > 5
Halla el valor de verdad de:
a) [(p (1) p (3)) ↔ (r (2) p (3))]} → [~ (p (2) q (2))]
b) [p (2) ~ q (12)] ↔ r (4)
c) [~ p (4) → r (5)] ~ q (4)

13