ELEMENTOS DE LGICA

LGICA PROPOSICIONAL
1. PROPOSICIONES LGICAS
Son expresiones o enunciados a los cuales se les puede calicar bien
como verdaderas (V) bien como falsas (F), sin ambiguedad. A las
proposiciones se las denotar con las letras minsculas del abecedario
p; q; r; s; t,...,etc.
A las proposiciones lgicas tambin se les denomina simplemente como
proposiciones.
1.1. EJEMPLOS DE EXPRESIONES QUE NO SON PROPOSICIONES
LGICAS
Buenos das , Llega temprano, Quin llam por telfono?,
x + 3 _ 5
Estas expresiones no son proposiciones lgicas debido a que no se
les puede calicar con claridad bien como verdaderas o bien como
falsas.
1.2. EJEMPLOS DE PROPOSICIONES LGICAS
p : 14 8 = 11 (F)
q : 5 + 4 > 8 (V)
r : Santiago es la capital de Chile: (V)
1.3. DEFINICIN
Se llaman valores veritativos valores de verdad de una
proposicin a sus dos valores posibles: verdadero falso. Estos
posibles valores se pueden esquematizar en una tabla de verdad
como sigue:
p
V
F
1
1.4. CLASES DE PROPOSICIONES LGICAS
a) PROPOSICIONES SIMPLES ( ATMICAS)
Son aquellas proposiciones que se pueden representar con una
sola variable, es decir, por una sola letra como: p: 10+8 = 11:
b) PROPOSICIONES COMPUESTAS MOLECULARES
Son aquellas proposiciones que se pueden representar por al
menos una variable y al menos un smbolo que representan a
las palabras no, implica, o, y, si y solo si.
2. PROPOSICIONES COMPUESTAS BSICAS
2.1. LA NEGACIN
Dada una proposicin p, se denomina la negacin de p, a otra
proposicin denotada por p, y se le asigna el valor de verdad op-
uesto al de p. Esta proposicin p es tambin leda como: no p
o no es cierto que p. Su tabla de verdad es:
p p
V F
F V
Veamos los siguientes ejemplos. Dadas las proposiciones
p : 3 4 = 11 y (F)
q : Santiago es la capital de Chile (V)
entonces sus negaciones son
p : 3 4 ,= 11 (V)
q : Santiago no es la capital de Chile (F)
2.2. LA DISYUNCIN ( DISYUNCIN INCLUSIVA)
Sean p y q dos proposiciones, se denomina la disyuncin de p
y q, a otra proposicin denotada por p . q, y se lee p o q. Esta
proposicin p .q es falsa nicamente en el caso de que p y q sean
2
ambas falsas, en cualquier otro caso es verdadera. Su tabla de
verdad es:
p q p . q
V V V
V F V
F V V (*)
F F F
:
Por ejemplo, para las proposiciones lgicas
p : 3 4 = 11 (F)
y
q : Santiago es la capital de Chile, (V)
de acuerdo a (*), se tiene que:
p . q: 3 4 = 11 o Santiago es la capital de Chile
es una proposicin lgica verdadera.
2.3 LA CONJUNCIN
Sean p y q dos proposiciones, se denomina la conjuncin de p
y q, a otra proposicin denotada por p . q, y se lee p y q. Esta
proposicin p .q es verdadera nicamente en el caso de que p y q
sean ambas verdaderas, en cualquier otro caso es falsa. Su tabla
de verdad es:
p q p . q
V V V
V F F (**)
F V F
F F F
Por ejemplo, para las proposiciones lgicas
p : 3 4 = 12 (V)
y
q : Santiago no es la capital de Chile, (F)
de acuerdo a (**), se tiene que:
p.q: 34 = 12 y Santiago no es la capital de Chile
es una proposicin lgica falsa.
3
2.4. LA IMPLICACIN ( CONDICIONAL)
Sean p y q dos proposiciones, se denomina la implicacin de p
a q, a otra proposicin denotada por p == q, y se lee: "si p en-
tonces q" "p es una condicin suciente para q" "q es una
condicin necesaria para p". En esta nueva proposicin p == q,
la proposicin p es llamada antecedente y la proposicin q es
llamada consecuente. Esta proposicin p == q es falsa nica-
mente en el caso de que p sea verdadera y q sea falsa, en cualquier
otro caso es verdadera. Su tabla de verdad es:
p q p == q
V V V
V F F
F V V
F F V
OBSERVACIONES
a) Segn las dos ltimas las de la tabla de verdad, basta que el
antecedente p sea falso para que la implicacin p == q sea ver-
dadera, sin importar el valor de verdad que tome el consecuente
q.
b) A partir de la primera y tercera la de la tabla de verdad, se
concluye que es suciente que el consecuente q sea verdadero para
que la implicacin p == q sea verdadera, sin importar el valor de
verdad que tome el antecedente p.
c) Segn la ltima la, en el caso de que el antecedente p y el con-
secuente q sean ambos falsos, la implicacin p == q es verdadera.
EJEMPLOS
3 4 = 12 == 2 + 3 ,= 5 (F)
3 4 = 1 == 2
5
< 3
4
(V)
3 4 = 12 == Santiago no es la capital de Chile (V)
2.5. LA BICONDICIONAL
Sean p y q dos proposiciones, se denomina la bicondicional de
p y q, a otra proposicin denotada por p == q, y se lee: "p si
y solo si q" "p es una condicin necesaria y suciente para q".
4
Esta proposicin p == q es verdadera en los casos en que p y q
tomen el mismo valor de verdad, y es falsa en los casos en que p
y q tengan valores veritativos opuestos. Su tabla de verdad es:
p q p == q
V V V
V F F
F V F
F F V
EJEMPLOS
3 + 4 = 7 == 2 + 3 ,= 5 (F)
3 4 = 1 == 2
5
< 3
4
(F)
3 4 ,= 12 == Santiago no es la capital de Chile (V)
2.6. LA DISYUNCIN EXCLUYENTE (O DIFERENCIA SIMTRICA)
Sean p y q dos proposiciones, se denomina la disyuncin ex-
cleyente de p y q, a otra proposicin denotada por p Y q, y se
lee: "o bien p bien q". Esta proposicin pYq es verdadera en los
casos en que p y q tomen valores veritativos opuestos, y es falsa
si p y q tienen el mismo valor de verdad. Su tabla de verdad es:
p q p Y q
V V F
V F V
F V V
F F F
EJEMPLOS
3 + 4 = 7 Y 2 + 3 ,= 5 (V)
3 4 = 1 Y 2
5
< 3
4
(V)
3 4 ,= 12 Y Santiago no es la capital de Chile (F)
2.7. CONECTIVOS LGICOS
Se llaman as a los smbolos: ; .; .; == ; == y Y.
5
2.8. CONECTIVO PRINCIPAL
El conectivo principal de una proposicin lgica compuesta es
aquel conectivo que divide en dos partes a toda la proposicin.
2.9. TABLA DE VERDAD ( TABLA DE VALORES DE VERDAD)
La tabla de verdad, de una proposicin lgica compuesta, est
dada por la columna de valores que se encuentra bajo el conectivo
principal de dicha proposin.
3. PROPOSICIONES COMPUESTAS
Utilizando los conectivos lgicos se pueden combinar cualquier nmero
nito de proposiciones bsicas para obtener otras proposiciones ms
complejas, cuyos valores de verdad pueden ser conocidos construyendo
su respectiva tabla de verdad; en dicha tabla de verdad se indica to-
dos los valores resultantes de esta proposicin compuesta para todas
las combinaciones posibles de valores de verdad de las proposiciones
componentes.
EJEMPLO.
La tabla de verdad de la proposicin compuesta [p . q] == (r . p),
es la columna de valores que est bajo el conectivo principal == :
p q r [p . q] == (r . p)
V V V F V V V
V V F F V F F
V F V F F V V
V F F F F V F
F V V V V F F
F V F V V F F
F F V V V F F
F F F V V F F
(1)
3.1. PROBLEMA
Sean p; q; r y s proposiciones. Si p es verdadera, q es falsa, r es falsa
y s es verdadera, determinar el valor de verdad de la proposicin
[(q . s) == (s . p)] Y (r . p).
6
SOLUCIN
[(q . s) == (s . p)] Y (r . p)
[(V . F) == (V . V )] Y (F . V )
[ F == V ] Y F
V Y V
F
3.2. PROBLEMA
Determinar el valor de verdad de la siguiente proposicin:
(4 >
_
2 . 1 < 0) == [3 + 4 ,= 6 . (2 3 = 4 == 1 < 0)] :
SOLUCIN
(4 >
_
2 . 1 < 0) == [3 + 4 ,= 6 . (2 3 = 4 == 1 < 0)]
(V . F) == [V . (F == V )]
( F ) == [V . F ]
F == V
V
3.3. PROBLEMA
Determinar el valor de verdad de la proposicin
[(p == q) == r] == [p == (q == r)], sabiendo que la
proposicin [(p == q) == r] == [p == (q == r)] es falsa.
4. TIPOS DE PROPOSICIONES
A ciertas proposiciones, simples o compuestas, se les asigna el nombre
de:
4.1. TAUTOLOGA, si en su tabla de verdad todos los valores son
VERDADEROS para cualquier combinacin de los valores de ver-
dad de sus proposiciones componentes. A estas proposiciones se
acostumbra denotarlas simplemente con la letra V.
4.2. CONTRADICCIN, si en su tabla de verdad todos los valores
son FALSOS para cualquier combinacin de los valores de ver-
dad de sus proposiciones componentes. A estas proposiciones se
acostumbra denotarlas simplemente con la letra F.
4.3. CONTINGENCIA, si en su tabla de verdad contiene al menos un
valor V y al menos un valor F.
7
4.4. EJEMPLO.
La proposicin [p . q] == (r . p) es una contingencia, ya que en
su tabla de verdad, dada en (1), se observa que contiene al menos
un valor V y al menos un valor F.
5. PROPOSICIONES LGICAS EQUIVALENTES
Dos proposiciones lgicas p y q se dicen que son EQUIVALENTES (
Lgicamente Equivalentes) si ellas tienen la misma tabla de verdad, en
este caso se acostumbra simbolizar como p = q.
Ejemplo: las proposiciones [p == q] y [p Y q] son equivalentes, ya que
al obtener sus respectivas tablas de verdad vemos que son identicas.
Luego, podemos escribir simbolicamente como: [p == q] = [p Y q].
6. LEYES BSICAS DEL LGEBRA PROPOSICIONAL
6.1. LEYES BSICAS
Son ciertas proposiciones lgicas equivalentes.
1a p . p = p
1b p . p = p
2a p . q = q . p
2b p . q = q . p
3a ( p . q ) . r = p . ( q . r )
3b ( p . q ) . r = p . ( q . r )
4a p . ( q . r ) = ( p . q ) . ( p . r )
4b p . ( q . r ) = ( p . q ) . ( p . r )
5a p . F = p
5b p . V = V
6a p . F = F
6b p . V = p
7a p . p = V
7b p . p = F
8a p = p
8b F = V ; V = F
9a (p . q) = p . q
9b (p . q) = p . q
8
10 p == q = p . q
11 p == q = q == p
12 p . ( p . q ) = p
13 p . ( p . q ) = p
14 p == q = (p == q) . (p == q)
15 p == q = (p . q) . (p . q)
16 p Y q = (p . q) . (q . p)
6.2. OBSERVACIN.
Las leyes del lgebra nos permite:
a) A partir de una proposicin extensa, obtener proposiciones
equivalentes de escritura ms simple.
b) Determinar si una proposicin es una tautologa, Contradiccin
contingencia.
c) Determinar si dos proposiciones dadas son o no equivalentes.
6.3. EJEMPLO.
Determinar si la proposicin,
[p == (p . q)] == [q == (p . q)] ; representa
una tautologa, contradiccin o contingencia.
Usando las leyes del lgebra, tenemos:
[p == (p . q)] == [q == (p . q)]
p . (p . q) == [q . (p . q)] 10
p == [q . (q . p)] 4a y 2a
p == [(q . q) . p] 3a
p == (q . p) 1a
[p == (q . p)] . [(q . p) == p)] 14
[p . (q . p)] . [(q . p) . p] 10 y 9a
[p . p . q)] . [(q . p) . V ] 2a y 4b
[(p . p) . q)] . [(q . p) . V ] 2a
[ V . q)] . [(q . p) . V ] 7a y
V . (q . p) 5b y 6b
q . p 6b
Rpta: La proposicin dada arriba es una contingencia.
9
7. FUNCIN PROPOSICIONAL
Es una expresin que contiene al menos una variable, que se transforma
en una proposicin lgica al sustituir las variables por elementos de un
conjunto referencial.
7.1. EJEMPLOS:
a) Sea A = 0; 2; 3; 4; 5 el conjunto referencial y sea la funcin
proposicional x
2
16 _ 2. A partir de la funcin proposicional
se tienen las proposiciones lgicas: 0
2
16 _ 2, 2
2
16 _ 2,
3
2
16 _ 2, 4
2
16 _ 2 y 5
2
16 _ 2. Las primeras tres proposi-
ciones son falsas y las ltimas dos son verdaderas.
b) Sea A = 1; 3; 5 el conjunto referencial y sea la funcin proposi-
cional x y = 4. Al reemplazar las incgnitas de la funcin
proposicional por los valores de A se tienen varias proposiciones
lgicas. La proposicin 5 1 = 4 es verdadera y todas las dems
proposiciones resultan ser falsas.
8. CUANTIFICADORES
A los smbolos \ y se les llama cuanticador universal y cuanticador
existencial, respectivamente.
En lo que sigue: A representar un conjunto referencial y p(x) repre-
sentar una funcin proposicional.
8.1. PROPOSICIN CON CUANTIFICADOR UNIVERSAL (\)
Forma General:
\x A; p(x): (2)
Se lee: Para cada x A se cumple p(x) Para todo x A se
cumple p(x) Para cualquier x A se cumple p(x) Todo
x A cumple p(x).
La propsicin (2) es verdadera siempre que, para cada x A,
p(x) es una proposicin lgica verdadera. Esto es, si para algn
x A, p(x) es una proposicin falsa , entonces la proposicin (2)
es falsa.
8.2. PROPOSICIN CON CUANTIFICADOR EXISTENCIAL ()
Forma General:
x A; p(x): (3)
Se lee: Existe al menos un x A; tal que se cumple p(x)
Para al menos un x A se cumple p(x) Por lo menos un
10
x A cumple p(x).
La proposicin (3) es falsa siempre que, para cada x A, p(x)
es una proposicin falsa. Esto es, la proposicin (3) es verdadera
siempre que, para al menos un x A, p(x) es una proposicin
verdadera.
8.3. PROPOSICIN EXISTENCIAL PARTICULAR
8.4. NEGACIN DE PROPOSICIONES CON CUANTIFICADORES
8.5. EJEMPLOS
9. GUA DE EJERCICIOS
1: Hallar el valor de verdad de cada una de las siguientes proposiciones:
a) (
4
_
4 >
_
2 . 1 > 0) ==
h
_
2 _
4
_
4 . (
1
4
p
4
<
1
p
2
== 1 < 0)
i
b)

3
_
8 >
_
2 . 8 < 0

==
h
_
2 _
3
_
8 . (
1
3
p
8
<
1
p
2
== 8 > 0)
i
2: Sean p; q; r; s y n cinco proposiciones lgicas. Si el valor de verdad de la
proposicin
h
(p == q) == r
i
== (s . r) es falsa y el valor de verdad de la
proposicin p .q es falso, determinar el valor de verdad de las siguientes dos
proposiciones: [(n == p) . r] == p y s == (p == r):
3: Determinar el valor de verdad de la siguiente proposicin
[(p == q) == r] == [p == (q == r)], sabiendo que el valor de
verdad de la proposicin [(p == q) == r] == [p == (q == r)] es
falsa.
4: A partir de que la proposicin (p == q) . (r == s) es falsa, deducir
el valor de verdad de las siguientes proposiciones:
a) (p . q) . q
b) [(r . q) . q] == [(q . r) . s]
c) (p == r) == [(p . q) . q] :
5: Si se sabe que las proposiciones (p . q) y (q == t) son falsas, entonces
determine el valor de verdad de cada una de las siguientes proposiciones:
a) (p . t) . s
b) [p . (q . p)]
c)

p . (q . t)

==
h
(p == q) . (q . t)
i
11
6: Si la proposicin (p .q) == [(p . r) . t] es falsa, determine el valor de
verdad de las siguientes proposiciones:
a)

(q . p) == (r . t)

b) (q . r) .

t . (q . p)

c) [p == t] == (q == r)
7: Sean r y s proposiciones cuyos valores de verdad son opuestos. Si la
proposicin (p . q) == (r . s) es verdadera, determine el valor de verdad
de las siguientes proposiciones:
a) [(p . q) . (r . s)] . p
b)
h
(p . q) . (r . s)
i
. (p . q)
c) [(r . s) == (s . p)] Y (r . p)
8: Si p; q; r; s; t; w son proposiciones tales que, la proposicin (p . r) ==
(s == w) es verdadera y la proposicin (w == s) es falsa, determine el
valor de verdad de las siguientes proposiciones:
a) (p . q) . r . s
b) (s == w) == (r . p)
c) [t == (w . p)] . (p == r)
9: Si la proposicin [(p Y q) . (p . q)] == [r == s] es falsa, cules de
las siguientes proposiciones son necesariamente verdaderas?:
a) (p . q) == (p . s)
b) [p . r] == (r . s)
c) (r . s) == (p Y r)
10: Determine cuales de las siguientes proposiciones son tautologas:
a)
h
(p . q) == q
i
== (p == q).
b) [p == q] == (p == q).
c) ([p . q) . (p . (p . q))] == (p == q)
d) [(p . q) . q] == p
e) [(p . q) . q] == q.
f) [p . (q . r)] ==
h
(p . q) . (p . r)
i
g) (q == p) == (q . p)
h) [(p . q) . q] == [(p . q) . q]
12
i) [p == q] == [(q . p) . q]
11: Demostrar que las siguientes tres proposiciones son equivalentes:
a) [(q . p) . (q . (r . p))]
b) (p . q) . [q . (r . p)]
c) [q == p] .
h
p == (p == r)
i
12: Cules de las siguientes cuatro proposiciones son equivalentes a la
proposicin (p == q) == r?
a) [p . q . r]
b) (p . q) . r
c) (q . r) . [r . q]
d) p . p . r
13:Determinar si las proposiciones [(s == w) . (t == w)] y

w ==

t . s

son equivalentes.
14: Sea A = 1; 2; 3. Determinar el valor de verdad de cada una de las
siguientes proposiciones y escriba sus correspondientes negaciones:
a) \x A; \y A; x
2
+ 3y < 12
b) \x A; y A : x
2
+ 3y < 12
c) x A : \y A; x
2
+ 3y < 12
d) x A : y A : x
2
+ 3y < 12
15:Sean los conjuntos A = 2; 3; 8 y B = 1; 2; 7, cules de las siguientes
proposiciones son verdaderas?:
a) x A : \y B; x + y _ 9
b) x
1
; x
2
A . y
1
; y
2
B : 2(x
1
+ x
2
) = y
1
+ y
2
c) \x A; \y B; x + 2y < 23
16: Determinar el valor de verdad de cada una de las siguientes proposi-
ciones y escriba sus correspondientes negaciones:
a) \x Z; x + 1 > x
b) x Z; x
2
+ 1 = 0
c) x Z; x
2
= x
d) \x Z; x
2
1 > 0
e) \x R; \y R, [(x)(y) = xy == xy > 0]
f) x R : x = 0
g) \x R,
x
2
x
= x
13
h) [x N : x + 2 = 5] . [\x N; x
2
> x]
i) [\x Z; -x < 0] . [x Z : -x
2
= x]
14