/

Capitulo 1.Lgica

Como teorfa formal, la lgica binaria posee elementos primitivos, los cuales se denominan proposiciones. Al estudiar la lgica como modelo del razonamiento o "buen pensamiento", las proposiciones representan frases o expresiones que poseen un valor de verdad, el cual puede ser verdadero o falso. Para representar las proposiciones normalmente se emplean las letras

.q,\

s.

Ejemplo. "7 es un nmero primo" y "3 es mayor que 5" son proposines, la primera es verdadera (es decir, tiene valor de verdad verdadero). . q representa "3 es mayor que 5" , podemos decir q es falsa. Dada una proposicin, se define su negacin como la proposicin que tiene or de verdad contrario. Es decir, si la proposicin es verdadera su negacin falsa, y si es falsa, su negacin es verdadera. La negacin se representa el simbolo "rv" y se lee "no"_Fm:malmente la definicin anterior es la siguiente: Definicin. Dada una proposicin p, se define la negacin proposicin que tiene valor de verdad de acuerdo a la tabla:
"rv

p"

como

/t/-:I
F
Proposicin 1. Dada una proposicin el mismo que el de p.

Ejemplo. Si la proposicin p representa: "Hoy esjueves", la proposicin p representa : "Hoy no es jueves" . Observe que si rv p representa: "Hoy no es jueves", entonces ('" p) representa la oracin "No es cierto que hoy no,es jueves". Oracin equivale a decir "Hoyes jueves". En efecto, la doble negacin de una - posicin tiene el mismo valor de verdad que el de la proposicin inicial. es una propiedad, la cual est dada por la siguiente proposicin: p, el valor de verdad de
rv (rv

p)

2 Demostracin:
p

Elementos

de lgebra

'

r-vp
F V

rv (r-v p)
V

V \

Los conectivos lgicos definen nuevas proposiciones a partir de proposiciones dadas. El valor de verdad de la nueva proposicin depende de la combinacin de valores de verdad de las proposiciones dadas. Con dos proposiciones se obtienen 4 combinaciones de valores de verdad.

v
V F
F V

~F

En general, con n proposiciones iniciales se obtienen 2n combinaciones. Dadas dos proposiciones con sus' respectivos valores de verdad, se construye una tercera proposicin llamada disyuncin, cuyo valor de verdad es verdadero cuando al menos una de las proposiciones es verdadera, y es falso cuando ambas proposiciones iniciales son falsas. La disyuncin se representa con el sfmbolo "V" Y se lee "o". Formalmente la definicin anterior es la siguiente: 7" Definicin. Dadas las proposiciones p y q, se define la disyuncin p';q como la proposicin que tiene un valor de verdad de acuerdo a la siguiente tabla: p q pVq V. V V VV F F V V F F F

Como modelo del razonamiento, la disyuncin corresponde a la unin de dos oraciones con el conectivo "o". Por ejemplo, si p representa "Jorge est de vacaciones" y q representa "Jorge est fuera del pas" ,entonces p V q: representa "Jorge est de vacaciones o est fuera del pas". Observe que si la proposicin "Jorge est de vacaciones o est fuera del pas" es verdadera, no es posible deducir si "Jorge est de vacahiones" o bien "Jorge est fuera del pas". Incluso podra ocurrir que ambas fueran verdaderas. Lo nico que se puede asegurar es que ambas no son falsas a la vez.

Lgica

Por otro lado, si se sabe que "Jorge est de vacaciones o est fuera del pas" es falsa, entonces, definitivamente ambas frases "Jorge est de vacaciones " y "Jorge sali del pas" son falsas. . Ejemplo. Determinemos el valor de verdad de la proposicin (5 < 4) V (2 es divisor de 6). Aunque 5 < 4 es falsa, la expresin completa es verdadera. Pues para que la disyuncin sea verdadera basta que una de las proposiciones componentes lo sea. Dadas dos proposiciones , la conjuncin de ellas forma una tercera proposicin, cuyo valor de verdad es verdadero solamente cuando las dos proposiciones le son. Y es falsa sial menos .una de ellas es falsa. La conjuncin se representa con el smbolo" /\" Y se lee "y". Formalmente la definicin anterior es la siguiente: Definicin. Dadas las proposiciones P y g, se define la conjuncinp/\q como la proposicin que tiene un valor de verdad de acuerdo a la siguiente tabla:
p

V V F F

q V F V F

p/\q

V F F

Dadas dos proposiciones, la implicacin forma una tercera proposicin, cuyo valor es verdadero, salvo en el caso que la primera proposicin sea verdadera y la segunda falsa. La implicacin se representa con el smbolo " ~" Formalmente la definicin anterior es la siguiente: y se lee "implica".

Definicin. Dadas las proposiciones p y q, se define la implicacin p =}- q como la proposicin que tiene un valor de verdad de acuerdo a la siguiente tabla:
/

....

p q V 'V V F .F V F F

p~,q V F V V

Elementos

de lgebra

Otra forma de definir la implicacin es a travs de la expresin En efecto, es fcil demostrar lo siguiente: Proposicin Demostracin. 2. (p
=}

rv

p V q.

q) tiene el mismo valor de verdad de

r-;

p
V V F F

rvp

jJ=}q

"'pVq

IV 'F V F

F F' V

F
V V

V F V V

Habitualmente se dice que "p implica q" cuando la proposicin p =} q es verdadera. Tambin se dice "Si p, entonces q". El primer componente de la implicacin se llama antecedente y el segundo se llama consecuente. As, en la implicacin r =} s, el antecedente es ry el consecuente es s. La implicacin como modelo del buen razonamiento es fcil de entender cuando el antecedente es verdadero. Por ejemplo, si la proposicin "si voy a la playa me bao" es verdadera. Qu consecuencia obtiene Ud. de la informacin "voy a la playa"? Era de esperarse que Ud. respondiera que "yo me bao". Lo cual coincide plenamente con la tabla de verdad. Es decir, SI p =} q es verdad y p es verdad, entonces q tambin es verdad. Ahora bin, si la proposicin "si voy a la playa entonces me bao" es verdadera, pero la proposicin "voy a la playa" es falsa, qu puede decirse de la proposicin "yo me bao"? No se apresure, piense bien. Ntese que la afirmacin "si voy a la playa me bao" significa que cada vez que voy a la playa, tengo la obligacin de baarme. Pero, no afirma nada con respecto a qu sucede si no voy a la playa. En efecto, si no voy a la playa, puedo baarme en cualquier otro lado y ello no contradice la proposicin o bien podra no baarme. Otro ejemplo es el siguiente: "si x = -3, entonces x2 = 9". Esa frase es verdadera, pese a que existe un caso en que x no es menos tres ( x = 3) y su cuadrado es nueve. Si la implicacin p =} q es verdadera, se dice que p es la causa de q, o bien que p es una condicin suficiente para que ocurra q. Tambin se dice que q es una condicin necesaria para que ocurra p, puesto que q es el efecto de p. Por ltimo, note que la expresin "p slo si q" significa que p ocurre solamente si ocurre q, es decir, q es condicin necesaria

Lgica para que ocurra p , o bien, p

q.

5
=>

Dadas dos proposiciones, la equivalencia forma una tercera proposicin, cuyo valor de verdad es verdadero' cuando las proposiciones tienen el mismo valor de verdad, y es falsa cuando las proposiciones tienen valores de verdad, diferentes. La equivalencia se representa con el sfmbolo "{::::=:;>" y se lee "es equivalente a" o bien "si y slo si". Esto ltimo se escribe abreviadamente "ssi". .Habitualmente se dice que "p es equivalente a q" cuando la proposicin p {::::=:;> q es verdadera. Formalmente la definicin de equivalencia es: Definicin. Dadas las proposiciones p {::::=:;> q como la proposicin que tiene siguiente tabla: q p p V V V F F V F F p y q, se define la equivalencia un valor de verdad de acuerdo a la
{::::=:;>

V F F V

Otra forma de definir la equivalencia es a partir de dos, implicaciones es decir, a travs de la expresin (p {::::=:;> q) A (q => p), en efecto, es fcil demostrar Proposicin q Demostracin: 3. (p
=>

q) A (q

=>

p)

tiene el- mismo valor de verdad de

{::::=:;>

Ejercicio para el lector .

Definicin. Una proposicin se denomina t.autologia si su valor de verdad es verdadero, cualquiera sean los valores de verdad de las proposiciones que la componen. Las tautoloqias se representan usualmente con la letra T (tau) . Ejemplo. Mostremos que p una tabla de verdad. -;..
=}

(p V q) es una tautologia. a travs de

=>

p
V V F F

q
V F V F

(p

q)

V V F

V V V V

V V V F

Elementos de lgebra

Definicin. Una proposicin se denomina contradiccin o absurdo si su valor de verdad es falso, cualquiera sean los valores de verdad de las proposiciones que la componen. Las contradicciones se representan con la letra a (alpha). Ejemplo. Mostremos que (p V q) /\ (rv p/\ rv q) es una contradiccin. p V V F q V (pV q) V V V F
/\

(rv p/\ rv q)
F F F V

F
V

F F F F

Nota: Para evitar un exceso de parntesis convendremos que los smbolos V y /\ tienen prioridad sobre =* y-{=:}. As, por ejemplo p =* q V r ser interpretada como p =* (q V r). Teorema 4. Sean p, q y r proposiciones. son tautologas: Las siguientes propos~..iones

4.2) pV '-""' P 4.3)

(Principio del tercero excluido)

-:

<===;> p

(Principio de identidad) (idempotencia)

4.4) P V P<9" P p/\p ~ P qVP

4.5) p V q ~ p/\q~q/\p

(conmutatividad)

4.6) (PV q) Vr ~

pV (qVr)

(asociatividad)

(p /\ q) /\ r
4.7) p/\(qVr) pV(q/\r)
4.8) p
=?

-{=:}

p /\ (q /\ r)
(p/\q)V (p/\r) ( Distributividad )

{=} {=}

(PVq)/\(pVr) p Vq
/\ q =?

{=}

'-""'

4.9)

. p,{=} q

{=}

(p =? q

P)

Lgica 4.10)

r-J

(p

q) ~

r-J

p/\

r-J

(Ley de De Morgan)

r-J

(p /\ q) ~

r-J

pV ""' q .

4.11) (p"'* q) ~ 4.12)

""'p V q
p/\g",*p

+vv ;

4.13) [(p"'* q] /\ (q"'* r)] 4.14) (p",* q) ~ 4.15) (p

<~

"'* (p"'*

r)

(transitividad) (contrarreciproca)

(""' q "'*""' p)
[(P

q) ~
P a

"'* q) /\ (q "'* p)

4.16) p r.r ~ 4.17) p /\ a ~

pVT~T pVa~p

Las tautologas anteriores son tilestanto para demostrar que dos proposiciones son equivalentes, como para expresar las proposiciones por expresiones . ms simples. Ejemplos: 1. La proposicin: fp q V r] fp/\ rv q r]. En efecto: .

.'

"'*

"'*

es equivalente con

fp

=}

r)

~ ~ ~ ~ ~

fp

"'* (q V r)
V

convencin Teo. 4.7

""'pV(qVr) (""' p q)
V

r
V

asociatividad,

""' (p/\ ""' q) (p/\

r-.J

De Morgan Teo. 4.7 convencin

q) q

"'* r
p"'*

2. Ahora expresemos la proposicin proposicin simple:

=:
~

fp/\ ""'

"'* r]

(p V q) /\ q a travs de una

Elementos de lgebra

fp

=}

(p V q) A q] ~ ~ ~ ~
~ ~ ~ ~

[p

=}

((p V q) A q)]

convencin Teo. 4.7 P V q] P V q] distributividad, asociatividad, Teo. 4.2 Teo. 4.16 Teo. 4.16
i!

"-' p V [((p V q) A q)] [,,-,p [(rvp

V V

(p p)

q)] q]

A ['" A ['"

[7 V [7] A

q] A ['" P V q]
['" P V q]

[,,-, p V q]
rv

p V q.

convencin.

Ejercicios Resueltos.
1. Demostrar que p A q tiene el mismo valor de verdad de Solucin:
p

rv (rv

p V "-' q).

q
V F V

pAq

"-'p

"'q

rv

pV

rv

"-' (rv

pV

rv

q)

V V F
-

V F F

F F V V

F V F V

F V V V

V F F
F

2. Determinar la veracidad de cada proposicin. a) (2 < 4) V (2 es divisor de 6) b) (2 < 3) V (3 < 2)

c) (3 = 1) A (1 <3)
Solucin: a) V V V {:} V , luego la proposicin es V. b) V V F {:} V , luego la proposicin es V. e) F A V {:} F , luego la proposicin es F. 3. Complete las frases:

Lgica.
a) Si p 1\ q es falsa y p es verdadera, entonces q es ... b) Si p es falsa y p,v q es verdadera , entonces q es ... e) Si pVq d) Si pVq e) Si pl\q es falsa, entonces p 1\ q ... es verdadera, entonces p 1\ q ... es verdadera, entonces p V q ...

Solucin: a) F, b) V, e) F, d) puede ser V o F y d) V. 4. Compare los valores de verdad en una tabla , determinando si difieren o son los mismos.

a) Entre p
b) Entre p c) Entre

1\

q Y q 1\ P
y q

*q

*p
y

(pVq)/\r

pV(ql\r)

Solucin: a) son los mismos, b) difieren y e) difieren. 5. Demostrar que [p * q 1\ r] Solucin:

-<==}

[(P * q)

1\

(p * r)] es una tautologa.

r
V F V F V F V F

V V V V V F V F F V F V F 'F F F

[p* V F F F V V V V

q 1\ r]
V F F F V F F F

-<==}

[(p * q)
V V F F V V V V

1\
V F F F V V V V

(p * r)]
V F V F V V V V

V V V V V V V V

6. Demostrar sin usar tablas de verdad que

(rv

(p V q) V

(rv

1\

q)]

-<==}rv

10 Solucin:

Elementos

de lgebra

['" (p

q)

V ('"

P A q)]

~
~

q) V ('" P ['" P A ('" q V q)]

pA '"

[( '"

q)]

~
~

"'pAT
"'p

7. Considere el conectivo

*, definido por siguiente tabla:

p
V V F F

p*q

V F
V F

F
V V V

*q

se lee

"p

[(p ::::;.q) V q] ~
.Solucin:
p

es incompatible con q" . Determine si la proposicin [(PA '" q)* '" qJ es una tautologa .

q
V F V

[(P ::::;. q) V q]
V F V V V F V V

[(PA '" q)
V V V V F V

V V

F F

F
F

V F V V

'" qJ
F V

F
V

8. Se puede concluir que "Tina aprende" si sabemos que el siguiente enunciado es verdadero? "Si Pepe no le ensea a Tina, ella no aprende y si Tina no le pregunta a Pepe entonces Tina no aprende" es condicin suficiente para que "Tina aprenda" Solucin: Consideremos las siguientes proposiciones: p: Pepe ensea a Tina, q: Tina le pregunta a Pepe y r: Tina aprende El enunciado es el siguiente :

al simplificar el enunciado se obtiene '" (p A q) lo cual no permite concluir r, es decir, '" (p A q) ::::;. r no es tautologa . 9. Sean p y q dos proposiciones.

Lgica a) Si p es verdadera, qu valor de verdad tiene p V q? b) Si q es falsa, cul ser el valor de verdad de p V q? c) Si p V q es falsa, qu se sabe de q? Soluciones: a) Verdadero, b)EI valor de verdad de p, c) q es falsa.

11

10. Determinar el valor de verdad

a) Si 3 < 4 entonces 3 < 7 b) Si Andrs es chileno, entonces Andrs es americano c) Si 2 = 3 entonces 8 es par d) Si 2

=3

entonces 8 es impar

e) 4 es par implica que 3 es divisor de 12

f) 3 es par implica que 4 es divisor de 12

g) La implicacin es falsa slo cuando el antecedente es verdadero y el. consecuente es falso. , Solucin: a) V, b) V, e) V, d) V, e) V, f) V Y g) V.

II.a) Si q es verdadero, Qu se puede decir de p~

q?

b) Si p es falso, Qu valor de verdad tiene p ~ q? c) Si p~q d) Si p~q e) Si p=>q es verdadero Qu se sabe de p? es verdadero Qu se sabe de q? es falso Qu se sabe de p? es falso Qu se sabe de q?

f) Si p=>q

Solucin: a) Es verdadero, b) V, e) Que podra ser V o F, d) Podria ser V o F, e) Es V y f) es F. 12. Demuestre que
rv

(p /\ q)

~rv

pV

rv

q es tautologia.

12 Solucin:
p

Elementos de lgebra

V V F F

q V F V F

rv

(p A q)
F V V V

rv

pV

rv

V V V V

F F F V

13. Demuestre sin usar tablas de verdad que

Solucin;
[rv

(PVq)V

rvpAq)]

~
~

~ ~

(rvpArvq)V(rvpAq) rv p A (rv q V q) rvpAT rvp

(De Morgan) (distributividad) (3excluido)

14. Simplifique la expresin (q ~ p) ~ p.

Solucin:
[(q

=> p)
;'

~ p]

~
~

~ ~. ~ '~

q V p) ~ p rv (rv q V p) V P (qA rv p) V P (qVp)A(rvpVPY (qVp)AT qVp

(rv

15. Determinar valores de verdad para p, q, r sabiendo que [(PA rv q) A rJ ~rv (p V q) es falsa.

Solucin: Si la implicacin es falsa entonces, (PA rv q) A r es verdadera rv (p V q) es falso. Si (PA rv q) A r es verdadero, p es verdadero,

q es verdadero y r es verdadero y como p es verdadero, p V q es verdadero. En este ejercicio es adecuado comprobar que est bien planteado, es decir, 'siendo p verdadero y q falso se concluye que rv (p V q) es falsa, lo que concuerda con la conclusin previa,
rv

16. Determinar los valores x E JR para que la proposicin x > O ~ sea verdadera;

x3 < O

Lgica

13

Solucin: Si x > O es verdadero, x3 < O es falso. Luego x > O ::::} x3 < O es falso. Si x S O es verdadero, entonces x > O es falso, y por ende x > O ::::}. x3 < O ser verdadero. 17. Se sabe que: Si Pedro no es alumno de la Universidad de La Serena o Juan es alumno de la Universidad de La Serena, entonces Juan es alumno de la Universidad de Chile. Si Pedro es ahora de la Universidad de La Serena y Juan no es alumno de la Universidad de Chile, entonces Juan es alumno de la Universidad de La Serena. En qu Universidad estudia J.uan? Solucin: Sea p: Pedro es alumno de la Universidad de La Serena, q: Juan es alumno de la Universidad de La Serena, s: Juan es alumno de la Universidad de Chile. Los datos se representan, entonces, por:
[( rv

p V q) ::::}s] r; [(P/\

rv

s) ::::} q]

Simplificamos la expresin:
)

[rv (""'

p V q) V 8] /\ (""' (p/\ ""' s) V q] ((PA ""' q) V 8] /\ [(""' P V 8) V qJ [(p/\ ""' q) V 8J /\ [(""' P V q) V 8J [(p/\ rv q) A (""' P V q)] V s
[""' (""' pV q) /\ (""' pV q)J V
8

av
8

La proposicin equivale a decir Juan es alumno de la Universidad de Chile, 18. Encuentre el valor de verdad de

[(p ::::} q)
SI

V (""' P

r. q)]

/\ (r ::::} q)

p, q y r son falsas.

Solucin: Como p es falsa , p::::} q es verdadera, y por ende (p ::::}q) V (rv p /\ q) es verdadera. Como r es falsa, r::::} q es verdadera. Luego, la proposicin completa es verdadera.

14

Elementos

de lgebra

19. Determinar el valor.de verdad de la siguiente proposicin: "Si estudio leyes, entonces gano mucho dinero. Si estudio arqueologa entonces viajo mucho. Si gano mucho dinero y viajo mucho, no me decepciono. Por lo tanto, si estoy decepcionado, no estudi leyes ni estudi arqueologa. Solucin: p: estudio leyes q: gano mucho dinero r: estudio arqueologa s: viajo mucho t: me decepciono. la proposicin se reduce a:

[(P

=?

q)

(r

=?

s)

(q

s)

=?"-'

t]

=?

[t

=?

(rv pA

'"

r)

al analizar esta proposicin en una tabla de verdad o al simplificar no resulta una tautologa. Por lo cual esta proposicin no es siempre verdadera.

Ejercicios Propuestos.
1. Cules de las siguientes proposiciones son tautologas

a)

fp A (rv q =? p)]
(q A r)] ~ (q
=?

[(p ~rv

q) =?(qV "-' p)

b) [(pAq)=?r]~[(p=?r)A(q=?r)]

c) [p
d)

=?

[(p

=?

q) A (p
=?

=?

r)]

fp =?

r)] ~

[(pAq)

r]

2. Exprese en la forma ms simple posible cada proposicin:

a) [p
b) [(p

=? =?

(q

r)] ~
=?

[(p q

=?

q)

(p

=?

r)]

q)A "-' p] q) ~ ~

/cr}-'''5'' (p ~
d) [PV (pAq)]

(p ~rv p.
=?

q) .

e) [[(rv p A q) V (p

q)]

=?

q] Vp

3. Determine el valor de verdad de cada proposicin:

Lgica
a) Si 9 < 4 entonces -4 < -9 b) No es verdad que: 1 + 3 = 3 o 3 + 11 = 12 c) 1 + 6 = 7 si y slo si 2 + 4

15

3, implica 4 + 2

11

d) Juan es feliz, Maria es pobre si y slo si Juan no es feliz. En consecuencia Juan es feliz y Marfa no es pobre. 4. Demuestre usando propiedades que (p ~ q)V 5. Se define el conectivo L por p L q -<=}rv pA Demuestre sin usar tablas de verdad que:
rv

(p A q) es tautologa.

rv

[(p L q) L (p L q)]
6. Sean p q r proposiciones. ellas, sabiendo que: (PA
rv

r <=*'" [(p

r) 1 (q

r)]

Determine el valor de verdad de cada una de

q) ~ [r V (p

-<=}

q)J es falsa.

7. Cinco amigos compiten en una carrera en la que no hubo empates. Cada uno declara lo siguiente: Andrs: Francisco lleg primero y yo segundo. Carlos: Francisco lleg segundo y yo cuarto. Danilo: Eduardo lleg quinto y yo tercero. Francisco: Danilo lleg primero y yo quinto. Eduardo: Francisco lleg tercero y yo cuarto. Establezca el orden en que llegaron, sabiendo que cada uno dijo al menos una verdad. 8. Exprese la proposicin (rv p -<=} q) ~ (p A q) con una proposicin que slo contenga los conectivos rv y V. 9. Dada la tabla: p q r real V V V F V V F F F V F V V F F V

F V V F V F F F V F F F

V V
F

16

Elementos

de lgebra

Encuentre la expresin ms simple de la proposicin real, en trminos de p,q y r. 10. Determine el valor de verdad: "Si mis clculos son correctos y pago la cuenta de electricidad, me quedar sin dinero. Si no pago la cuenta de electricidad, me cortarn la corriente. Por lo tanto, si no me he quedado sin dinero y no me han cortado la corriente, entonces mis clculos son incorrectos".

1.