Académique Documents
Professionnel Documents
Culture Documents
Lgica
La lgica es la disciplina que trata de los mtodos, modos y formas del
razonamiento humano. Ofrecen reglas y tcnicas para determinar si un
argumento es vlido o no. Una de las metas fundamentales de la lgica es
eliminar las ambigedades del lenguaje ordinario, introduciendo smbolos y
conectivos lgicos en la construccin de proposiciones.
Dado que las proposiciones son la base del razonamiento lgicos, que
consiste en decidir la validez de una idea en base enunciados que
previamente fueron aceptados.
Nota.- una proposicin es una oracin que tiene un solo valor de verdad en
el transcurso del tiempo o cualquiera que sea el lugar donde se est
utilizando dicha verdad. Ej.:
Determinar cul de las siguientes oraciones son proposiciones:
Negacin ()
Conjuncin ()
Disyuncin (V)
Implicacin ()
Doble Implicacin ()
Disyuncin Exclusiva (V)
p: los gatos p p
hablan. F
q: Log3 9 = 2 V F V
p: los gatos F V no hablan. V
q: Log3 9 2 F
p q p q p: juan es orientista
V V V
V F F q: pedro es orientista
F V F
F F F p q: juan y pedro son orientista
Definicin de la implicacin.- p q = p v q
a) [ p ( p v r )] [( p v r ) r ] b) ( p q) r
a) ( p q ) v ( p v q )
p q r (p ( p v q ( p q ) v ( p v
p q) ) q)
V V V F V V V
V V F F V F V
V F V F F V V
V F F F F F F
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V
b) ( p q)r
p q r (p (pq)r
p q ( pq) ( p v p ( A ( p q (B AvB
V Vp Vq q)V q) )V ) )
VV V VF FF VV V VF V F V F
VV F FF VV FF F FV F V F F
FV V FV FF F F V F V F V F F
FF F VV VV FV V FV F V F F
F V F V F
F F V V V
F F F V F
1) {( p q) v [ p ( p v q)]} v ( p q )
A B
A B
p q r r (p () (p v () r A
p q q) r q) () B
V V V F F F F V V F F
V V F F F V F V V F F
V F V F V F F V V F F
V F F F V V F V V F F
F V V V F F V F F V V
F V F V F V V V F V F
F F V V V F F V V F F
F F F V V V F V V F F
1) (p q) ( p v q)
p q (p q) ( p v
p q)
V V F V V
V F F F F
F V V V V
F F V V V
2) (p q ) (p v q) ( p q) ( p v q)
p q (p q) (p v (A ( p q) ( p v q) (C
p q q) B) D)
V V F F V V V F V F
V F F V F V F F F F
F V V F V F F V V V
F F V V V V V F V F
No es lgicamente
equivalente
Ley Ley
Ley Asociativa Ley De Negacin
Idempotencial Conmutativa
p v (q v r) (p v q) v (p) p
pvpp pvqqvp
r p p F p
ppp pqqp
p (q r) (p q) r v p V
Definicin De
Ley Identidad Ley De Morgan Ley Distributiva
Implicacin
(p v q) p P v (q r) (p v q)
pVp q (p v r)
p q = p v q
pvFp (p q) p v P (q v r) (p q) v
q (p r)
Definicin De Doble Definicin De Disyuncin
Ley De Absorcin
Implicacin Exclusiva
p v (p q) p p (p
v q) p p q = (p q) (p q) pvq= (p q)
p FF pvVV
P=
F
P=
V
Circuitos en serie y paralelo.- las operaciones proposicionales se pueden
representar mediante circuitos lgicos con tantos interruptores como
proposiciones que la componen, combinados en serie o en paralelo segn el
conectivo lgico.
p q
p q pvq
V V
V F
F V
F F
Circuito paralelo.- la disyuncin de dos proposiciones (p v q) esta
representacin en un circuito lgico en paralelo:
p
pv
q
p q pvq
v v
v f
f v
f f
Representar mediante crculos lgicos las siguientes proposiciones:
a) (p q) r
[ (p q)] v r // Def. Amp.
(p q) v r // Ley de Neg.
p
q
b) (p q)
(p q) (q p)
(p v q) (q v p)
p q
q p
Inferencia lgica.- se debe entender por inferencia lgica a un
razonamiento bsico a partir de una proposicin llamado premisa, se
obtiene un resultado llamado conclusin de las premisas es decir si las
premisas es decir si las premisas todas son verdaderas, entonces la
conclusin lgicamente ser verdadera, caso contrario si una o ms
premisas es falso la conclusin ser falso.
Sea P: proposicin
P1 P2 P3 Pn => Q
P1
P2
P3
.
.
.
Pn
Q
Reglas de inferencia.- se llama reglas de inferencia universalmente
incorrecta que representan mtodos generales de razonamiento.
Modus Ponendo Pones Modus Tollendo Tollens Modus Tollendo Pones
(PP) (TT) (TP)
pq p q pq pvq pvq
p q p
q q q
p p q p
Silogismo Hipottico Ley de Simplificacin Ley de Conjunto (LC)
(SH) (LS)
pq pq pq p
qr p q q
pr p q
1) p r 1) x = y v x < y
2) T 2)(x < 3 y = x+1) y C 8
3) q r 3) x = 3 v y = 8
4) p t 4) x y y = x+1
5) p (2,4) (TT) 5)x < 3 x < y
6) r (1,5) (PP) 6) xy (LS) (4)
7) q (3,6) (PP) 7) x<y (TP)
(1,6)
8) x<3 (TT) (5,7)
9) y = x+1 (LS)
(4)
10) (x < 3 y = x+1) (LC)
(8,9)
11) y=8 (PP) (2,10)
12) x=3 (TP) (3,11)
13) x = 3 v y < 2 (LA) (12)
Funciones proposicionales y sus cuantificadores.-
x: X es vocal.
x: x/x es vocal fuerte.
Negacin de cuantificadores.-
Sea la oracin.-
x: P(x) q(x)
(x: P(x) q(x)) = x/ (P(x) q(x))
x/ (P(x) q(x))
x/P(x) q(x)