DEPARTAMENTO DE

MATEMATICA

ALGEBRA MODERNA
 NUCLEO TEMATICO

Nº 1

LÓGICA
PROPOSICIONAL
Por el Prof. Luis Ernesto Valdez
 DESARROLLO GENERAL
Prof. Luis Ernesto Valdez
Departamento de Matemática del
I.E.S. Andalgalá
2008 - 2011
Sitio Web: www.algebramoderna.webatu.com
E-mail: correo@algebramoderna.webatu.com
Álgebra Moderna – Lógica Proposicional

¿Qué es la lógica?
La Lógica es la Ciencia que
expone las leyes, modos y
formas de raciocinio.-
¿Qué aporte le hace la Lógica
a la Matemática?
De acuerdo a la respuesta
anterior, podemos asegurar
que la simbología que usa la
lógica, ayuda a la
Matemática en todos sus
razonamientos.-
 Álgebra Moderna – Lógica Proposicional

¿Qué es una proposición?

Una proposición es toda oración de la cual se

puede decir que es verdadera o falsa.

Por ejemplo:
V
Hoy es lunes
F
Toda proposición se la representa con letras
minúsculas y preferentemente las últimas del
abecedario, o sea:

p, q, r, s, t, u
 Álgebra Moderna – Lógica Proposicional

LOS CONECTIVOS LOGICOS

Los conectivos lógicos son símbolos que sirven para
formar proposiciones con otras proposiciones. Estos
son:

 Ó -: NO
: “Y”
: “O” EN SENTIDO INCLUYENTE
: ENTONCES O IMPLICA
 : SI Y SOLO SI
 : “O” EN SENTIDO EXCLUYENTE
 Álgebra Moderna – Lógica Proposicional

PROPOSICIONES SIMPLES Y
COMPUESTAS
Una proposición se dice que es simple o atómica, si
no está afectada por conectivos lógicos. Caso
contrario, se dice que la proposición es compuesta o
molecular.

SIMPLE: p

PROPOSICIO
N
COMPUESTA: p  q
 Álgebra Moderna – Lógica Proposicional

TABLA DE VALORES DE VERDAD

¿Qué es una tabla de valores de
verdad?
Una tabla de valores de verdad de una proposición,
es una tabla que se arma con los posibles valores de
verdad de las proposiciones simples que la
componen, con la finalidad de obtener el valor de
verdad de la proposición dada.-
¿Cuántos valores de verdad debe llevar una
tabla?
nº valores = A'n º proposiciones = 2
2 n º proposiones

O sea que, si el número de proposiciones simples

que componen una proposición es 5, los valores de
verdad serán:
nº valores = 2 5 = 32
 Álgebra Moderna – Lógica Proposicional

Operaciones proposicionales
LA NEGACION
La negación de la proposición p es ~p, cuya tabla
de valores de verdad es la siguiente:

p ~p

V F
F V

Como conclusión podemos decir que la negación es

verdadera si la proposición simple es falsa y
viceversa.
 Álgebra Moderna – Lógica Proposicional

La disyunción o suma lógica

La disyunción de las proposiciones p y q es la
proposición pvq, donde p y q se llaman disyuntivos, y
cuya tabla de valores de verdad es la siguiente:

p q p q
V V V
V F V
F V V
F F F

Como conclusión podemos decir que la disyunción es

verdadera si al menos uno de los disyuntivos también
lo es.-
 Álgebra Moderna – Lógica Proposicional

La conjunción o producto lógico

La conjunción de las proposiciones p y q es la
proposición pq, donde p y q se llaman conjuntivos, y
cuya tabla de valores de verdad es la siguiente:

p q p q
V V V
V F F
F V F
F F F

Como conclusión podemos decir que la conjunción es

verdadera si ambos conjuntivos también lo son.-
 Álgebra Moderna – Lógica Proposicional

El condicional o la implicación
El condicional de las proposiciones p y q es la
proposición pq, donde p se llama antecedente y q
consecuente, cuya tabla de valores de verdad es la
siguiente:
p q p q
V V V
V F F
F V V
F F V

Como conclusión podemos decir que el condicional es

falso si el antecedente es verdadero y el consecuente
es falso (2º línea de la tabla).-
 Álgebra Moderna – Lógica Proposicional

Condiciones necesarias y suficientes

p q p q
V V p condición SUFICIENTE
V para q (q si p)
V F F
q condición NECESARIA
F V V para p (p sólo si q)
F F V
 Álgebra Moderna – Lógica Proposicional

El bicondicional o la doble implicación

El bicondicional de las proposiciones p y q es la
proposición pq, cuya tabla de valores de verdad es la
siguiente:
p q p q
V V V
V F F
F V F
F F V

Como conclusión podemos decir que el bicondicional

es verdadero si los valores de verdad de las
proposiciones simples que la componen son iguales.-
 Álgebra Moderna – Lógica Proposicional

La diferencia simétrica
La diferencia simétrica de las proposiciones p y q es la
proposición p v q, cuya tabla de valores de verdad es
la siguiente:

p q p q
V V F
V F V
F V V
F F F

Como conclusión podemos decir que la diferencia

simétrica es verdadera si los valores de verdad de las
proposiciones simples que la componen son distintos.-
 Álgebra Moderna – Lógica Proposicional

Tautología
Definición
Se dice que una proposición es una tautología,
si es verdadera independientemente de los
valores de verdad de las proposiciones simples
que la componen.-
Por
ejemplo: p q (p q)  [(p q)  (q
 p)]
V V V V V V V
V F
F V F V F F V
F F F V F
V F
1V V
1 V3 2
 Álgebra Moderna – Lógica Proposicional

Contradicció
Definición n
Una proposición es una contradicción, si es falsa
independientemente de los valores de verdad de
las proposiciones simples que la componen

Por
ejemplo: p q (p q)  - [(p q)  (q 
p)]
V V V F F V V V
V F F F V F F V
F V F F V V F F
F F V F F V V V
1 4 1 3 2
 Álgebra Moderna – Lógica Proposicional

Contingencia
Definición
Una proposición es una contingencia si no es ni
verdadera ni falsa independientemente de los valores
de verdad de las proposiciones simples que la
componen
Por
ejemplo:
p q (p q) v [(p q)  (q 
p)]
V V V V V V V
V F F F F F V
F V F F V F F
F F V V V V V
1 1 3 2
 Álgebra Moderna – Lógica Proposicional

LEYES LOGICAS
Una ley lógica es una proposición verdadera.-

1º) Involución
La negación de la negación de una proposición, es
equivalente a la misma proposición

p -(-p)  p

V V F V
F F V V
2 1
 Álgebra Moderna – Lógica Proposicional

2º) Idempotencia de la
conjunción
La conjunción de una misma proposición es
equivalente a la misma proposición.-

p (p  p) 
p
V V V
F F V
1
 Álgebra Moderna – Lógica Proposicional

3º) Idempotencia de la
disyunción

La disyunción de una misma proposición es

equivalente a la misma proposición.-

p (p  p) 
p
V V V
F F V
1
 Álgebra Moderna – Lógica Proposicional

4º) Conmutatividad de la
conjunción

La conjunción es conmutativa

p q (p  q)  (q 
p)
V V V V V
V F F V F
F V F V F
F F F V F
1 1
 Álgebra Moderna – Lógica Proposicional

5º) Conmutatividad de la
disyunción

La disyunción es conmutativa

p q (p  q)  (q 
p)
V V V V V
V F V V V
F V V V V
F F F V F
1 1
 Álgebra Moderna – Lógica Proposicional

6º) Asociatividad de la
conjunción
La conjunción es asociativa
p q r (p  q)  r  p  (q 
r)
V V V V V V V V
V V F V F V F F
V F V F F V F F
V F F F F V F F
F V V F F V F V
F V F F F V F F
F F V F F V F F
F F F F F V F F
1 2 2 1
 Álgebra Moderna – Lógica Proposicional

7º) Asociatividad de la
disyunción
La disyunción es asociativa
p q r (p  q)  r  p  (q 
r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V V V F
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F V F F
1 2 2 1
 Álgebra Moderna – Lógica Proposicional

8º) Ley de De Morgan (de la

conjunción)

La negación de una conjunción es equivalente a la

disyunción de las negaciones.-

p q -(p  q)  -p 
-q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
2 1 1 3 2
 Álgebra Moderna – Lógica Proposicional

9º) Ley de De Morgan (de la

disyunción)

La negación de una disyunción es equivalente a la

conjunción de las negaciones.-

p q -(p  q)  -p 
-q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V
2 1 1 3 2
 Álgebra Moderna – Lógica Proposicional

10º) Distributividad de la conjunción con respecto a la

disyunción
La conjunción es distributiva con respecto a la
disyunción
p q r (p  q)  r  (p  r)  (q
 r)
V V V V V V V V V
V V F V F V F F F
V F V V V V V V F
V F F V F V F F F
F V V V V V F V V
F V F V F V F F F
F F V F F V F F F
F F F F F V F F F
1 2 1 3 2
 Álgebra Moderna – Lógica Proposicional

11º) Distributividad de la disyunción con respecto a la

conjunción
La disyunción es distributiva con respecto a la
conjunción
p q r (p  q)  r  (p  r)  (q
 r)
V V V V V V V V V
V V F V V V V V V
V F V F V V V V V
V F F F F V V F F
F V V F V V V V V
F V F F F V F F V
F F V F V V V V V
F F F F F V F F F
1 2 1 3 2
 Álgebra Moderna – Lógica Proposicional

10º) Las implicaciones

asociadas
p  q Directa q  p Recíproca
-p  -q Contraria -q  -p Contra -
recíproca
p q Recíprocas q p

Co s
nt a
Contrarias

Contrarias
oc
ra r
-r c íp
erce
- íp
ra ro
n t ca
Co s

-p  -q Recíprocas -q  -p
 Álgebra Moderna – Lógica Proposicional

Propiedad
Las implicaciones contrarecíprocas son
equivalentes.
O sea
que:
p q p q  -q 
-p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
1 1 3 2
 Álgebra Moderna – Lógica Proposicional

11º) Negación de una implicación

La siguiente proposición es una tautología, o sea:

p q (p  q)  -(p  -q)
V V V VV F F
V F F VF V V
F V V VV F F
F F V VV F V
1 3 2 1

Ahora: -(p q)  -[-(p   p  -q

-q)
Pero: -(p q)  -[-(p  -q)  -(-p  q)
Ahora: (p q)  -(p  -q)  -p 
q
 Álgebra Moderna – Lógica Proposicional

12º) La doble implicación y la implicación

La doble implicación es equivalente a la conjunción de la

implicación y su recíproca.

p q (p  q)  [(p q) 
(q p)
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
1 1 3 2
 Álgebra Moderna – Lógica Proposicional

13º) La diferencia simétrica y la doble implicación

La diferencia simétrica es equivalente a la negación de la

doble implicación.

p q (p  q)  - (p 
q)
V V F V F V
V F V V V F
F V V V V F
F F F V F V
1 2 1
 Álgebra Moderna – Lógica Proposicional

CIRCUITOS LOGICOS

EN SERIE EN PARALELO
p
p q

pq pq
 Álgebra Moderna – Lógica Proposicional

Circuito en p(V) q(V)

serie
V
p q p q p(V) q(F)
V V V F
V F F p(F) q(V)
F V F
F F F F
p(F) q(F)

F
 Álgebra Moderna – Lógica Proposicional
p(V)
Circuito en paralelo
q(V) V

p(V)
p q p q
V V q(F) V
V
V F V p(F)
F V V
F F F q(V) V

p(F)

q(F) F
 Álgebra Moderna – Lógica Proposicional

¿Cómo se trabaja para hacer un circuito lógico de

proposiciones que no son conjunciones, disyunciones o
negaciones?

Por ejemplo, sea

p   -(p  q) -[(pq)   -(pq)  -(qp)
q (qp)]
 (p  -q)  (q 
-p) p -q

q -p
 Álgebra Moderna – Lógica Proposicional

RAZONAMIENTO DEDUCTIVO

( { pi } , q )
{ pi } Premisa
s
q Conclusión

Un razonamiento es deductivo sí y sólo sí, las

premisas son la evidencia de la verdad de la
conclusión.-
 Álgebra Moderna – Lógica Proposicional

(p1  p2  p3  p4  p5  p6  p7  p8  ... pn) 

q
V V V
V F F
F V V
F V F
 Álgebra Moderna – Lógica Proposicional
V V
E E
R R
(p1  p2  p3  p4  p5  p6  p7  p8D D
 ... pn)VERDADERAS
 q A A
D D
E E
R R
A A

Un razonamiento deductivo se
dice que es VALIDO, si no es
posible que de premisas
VERDADERAS se obtenga una
conclusión FALSA
 Álgebra Moderna – Lógica Proposicional

Por ejemplo

p
1
p p q
2 -r  -q
V
p -(-p  -t)
3 t s
p -r
4: s
:: V
::
:q
 Álgebra Moderna – Lógica Proposicional

Reglas de
inferencias
Llamamos reglas de inferencias a todo esquema
válido de razonamiento.

Algunas de ellas son:

Ley de Modus
Ponens
p  (pq)  p q  p  (p q)  q
q V V V V V
p
V F F F V
p
q F V F V V
q F F F V V
 Álgebra Moderna – Lógica Proposicional

Ley de Modus
Tolens
-q  (pq)  -p

p q  -q  (p q)
 -p
V V F F V V F
-q V F V F F V F
p F V F F V V V
q
F F V V V V V
-p
 Álgebra Moderna – Lógica Proposicional

Ley del silogismo hipotético

 (pq)  (qr)  (pr)
p q r  (p q)  (q r) 
(p r)
V V V V V V V V
V V F V F F V F
p
q V F V F F V V V
q r V F F F F V V F
p r 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 V V V V
 Álgebra Moderna – Lógica Proposicional

Ley del silogismo

disyuntivo
-q  (pq)  p

p q  -q  (p q)
 p
V V F F V V
-q V F V V V V
pq F V F F V V
p F F V F F V
 Álgebra Moderna – Lógica Proposicional

Por ejemplo:
1 pq 1) pq 1) pr de 1)2)
)
-r  -q 2) q  r de 2 ICR LSH
2
-(-p  -t) 3) p  t de 3 LDM e 2) p t
)
t s INV 3) ts
3
-r 4) t  s 4) -r
)
s 5) -r s
4
) s
5
) 1) -p de 1)4)
LMT 1) t de 1)2) LSD t(V)
2) p  t 2) t s s(V)
3) ts s
(V)
s
 Álgebra Moderna – Lógica Proposicional

LA FUNCION PROPOSICIONAL

Una función proposicional en una variable x es toda

oración en la que figura la variable como sujeto u
objeto directo, la cual se convierte en proposición
para cada especificación de x.-

Por
ejemplo:
P(x): x es
impar

P(-4): -4 es impar P(5): 5 es impar

(F) (V)
 Álgebra Moderna – Lógica Proposicional

P(x,y):x es divisor de
y
P(-2,6):-2 es divisor de 6 (V)
P(10,2):10 es divisor de 2 (F)

UNIVERSAL: x:P(x)
CUANTIFICADORES

EXISTENCIAL: x/P(x)

 Álgebra Moderna – Lógica Proposicional

NEGACION DE UN CUANTIFICADOR UNIVERSAL

Todos los números enteros son

impares
x:x es impar x:P(x)
Negando el cuatificador
queda:-x:x
 es impar -x:P(x)

No Todos los números enteros son
impares números enteros que no son
Existen
impares
x/x no es impar x/-P(x)

-x:P(x)
 x/-P(x)

 Álgebra Moderna – Lógica Proposicional

NEGACION DE UN CUANTIFICADOR EXISTENCIAL

Existen números enteros que son

impares
x/x es impar x/P(x)
Negando el cuatificador
queda:-x/x
 es impar -x/P(x)

No existen los números enteros que son
impares
Todos los números enteros no son
impares
x:x no es impar x:-P(x)

-x/P(x)
 x:-P(x)

 Álgebra Moderna – Lógica Proposicional

La negación de un cuantificador, es equivalente al

otro cuantificador con la negación de la función
proposicional
Por ejemplo:

Cualquiera que sea entero, existe otro que sumado a él

de cero
P(x,y): x,y/x+y=0

x+y=0
Su negación es:

-x,y/x+y=0
   x/-(y/x+y=0)
  x/y:x+y≠0


-x,y/x+y=0
   x/y:x+y
  0
 Álgebra Moderna – Lógica Proposicional

RAZONAMIENTO INDUCTIVO
Un razonamiento inductivo es aquel que partiendo
de casos particulares, podemos generalizar, y
demostrar de esta forma una propiedad.-
Por ejemplo, demostrar la propiedad conmutativa de
la adición en los números naturales

1+5 =
5+1 = 10+7
7+10 Si a y b  
100+32=32+10 a+b=b+a
0
 Álgebra Moderna – Lógica Proposicional

Un teorema es un esquema válido de

TEOREMA razonamiento donde el conjunto de
premisas se denomina HIPÓTESES y la
conclusión TESIS
En todo triángulo, la suma de los ángulos interiores
es igual a dos rectos. b
∆ A a’ c’
H) Sea abc
∧ ∧ ∧
T) a + b + c =2R
a c
D) ∧ ∧ ∧
a ' +b + c ' =2 R
A ac Cortadas por ab ∧ cb
∧ ∧ ∧ ∧ ∧ ∧ ∧
a = a' c = c' a +b + c =2 R
 Álgebra Moderna – Lógica Proposicional

REDUCCION AL ABSURDO
En todo triángulo, la suma de los ángulos interiores es igual
a dos rectos. b
∆ A a’ c’
H) Sea abc
∧ ∧ ∧
T) a +b +c =2 R
a c
D) ∧ ∧ ∧ ∧
H  T  -T  -H a = a' c = c'
∧ ∧ ∧
a +b + c ≠2 R ∧ ∧ ∧
a ' + b + c ' ≠2 R
A ac Cortadas por ab ∧ cb ¡ABSURSDO!
∆ ∧ ∧ ∧
a b c ⇒ a + b + c = 180 0
 IDEA Y REALIZACION

Prof. LUIS ERNESTO VALDEZ

FIN

Departamento de Matemática

Instituto de Estudios Superiores de Andalgalá

2008 - 2010