PROBLEMAS RESUELTOS: Si p es una proposici´n verdadera, q una proposici´n falsa y r una o o proposici´n cualquiera, determinar el valor de verdad de: o 1.

a) (p ∧ q) ∨ q; b) (p ∨ q) ∧ q c) (p ∧ q) ⇒ (p ∨ q) d) q ∨ r ⇒ p ∨ r Soluci´n: o a) b) p q V F p q V F p q V F p ∧ q (p ∧ q) ∨ q F F p ∨ q ((p ∨ q) ∧ q V F p ∧ q p ∨ q (p ∧ q) ⇒ (p ∨ q) F V F

c)

a) (p ∧ q) ⇒ (p ∨ q) b) p ⇒ (p ∧ q) c) (p ⇒ q) ⇔ (q ⇒ p) Soluci´n: o p V a) V F F p V b) V F F q V F V F q V F V F p ∧q V F F F q p ∨ q (p ∧ q) ⇒ (p ∨ q) F V V V V V F F V V V V

p ∧ q p ⇒ (p ∧ q) V V F F F F F V

ww

2. Determinar cu´les de las siguientes formas proposicionales son tautolog´ a ıas:

w.

M

at em

p q r d) V F V V F F

q ∨r q ∨ r p r p ∨ r p ∨ r q ∨ r ⇒ p ∨ r V F F F F V V F V F V V F F

at ic

a1 .c

om

p V c) V F F

q V F V F

p ⇒ q p q q ⇒ p (p ⇒ q) ⇔ (q ⇒ p) V F F V V F F V F V V V F V V V V V V V

Luego son tautolog´ las formas a) y c). ıas 3. Considere el conectivo l´gico *, definido por la tabla de valores l´gicos sio o guiente: p q p*q V V F V V F V F V V F F Determinar si la forma proposicional: [(p ⇒ q) ∨ q] ⇔ [(p ∧ q) ∗ q] es una tautolog´ ıa. Soluci´n: o p q q p ⇒ q (p ⇒ q) ∨ q p ∧q (p ∧q) ∗ q V V F V V F V F F V F V F V V V F V F V F V V F V F F V (p ∗ q se lee: “p incompatible con q”). Como los valores l´gicos de (p ⇒ q) ∨ q y de (p ∧ q)∗ q coinciden, la forma o proposicional es una tautolog´ ıa. 4. Se definen los conectivos l´gicos o (p q) ≡ (p ∧ q) (p q) ≡ (p ∨ q)
ww w.

M

at em

at ic
y

Verificar (sin el uso de tablas de verdad) que se cumple: a) p ≡ (p p) b) (p ∧ q) ≡ p q c) (p ∨ q) ≡ (p q) Soluci´n: o a) (p p) ≡ (p ∧ p) ≡ p [Def in. [Idempot. [Def in. [M organ [Involuc.

(p q) ≡ (p ∧ p) b) ≡ p∧q ≡ (p ∧ q)

a1

.c

del modo siguiente:

om

ww

c)

(p q) ≡ (p ∨ q) ≡ p∨q

[Def in. [Involuc.
w.

M

ate m

ati

ca

1.co

m

5. Verifique que : [p ∨ (p ∧ q)] ≡ p ∨ q Soluci´n: o p ∨ (q ∧ q) ≡ (p ∨ p) ∧ (p ∨ q) ≡ V ∧ (p ∨ q) ≡ p∨q

[Distribut. [Complement. [Identid.

6. Verifique que : [(p ∧ q) ∨ q] ≡ (p ∨ q) Soluci´n: o (p ∧ q) ∨ q ≡ q ∨ (p ∧ q) [Conmutat. ≡ q ∨ (q ∧ p) [Conmutat. ≡ q∨p [Ej,5(p por q, q por p) ≡ p∨q [Conmutat. 7. Verifique que: [p ∧ (p ∨ q)] ≡ p Soluci´n: o p ∧ (p ∨ q) ≡ (p ∨ p) ∧ (p ∨ q) ≡ p ∨ (p ∧ q) ≡ p 8. Simplificar: p ⇒ p. Soluci´n: o p⇒p ≡ p∨p ≡ p 9. Demostrar que : Soluci´n: o p ⇒ (p ∨ q) ≡ ≡ ≡ ≡

[Identid. [Distribut. [Identid.

Def. ⇒ Idempot.

p ⇒ (p ∨ q) es una tautolog´ ıa.

10. Demostrar que : [p ∧ (p ⇒ q)] ⇒ q es una tautolog´ ıa. Soluci´n: o [p ∧ (p ⇒ q)] ⇒ q ≡ ∼ [p ∧ (p ⇒ q)] ∨ q [Def. ⇒ [Def. ⇒ ≡ ∼ [p ∧ (p ∨ q)] ∨ q [M organ, Invol. ≡ [p ∨ (p ∧ q)] ∨ q ≡ p ∨ [(p ∧ q) ∨ q] [Asociat. ≡ p ∨ (p ∨ q) [Ej,6. [Asociat. ≡ (p ∨ p) ∨ q ≡ V ∨q [Complem. ≡ V [Identid. 11. Demostrar que: (p ⇒ q) ≡ (q ⇒ p). Soluci´n: o (p ⇒ q) ≡ (p ∨ q) [Def. ⇒ [Conmutat. ≡ q∨p [Invol. ≡ ∼ (∼ q) ∨ p [Def. ⇒ . ≡ q⇒p 12. Pruebe que el siguiente razonamiento es v´lido. a * Todas las cartas fechadas en esta habitaci´n est´n escritas sobre papel azul. o a * Ninguna est´ escrita con tinta negra, excepto aquellas escritas en tercera a persona. * No he archivado ninguna de las que puedo leer. * Ninguna de las que est´n escritas en una hoja est´n sin fecha. a a * Todas las que no est´n eliminadas est´n en tinta negra. a a * Todas las escritas por P´rez empiezan con “Estimado se˜or”. e n * Todas las que est´n escritas en papel azul est´n archivadas. a a * Ninguna de las que est´n escritas en m´s de una hoja est´n eliminadas. a a a
ww w.

M

at em

at ic a1

p ∨ (p ∨ q) (p ∨ p) ∨ q V ∨q V

[Def. ⇒ [Asociat. [Complem. [Identid.

.c om

n a * Ninguna de las que empiezan con “Estimado se˜or”est´n escritas en tercera persona. ** Por lo tanto: No puedo leer ninguna de las cartas de P´rez. e Soluci´n: o Sean: p : la carta est´ fechada. a q : la carta est´ escrita en papel azul. a r : la carta est´ escrita con tinta negra. a s : la carta est´ escrita en tercera persona. a t : la carta est´ archivada. a u : puedo leer la carta. v : la carta est´ escrita en una hoja. a w : la carta est´ eliminada. a x : la carta est´ escrita por P´rez. a e y : la carta empieza con “Estimado se˜or”. n

(a) (b) (c) (d) (e) (f) (g) (h) (i)

p⇒q ∼ s ⇒∼ r u ⇒∼ t v⇒p ∼w⇒r x⇒y q⇒t ∼ v ⇒∼ w y ⇒∼ s

NOTA: en el ejercicio 4., soluci´n letra b) en la tercera fila frente a Morgan dice o ≡ p ∧ q “estas deben llevar doble linea encima”; lo mismo en la letra c) primera fila.

ww w.

M

Simb´licamente el razonamiento anterior se expresa: o

at

em

at

ic

a1

.c o

m

Sign up to vote on this title
UsefulNot useful