Académique Documents
Professionnel Documents
Culture Documents
3
IMPORTANTE.- A partir de proposiciones simples se pueden generar proposiciones compuestas.
4.- TRMINOS DE ENLACE O CONECTIVOS LGICOS
Llamados tambin operadores lgicos; son smbolos que enlazan proposiciones simples, sin
formar parte de ellas, para formar proposiciones compuestas.
CONECTIVO
OPERACIN ASOCIADA
Negacin
Conjuncin o producto Lgico
Disyuncin o suma Lgica
Implicacin o Condicional
Doble implicacin
Diferencia simtrica
SIGNIFICADO
No p o no es cierto que p
pyq
p o q (en sentido incluyente)
p implica q o si p, entonces q
p si y solo si q
p o q (en sentido excluyente)
V
F
F
V
5.b.- CONJUNCIN ( )
Es una operacin donde intervienen siempre dos proposiciones, operacin binaria y cuya tabla de
verdad es :
V
V
F
V
F
F
V
F
V
4
5.c.- DISYUNCIN ( )
Es tambin una operacin que involucra a dos proposiciones y cuya tabla de verdad es:
V
V
F
F
V
V
V
F
V
F
V
F
Observar que o en sentido incluyente es V, cuando una de las dos proposiciones es verdadera.
5.d.- IMPLICACIN O CONDICIONAL ()
Definida tambin para dos proposiciones: p y q, donde p es llamado el ANTECEDENTE y q el
CONSECUENTE y cuya tabla de verdad es:
V
F
F
V
F
V
La proposicin condicional est asociada a otras tres
recproca, la inversa y la contrareciproca
F
V
F
proposiciones importantes, estas son: la
V
V
F
F
V
F
F
V
V
F
V
F
5
5.f.- DIFERENCIA SIMTRICA.- ( o )
Llamada tambin disyuncin excluyente, donde la verdad de la operacin esta caracterizada por
la verdad de una y solo una de las proposiciones, su tabla de verdad es:
V
V
F
F
V
V
V
F
V
6
Las operaciones proposicionales de la CONJUNCIN y la DISYUNCIN, se pueden representar
mediante las conexiones serie y paralelo de los circuitos elctricos, llamados en lgica, circuitos
lgicos, a saber:
CONJUNCIN ( ) : Operacin proposicional representada mediante la conexin en
SERIE de los circuitos elctricos:
p
q
Se puede observar que este circuito admite el pasaje de corriente solo si las dos proposiciones son
verdaderas:
p
q
1
1
0
0
1
0
0
0
1
0
1
0
Se verifica que no pasa corriente, para el caso de que ambas proposiciones son falsas:
p
1
1
1
1
1
0
0
1
1
0
0
0
0
Para el caso de la disjuncion excluyente o diferencia simtrica y aprovechando sus equivalentes
lgicos, nos permite operar:
p q ~ (p q) (p q) ~ (p q) (p ~ q) (q ~ p)
Lo que nos permite representar el circuito lgico que corresponde a p q:
7
DIFERENCIA SIMETRICA ():
p
~q
~p
1
0
0
1
1
0
0
1
0
( p) p
IDEMPOTENCIA:
p p p
p p p
CONMUTATIVIDAD:
p q q p
p q q p
p q q p
IDENTIDAD:
p F p
V p p
LEY DE ABSORCION:
p F F
p V V
LEY DEL COMPLEMENTO:
p V
p F
8
ASOCIATIVIDAD:
p (q r) (p q) r
p (q r) (p q) r
p (q r) (p q) r
DISTRIBUTIVIDAD:
p (q r) (p q) (p r)
p (q r) (p q) (pr)
p (q r) (p q) (pr)
p (q r) (p q) (pr)
EQUIVALENTES LGICOS:
LEY * :
p (p q) p
p (p q) p
p q p q
p q (p q) (q p)
p q ~(pq)
LEYES DE DMORGAN:
(p
(p
LEY ** :
p (
p q
p q
p q)
( p q )
q)
q)
p q
p q
LEY DE LA CONTRARECIPROCA:
p q
q p
q
p
[(p q) q] p
LEY DEL MODUS TOLLENDO PONENS:
pq
p q
[(p q) p] q
[(p q) q] p
9
SIMPLIFICACIN:
p q
p q
p
q
(p q) p
(p q) q
SILOGISMO DISYUNTIVO:
p q
p r
q s
r s
LEY DE LA CONJUNCION:
p
q
p q
LEY DE LA ADICION:
p
p W
p (p W)
[(p) (q)] (p q)
10.- CUANTIFICADORES
[ x : P(x) ]
[ x /
Marzo del 2016
x/
P(x)
P(x) ] x /
P(x)