Lgica Proposicional

Lgica (concepto)
La Lgica es la Ciencia que expone las
leyes, modos y formas de raciocinio.-

Aporte de la Lgica a la Matemtica

De acuerdo al concepto anterior,
podemos asegurar que la simbologa que
usa la lgica, ayuda a la Matemtica en
todos sus razonamientos.-
 Lgica Proposicional

PROPOSICIN

Una proposicin es toda oracin de la cual se puede

decir que es verdadera o falsa.

Por ejemplo:
V
Hoy es lunes
F
Toda proposicin se la representa con letras minsculas
y preferentemente las ltimas del abecedario, o sea:

p, q, r, s, t, u
 Lgica Proposicional

LOS CONECTIVOS LOGICOS

Los conectivos lgicos son smbolos 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
 Lgica Proposicional

PROPOSICIONES SIMPLES Y COMPUESTAS

Una proposicin se dice que es simple o atmica, si no est

afectada por conectivos lgicos. Caso contrario, se dice que
la proposicin es compuesta o molecular.

SIMPLE: p

PROPOSICION

COMPUESTA: p q
 Lgica Proposicional

TABLA DE VALORES DE VERDAD

Una tabla de valores de verdad de una proposicin, 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 proposicin dada.-

Cantidad de valores de verdad debe llevar una tabla

n valores A' 2
n proposiciones
2 n proposiones

O sea que, si el nmero de proposiciones simples que

componen una proposicin es 5, los valores de verdad
sern:
n valores 2 5 32
 Lgica Proposicional

OPERACIONES PROPOSICIONALES

La Negacin
La negacin de la proposicin p es ~p, cuya tabla de
valores de verdad es la siguiente:

p ~p

V F
F V

Como conclusin podemos decir que la negacin es

verdadera si la proposicin simple es falsa y viceversa.
 Lgica Proposicional

La disyuncin o suma lgica

La disyuncin de las proposiciones p y q es la proposicin
pvq, donde p y q se llaman disyuntivos, cuya tabla de valores
de verdad es la siguiente:

p q pq
V V V p: estudio
q: veo TV
V F V
F V V
p v q: estudio o veo TV
F F F

Como conclusin podemos decir que la disyuncin es

verdadera si al menos uno de los disyuntivos tambin lo es.-
 Lgica Proposicional

La conjuncin o producto lgico

La conjuncin de las proposiciones p y q es la proposicin
pq, donde p y q se llaman conjuntivos, cuya tabla de valores
de verdad es la siguiente:

p q pq
V V p: estudio
V
q: veo TV
V F F
F V F p q: estudio y veo TV
F F F

Como conclusin podemos decir que la conjuncin es

verdadera si ambos conjuntivos tambin lo son.-
 Lgica Proposicional

El condicional o la implicacin
El condicional de las proposiciones p y q es la proposicin
pq, donde p se llama antecedente y q consecuente, cuya
tabla de valores de verdad es la siguiente:

p q pq
V V V p: apruebo
V F F q: te presto el libro
F V V
p q: apruebo, entonces te
F F V
presto el libro
Como conclusin podemos decir que el condicional es falso si
el antecedente es verdadero y el consecuente es falso (2
lnea de la tabla).-
 Lgica Proposicional

Condiciones necesarias y suficientes

p q pq
V V V p condicin SUFICIENTE para
q (q si p)
V F F
q condicin NECESARIA para
F V V p (p slo si q)
F F V
 Lgica Proposicional

El bicondicional o la doble implicacin

El bicondicional de las proposiciones p y q es la proposicin
pq, cuya tabla de valores de verdad es la siguiente:

p q pq
V V V
p: apruebo
q: te presto el libro
V F F
F V F p q: solamente si
F F
apruebo, te presto el libro
V

Como conclusin podemos decir que el bicondicional es

verdadero si los valores de verdad de las proposiciones
simples que la componen son iguales.-
 Lgica Proposicional

La diferencia simtrica
La diferencia simtrica de las proposiciones p y q es la
proposicin p q, cuya tabla de valores de verdad es la
siguiente:

p q p q
V V F p: estudio
V F q: veo TV
V
F V V
p q: estudio o bien veo TV
F F F

Como conclusin podemos decir que la diferencia simtrica es

verdadera si los valores de verdad de las proposiciones
simples que la componen son distintos.-
 Lgica Proposicional

Tautologa
Definicin
Se dice que una proposicin es una tautologa, si es verdadera
independientemente de los valores de verdad de las
proposiciones simples que la componen.-

Por ejemplo:
p q (pq) [(pq) (q p)]
V V V V V V V
V F
F V F F V
F V
F V F
F F
V F
1 1 3 2
 Lgica Proposicional

Contradiccin
Definicin
Una proposicin es una contradiccin, 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
 Lgica Proposicional

Contingencia
Definicin
Una proposicin 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
 Lgica Proposicional

LEYES LOGICAS

Una ley lgica es una proposicin verdadera.-

1) Involucin
La negacin de la negacin de una proposicin, es
equivalente a la misma proposicin

p -(-p) p

V V F V
F F V V
2 1
 Lgica Proposicional

2) Idempotencia de la conjuncin

La conjuncin de una misma proposicin es equivalente a la

misma proposicin.-

p (p p) p

V V V
F F V
1
 Lgica Proposicional

3) Idempotencia de la disyuncin

La disyuncin de una misma proposicin es equivalente a la

misma proposicin.-

p (p p) p

V V V
F F V
1
 Lgica Proposicional

4) Conmutatividad de la conjuncin

La conjuncin 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
 Lgica Proposicional

5) Conmutatividad de la disyuncin

La disyuncin 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
 Lgica Proposicional

6) Asociatividad de la conjuncin
La conjuncin 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
 Lgica Proposicional

7) Asociatividad de la disyuncin
La disyuncin 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 Lgica Proposicional

8) Ley de De Morgan (de la conjuncin)

La negacin de una conjuncin es equivalente a la

disyuncin 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
 Lgica Proposicional

9) Ley de De Morgan (de la disyuncin)

La negacin de una disyuncin es equivalente a la

conjuncin 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
 Lgica Proposicional

10) Distributividad de la conjuncin con respecto a la disyuncin

La conjuncin es distributiva con respecto a la disyuncin
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
 Lgica Proposicional

11) Distributividad de la disyuncin con respecto a la conjuncin

La disyuncin es distributiva con respecto a la conjuncin
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
 Lgica Proposicional

10) Las implicaciones asociadas

p q Directa q p Recproca
-p -q Contraria -q -p Contra - recproca

pq Recprocas qp

Co s
nt a
oc
Contrarias

Contrarias
ra r
- r cp
ecre
- p
t ra ro
o n ca
C s

-p -q Recprocas -q -p
 Lgica Proposicional

Propiedad
Las implicaciones contrarrecprocas 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
 Lgica Proposicional

11) Negacin de una implicacin

La siguiente proposicin es una tautologa, 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: -(pq) -[-(p -q) p -q
Pero: -(pq) -[-(p -q) -(-p q)
Ahora: (pq) -(p -q) -p q
 Lgica Proposicional

12) La doble implicacin y la implicacin

La doble implicacin es equivalente a la conjuncin de la

implicacin y su recproca.

p q (p q) [(pq) (qp)
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
 Lgica Proposicional

13) La diferencia simtrica y la doble implicacin

La diferencia simtrica es equivalente a la negacin de

la doble implicacin.

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