Professional Documents
Culture Documents
Lgica (concepto)
La Lgica es la Ciencia que expone las
leyes, modos y formas de raciocinio.-
PROPOSICIN
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
-: NO
: Y
: O EN SENTIDO INCLUYENTE
: ENTONCES O IMPLICA
: SI Y SOLO SI
: O EN SENTIDO EXCLUYENTE
Lgica Proposicional
SIMPLE: p
PROPOSICION
COMPUESTA: p q
Lgica Proposicional
n valores A' 2
n proposiciones
2 n proposiones
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
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
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
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
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
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
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
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
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
p (p p) p
V V V
F F V
1
Lgica Proposicional
3) Idempotencia de la disyuncin
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
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
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
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
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
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
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