LÓGICA MATEMÁTICA

PROPOSICIONES
Se llama proposición a una oración de la cual tiene sentido afirmar que es verdadero o
falso, pero no las dos posibilidades a la vez
Ejemplos:
 15 – 4 = 11
 Lima es la capital de Perú

ORACIONES QUE NO SON PROPOSICIONES

Generalmente las oraciones imperativas, exclamativas e interrogativas no son proposiciones
Ejemplos:
 Lava el auto por favor
 Hola
 ¿Cómo estás?
 apúrate
Finalmente, toda proposición es una oración pero no toda oración es una proposición
REPRESENTACIÓN SIMBÓLICA DE LAS PROPOSICIONES
Las proposiciones lógicas se denotan generalmente con las letras minúsculas p, q, r, s,…
etc.
Ejemplos:
 p: 107 + 301 = 48
 q: 7 es un número par

VALOR DE VERDAD DE UNA PROPOSICIÓN

El valor de verdad de una proposición es la cualidad de veracidad que describe
adecuadamente la proposición. Este puede ser verdadero (V) o falso (F)
Sea p una proposición cualquiera. Si p es verdadera se escribe v (p) = V y se lee “valor de
verdad de p verdadero”. Si p es falso se escribe v (p) = F y se lee “valor de verdad de p
falso”

Ejemplos:
p: el cero es el módulo de la suma v (p) = V
r: 15 = 20 – 10 v (r) = F
Usualmente al valor verdadero se lo asocia con: 1, V, T, True; mientras que el valor falso se
lo asocia con: 0, F, False.
Ejemplos:
p: el cero es el módulo de la suma v (p) = 1
r: 15 = 20 – 10 v (q) = 0

TABLA DE VERDAD
Una tabla de verdad es una representación de los posibles valores de verdad que podrían
tomar una proposición
Las tablas de verdad sirven para mostrar los valores, las relaciones y los resultados posibles
al realizar operaciones lógicas

V
F

CLASES DE PROPOSICIONES LÓGICAS

1. Proposiciones simples: Es un proposición que no contiene ningún término lógico
Ejemplos:
 6 es par
 2+5=7

2. Proposiciones compuestas: Es la combinación de dos proposiciones simples

mediante un término lógico. Se llama termino lógico a las palabras y, o etc.
Ejemplos:
 5 es primo y 2 es par
 Si n es par entonces n es divisible para 2

CONECTIVOS LÓGICOS
Son expresiones que sirven para unir dos o más proposiciones, entre los más importantes
conectivos lógicos tenemos: conjunción, disyunción, etc.

OPERACIÓN OPERADOR TÉRMINO

Negación  No…

OPERACIÓN OPERADOR TÉRMINO

Conjunción  …y…
Contrasección ↖ ...Pero no...
Subsección ↙ No... sino
Extersección ↓ Ni … ni
Bicondicional ↔ …si y solo si…

OPERACIÓN OPERADOR TÉRMINO

Interdisyunción ↑ No… tampoco
Condicional → Si ... entonces
Subdisyunción ← … entonces …
Disyunción inclusiva ∨ … y/o …
Disyunción exclusiva …o…

NEGACIÓN (; no)

Dada una proposición p llamaremos negación de p a la proposición que se obtiene
colocando el adverbio “no” en la proposición. Simbólicamente la negación de p se
representa con p y se lee “no p”. Y que se le asigna el valor opuesto a p
TABLA DE VERDAD

p p

V F
F V

VALOR DE VERDAD DE LA NEGACIÓN

El principio lógico de la negación es:
Si una proposición es verdadera (V), su negación es falsa (F) y recíprocamente, si dicha
proposición es falsa (F), su negación es verdadera (V)

Ejemplos:
p: 2 es número primo v (p) = V
p: 2 no es número primo v (p) = F

r: 7 = 4 x 2 v (r) = F

r: 7  4 x 2 v (r) = V

DOBLE NEGACIÓN  no, no

Dada una proposición p cualquiera al realizar la doble negación de dicha proposición (dos
negaciones consecutivas) se obtiene como resultado la misma proposición inicial. La doble
negación se conoce también con el nombre de “negación de la negación”
VALOR DE VERDAD DE LA DOBLE NEGACIÓN
Si la proposición inicial es verdadera al efectuar la doble negación el valor de verdad sigue
siendo verdadero. De la misma manera si la proposición inicial es falsa al efectuar la doble
negación el valor de verdad sigue siendo falso
Ejemplos:
p: 1+ 2 = 3 v (p) = V

p: 1 + 2  3 v (p) = F

 (p: 1 + 2 = 3 v  (p = V

q: 5 es mayor que 8 v (q) = F

q: 5 no es mayor que 8 v (q) = V

 (q: 5 es mayor que 8 v  (q = F

TABLA DE VERDAD

p p p

V F V
F V F

CONJUNCIÓN (; y)
La conjunción de 2 proposiciones simples p y q es la proposición compuesta que se puede
coordinar por medio de la palabra “y” que se simboliza “p  q” y se lee “p y q”
VALOR DE VERDAD

La conjunción p  q es verdadero (V), solo cuando p es verdadero y q es verdadero, en

todas los demás combinaciones lógicas es falso

TABLA DE VERDAD

p q pq
V V V
V F F
F V F
F F F

Ejemplo:

Si p: 3  2 +1 y q: 2 es un numero primo. Calcular el valor de verdad de p  q

p: 3  2 +1 v (p) = V
q: 2 es un numero primo v (q) = V

p  q: 3 = 2+1 y 2 es un numero primo v (p  q) = V

CONTRASECCIÓN (↖;…pero no…)

La Contrasección de 2 proposiciones simples p y q es la proposición compuesta que se
puede coordinar por medio de la palabra “…pero no…” que se simboliza “p ↖ q” y se lee
“p pero no q”

VALOR DE VERDAD
La Contrasección p ↖ q es verdadera (V), solo cuando p es verdadero y q es falso, en todas
los demás combinaciones lógicas es falso

TABLA DE VERDAD

p q p ↖q
V V F
 V F V
F V F
F F F

Ejemplo:
Si p: 4 es un número par y q: 4 es un número primo. Calcular el valor de verdad de p ↖
q
p: 4 es un número par v (p) = V
q: 4 es un número primo v (q) = F
p ↖ q: 4 es un número par pero no primo v (p ↖ q) = V

SUBSECCIÓN ( ↙ ;No… sino…)

La Subsección de 2 proposiciones simples p y q es la proposición compuesta que se puede
coordinar por medio de la palabra “no…sino…” que se simboliza “p ↙ q”
y se lee “no p sino q”

VALOR DE VERDAD
La Subsección p ↙ q es verdadera (V), solo cuando p es falso y q es verdadero, en todas
los demás combinaciones lógicas es falso

TABLA DE VERDAD

p q p↙q
V V F
V F F
F V V
F F F

Ejemplo:
Si p: un triángulo tiene 4 lados y q: un triángulo tiene 3 lados. Calcular el valor de
verdad de p ↙ q
p: un triángulo tiene 4 lados v (p) = F
q: un triángulo tiene 3 lados v (q) = V
p ↙ q: un triángulo no tiene 4 lados sino 3 lados v (p ↙ q) = V

EXTERSECCIÓN (↓; ni…ni…)

La Extersección de 2 proposiciones simples p y q es la proposición compuesta que se puede
coordinar por medio de la palabra “ni…ni…” que se simboliza “p ↓ q”
y se lee “ni p ni q”

VALOR DE VERDAD
La Extersección p ↓ q es verdadera (V), solo cuando p es falso y q es falso, en todas los
demás combinaciones lógicas es falso
TABLA DE VERDAD

p q p↓ q
V V F
V F F
F V F
F F V

Ejemplo:

Si p: 5 + 1 = 10 y q: 7  10. Calcular el valor de verdad de p ↓ q

p: 5 + 1 = 10 v (p) = F

q: 7  10 v (q) = F

p ↓ q: ni 5 + 1 = 10 ni 7  10 v (p ↓ q) = V

BICONDICIONAL (↔;…si y solo si…)

El Bicondicional de 2 proposiciones simples p y q es la proposición compuesta que se
puede coordinar por medio de la palabra “…si y solo si...” que se simboliza “p ↔ q”
y se lee “p si y solo si q”

VALOR DE VERDAD
El Bicondicional p ↔ q es verdadera (V), cuando ambas proposiciones p y q tengan
idénticos valores de verdad y es falsa (F), cuando ambas proposiciones p y q tengan valores
de verdad opuestos

TABLA DE VERDAD

p q p↔q
V V V
V F F
F V F
F F V

Ejemplo:

Si p: 9 = 3 y q: 3 x 3 = 9. Calcular el valor de verdad de p ↔ q

p: 9 = 3 v (p) = V
q: 3 x 3 = 9 v (q) = V

p ↔ q: 9 = 3 si y solo si 3 x 3 = 9 v (p ↔ q) = V

INTERDISYUNCIÓN (↑; no…tampoco…)

La Interdisyunción de 2 proposiciones simples p y q es la proposición compuesta que se
puede coordinar por medio de la palabra “no…tampoco…” que se simboliza “p↑q” y se
lee “no p tampoco q”

VALOR DE VERDAD
La Interdisyunción p ↑ q es falsa (F), solo cuando p es verdadero y q es verdadero, en todas
los demás combinaciones lógicas es verdadera

TABLA DE VERDAD
 p q p↑q
V V F
V F V
F V V
F F V
Ejemplo:
Si p: 3 es un número irracional y q: 3 es número negativo. Calcular el valor de verdad de p
↑q

p: 3 es un número irracional v (p) = F

q: 3 es número negativo v (q) = F
p ↑ q: 3 no es numero irracional tampoco es negativo v (p ↑ q) = V

CONDICIONAL (→; si…entonces…)

El Condicional de 2 proposiciones simples p y q es la proposición compuesta que se puede
coordinar por medio de la palabra “si…entonces…” que se simboliza “p → q” y se lee “si
p entonces q”

VALOR DE VERDAD
El Condicional p → q es falsa (F), solo cuando p es verdadero y q es falsa, en todas los
demás combinaciones lógicas es verdadero

TABLA DE VERDAD

p q p →q
V V V
V F F
F V V
F F V

La proposición p es llamado antecedente (premisa, hipótesis) y la proposición q es llamado

consecuente (conclusión, tesis)

Ejemplo:
Si p: 4  2 y q: 2  8. Calcular el valor de verdad de p → q

p: 4  2 v (p) = V

q: 2  8 v (q) = F

p → q: si 4  2 entonces 2  8 v (p → q) = F

SUBDISYUNCIÓN (←; no…entonces…)

La Subdisyunción de 2 proposiciones simples p y q es la proposición compuesta que se
puede coordinar por medio de la palabra “no…entonces…” que se simboliza “p ← q”
y se lee “no p entonces q”

VALOR DE VERDAD
La Subdisyunción p ← q es falsa (F), solo cuando p es falso y q es verdadero, en todas los
demás combinaciones lógicas es verdadero

TABLA DE VERDAD

p q p←q
V V V
V F V
F V F
F F V

Ejemplo:
Si p: 7 - 2 = 9 y q: 7 = 9 - 2. Calcular el valor de verdad de p ← q
p: 7 - 2 = 9 v (p) = F
q: 7 = 9 - 2 v (q) = V

p ← q: 7 - 2  9 entonces 7 = 9 - 2 v (p ← q) = F

DISYUNCIÓN INCLUSIVA (∨; y/o)

La disyunción inclusiva de 2 proposiciones simples p y q es la proposición compuesta que
se puede coordinar por medio de la palabra “y/o” que se simboliza “p ∨ q”
y se lee “p y/o q”

VALOR DE VERDAD
La disyunción inclusiva p ∨ q es falsa (F), solo cuando p es falso y q es falsa, en todas los
demás combinaciones lógicas es verdadero

TABLA DE VERDAD

p q p∨q
V V V
V F V
F V V
F F F

Ejemplo:
Si p: El 0 es el modulo de la suma y q: El 0 es el modulo de la multiplicación. Calcular el
valor de verdad de p ∨ q
p: El 0 es el modulo de la suma v (p) = V
q: El 0 es el modulo de la multiplicación v (q) = F
p ∨ q: El 0 es el modulo de la suma y/o de la multiplicación v (p ∨ q) = V

DISYUNCIÓN EXCLUSIVA ( ; o)

La disyunción exclusiva de 2 proposiciones simples p y q es la proposición compuesta que

se puede coordinar por medio de la palabra “o” que se simboliza “p q”
y se lee “p o q”

VALOR DE VERDAD
La disyunción exclusiva p q es falsa (F), cuando ambas proposiciones p y q tengan
idénticos valores de verdad y es verdadera (V), cuando ambas proposiciones p y q tengan
valores de verdad opuestos

TABLA DE VERDAD
 p q p q
V V F
V F V
F V V
F F F

Ejemplo:
Si p: 2 x 2 x 2 = 8 y q: 2³ = 8. Calcular el valor de verdad de p q
p: 2 x 2 x 2 = 8 v (p) = V
q: 2³ = 8 v (q) = V
p q: 2 x 2 x 2 = 8 ó 2³ = 8 v (p q) = F

RESUMEN DE LAS OPERACIONES LÓGICAS

TABLAS DE VERDAD
Las tablas de verdad permiten determinar el valor de verdad de una proposición compuesta,
la misma que depende de sus proposiciones simples y de los operadores que contengan

Nombre Conjunción Contrasección Subsección Extersección Bisección

Término y …pero no… No…sino… Ni… ni… …ssi…
Operador  ↖ ↙ ↓ ↔
p q pq p↖q p↙q p↓q p ↔q
V V V F F F V
V F F V F F F
F V F F V F F
F F F F F V V

Nombre Interdisyunción Condicional Subdisyunción Disyunción Disyunción

i e
Término No…tampoco… Si… No…entonces y/o o
entonces
Operador ↑ → ← ∨
p q p↑q p →q p←q p∨q P q
V V F V V V F
V F V F V V V
F V V V F V V
F F V V V F F

COMBINACIONES LÓGICAS
Si una proposición está constituida por n diferentes variables (proposiciones simples), habrá
que determinar el valor de verdad de la proposición en

En una tabla con n proposiciones los valores se alternan de 2n−1 verdaderos y 2n−1falsos
para la primera proposición, la mitad de 2n−1verdaderos o falsos para la segunda
proposición, la mitad del valor anterior para la tercera proposición y así sucesivamente. El 2
indica el número de valores de valores de verdad y n el número de proposiciones

Ejemplo:

 Para dos variables (p, q); n = 2: se sustituye en la expresión 2n−1 ;22−1 = 2.

El 2 indica que la primera proposición (p) tiene 2 verdaderos y 2 falsos
Para la segunda proposición (q) se divide la expresión 2n−1para 2: 2/2 = 1
 El 1 indica que la segunda proposición (q) tiene 1 verdadero y un falso, hasta
completar la tabla

p q
V V
V F
F V
F F

 Para 3 proposiciones (p, q, r)

Para (p): 2n−1 = 23−1=22=4 ; (4 verdaderos y 4 falsos)
Para (q): 2n−1/2 = 4/2 = 2; (2 verdaderos y 2 falsos)
Para (r): (2n−1 /2¿ /2 = 2/2 = 1; (1 verdadero y 1 falso)

p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

POLINOMIO BOOLIANO
Se llama polinomio booliano, en lógica matemática, a la combinación de variables
mediante las operaciones lógicas
Ejemplo:
∼ [ p ∨ q ∧ p → q] ⋀ ( p ∨ r )

SUPRESIÓN DE SIGNOS DE AGRUPACIÓN

En lógica matemática se procede en forma similar que en matemática y el algebra, es decir
se suprime los signos de agrupación sucesivamente, de dentro a fuera (empezando por el
interior), aplicando las propiedades fundamentales de los operadores lógicos
Ejemplo:

Construir la tabla de verdad (p q) → (q  p)

p q ( p q) → ( q  p )
V V V F V V V VV
V F V V F F F FV
F V F V V F V FF
F F F F F V F F F
1 2 1 3 1 2 1

VALOR DE VERDAD DEL POLINOMIO BOOLIANO

Un polinomio booliano puede ser: Tautología; Contradicción y Contingencia

TAUTOLOGÍA
Una proposición es una tautología si y solo si dicha proposición es verdadera,
independientemente de los valores de verdad de sus proposiciones simples
Ejemplo:

Determinar si la proposición (p  p) es tautología

p ( p   p)

V V V FV
F F V VF
La proposición (p  p) es una tautología
CONTRADICCIÓN
Una proposición es una contradicción si y solo si dicha proposición es falsa,
independientemente del valor de verdad de las proposiciones simples que la conforman
Ejemplo:

Determinar si la proposición (p  p) es una contradicción

p ( p   p)

V V F FV
F F F VF
La proposición (p  p) es una contradicción

CONTINGENCIA
Son proposiciones compuestas que no son ni tautologías ni contradicciones, es decir, son
proposiciones que en algunos casos es falso y otros es verdadero

Determinar si la proposición (p  p) es una contingencia

p ( p  p)

V V V V
F F F F
La proposición (p  p) es una contingencia

EQUIVALENCIA LÓGICA (;)

Considerando dos proposiciones (p y q). p es lógicamente equivalente a q (p  q) si y solo

si la proposición p ↔ q es una tautología
Ejemplo:

Determinar si existe una relación de equivalencia entre: p  p  q y p

p q p  p  q  p

V V V V V V V V V
V F V V V V F V V
F V F F F V V V F
F F F F F F F V F
Es una tautología por tanto es una equivalencia lógica: p  p  q  p

IMPLICACIÓN LÓGICA ()

Considerando dos proposiciones (p y q). p implica lógicamente a q (p  q) si y solo si la
proposición p  q es una tautología
Ejemplo:

Determinar si existe una implicación lógica entre: p  q  q  y p

p q p  q  q   p

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

Es una tautología por tanto es una implicación lógica

p  q  q   p

LEYES DE PROPOSICIONES

NOMBRE
EQUIVALENCIA pp
IDEMPOTENCIA pÙpºp ppºp
CONMUTATIVA pqqp pqqp
ASOCIATIVA (p Ù q) Ù r º p Ù (q Ù r) (p  q) Ú r º p Ú (q Ú r)
DISTRIBUTIVA p Ù (q  r) º (p Ù q) Ú (p Ù r) p  (q  r) º (p  q)  (p  r)
IDENTIDAD pÙVºp pÙFºF pVºV pFºp
COMPLEMENTO p Ù p º F (p) º p p  p º V V  F F  V
MORGAN (p  q) º p  q (p  q) º p  q
ABSORCIÓN p  (p  q)  p p  (p  q)  p
CONDICIONAL p  q  p  q p  q  q  p
BICONDICIONAL p  q  (p  q)  (q  p)
CONJUNCIÓN p  q  p  q
NEGATIVA
DISYUNCIÓN p q  (p  q)  (p  q)
EXCLUSIVA

DEMOSTRACIÓN DE EQUIVALENCIAS
Es el procedimiento por el cual se hace necesario convertir uno de los miembros de la
equivalencia, en la forma que tiene el otro miembro
Ejemplo:

Demostrar (p  p)  q  q  p

PROPOSICIONES RAZONES
1. (p  p)  q  (p  p)  q Axioma reflexivo ()
2. (p  p)  q  p  q Idempotencia
3. (p  p)  q  q  p Conmutativa

Demostrar (p  q)  (p   q)  p

PROPOSICIONES RAZONES
1. (p  q)  (p   q)  (p  q)  (p   Axioma reflexivo ()
q)
2. (p  q)  (p   q)  p  (q  q) Distributiva
3. (p  q)  (p   q)  p  F Complemento
4. (p  q)  (p   q)  P Identidad