Tumblr

Páginas: 5 (1076 palabras) Publicado: 22 de junio de 2013
A LGEBRA 1 G U´A 1
I
´
N OCIONES DE L OGICA

1. Dadas las proposiciones: p:”3 es n´ mero par”; q: ”si 4 es par entonces 9 es par”; r:”5 es n´ mero primo”
u
u
a) encuentre el valor de verdad de p, q y r
b) escriba las proposiciones compuestas: p ∧ r; q∨ ∼ r; (p ∧ q) ⇒ r
c) encuentre el valor de verdad de las proposiciones en (1b)
2. Sean p, q y r proposiciones, tales que: p es V, q esV, r es F. Determine el valor de verdad de las siguientes
proposiciones:
a) (p ⇒ q) ∧ (p ∨ q)

c) (∼ p ∨ q) ⇒ (p ∧ r)

b) (r∧ ∼ q) ⇐⇒ (q ⇒ p)

d) (p ⇒ r) ⇐⇒ (q ∧ r)

3. Sean p, q y r proposiciones, tales que: p es V, q es F, r es V. Determine el valor de verdad de las siguientes
proposiciones:
a) [(p ∧ q) ⇒ (q ∨ r)] ⇐⇒ (p ⇒ r)

c) (p ⇒ q) ∨ (r ∧ p ⇒)

b) (∼ p ∨ r) ⇐⇒ (q ∨ r)

d)(p ∧ r) ⇒ (∼ q ∨ r)

4. Construir una tabla de verdad para las siguientes proposiciones compuestas:
a) (p ∧ q) ⇒ (p ∨ q)

c) (p ⇒ q) ⇐⇒ (∼ p ⇒∼ q)

e) [(p ∧ q) ∨ p] ⇐⇒ p

b) (p ⇒ q) ∧ (∼ p ⇐⇒ q)

d) (p ∧ r) ⇐⇒ (q ∨ r)

f ) (p ⇒ q) ⇐⇒ (∼ q ⇒∼ p)

5. Sin usar tablas de verdad, encuentre los valores de verdad de p, q y r (si es que existen) de modo que la proposici´ n
o
siguiente seaFalsa
[(p ⇐⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇐⇒ r)
6. Dadas las proposiciones: r : a > 0, s : a2 > 0 escriba las siguientes proposiciones:
a) ∼ r
b) r ⇒ s

c) ∼ (∼ r) ⇐⇒ ∼ s
d) ∼ (r∧ ∼ s)

e) (r∨ ∼ s) ⇒ s

Determine el valor de verdad de cada una sabiendo que r es V y s es V
¿Cu´ les son los valores de verdad en el caso que r sea F y s sea V ?
a
¿Cu´ les son los valores de verdad en el caso que rsea V y s sea F ?
a
¿Cu´ les son los valores de verdad en el caso que r sea F y s sea F ?
a
7. Clasifique las siguientes proposiciones en: Tautolog´a, Contradicci´ n o Contingencia. Adem´ s, obtenga la negaci´ n
ı
o
a
o
de estas proposiciones:
a) (p ∨ q) ⇐⇒ (p ∧ q)
b) (p ⇒ q) ∨ (∼ q ∧ p)
c) p ∨ (p ∧ q)

d) (p ∧ q) ∧ (∼ p∨ ∼ q)
e) [p ⇒ (q ⇒ r)] ⇐⇒ [(p∧ ∼ r) ⇒∼ q]

8. Sean p y qproposiciones, tales que p ⇒ q es una proposici´ n Falsa. Determine el valor de verdad de la proposici´ n:
o
o
(p ∨ q) ⇐⇒ (q ∧ p)

9. Sean p y q proposiciones, tales que p ∧ q es una proposici´ n Verdadera. Determine el valor de verdad de la propoo
sici´ n:
o
(p ⇒ q) ⇐⇒ (p ∨ q)
10. Si el valor de verdad de (p ⇒∼ q) ∨ (∼ r ⇒) es F, determine el valor de verdad de:
a) (∼ p∧ ∼ q)∨ ∼ q
b) (p⇒ r) ⇒ [(p ∨ q)∧ ∼ q]

c) [(∼ r ∨ q) ∧ q] ⇐⇒ [(∼ q ∨ r) ∧ s]

11. Si se tienen los siguientes antecedentes como verdaderos:
a) Si Jorge no est´ bien con su polola no va al f´ tbol
a
u
b) Es suficiente que Jorge hable por tel´ fono con su polola para que est´ bien con ella
e
e
c) Jorge habl´ por tel´ fono con su polola
o
e
¿ Es correcto concluir Jorge va a ir al f´ tbol ?. Fundamente surespuesta .
u
12. En los problemas siguientes x, y son n´ meros reales (x, y ∈ R). En cada una de las expresiones siguientes
u
encuentre los valores de x que hacen la proposici´ n verdadera:
o
a) (x < 1) ⇒ (x < 3)

c) (x2 < 0) ⇒ x = 3

b) (x ≤ 1) ⇐⇒ (x < 3)

d) (∃ y)(x2 + y 2 = 1)

13. Si (p ∨ q) ⇐⇒ (r ∧ s) es V y los valores de verdad de r y s son opuestos, determine el valor deverdad de:
[(∼ p∧ ∼ q) ∨ (r ∧ s)] ∧ p
14. Si el valor de verdad de (p ∧ q) es F, demuestre que [(p ⇐⇒ ∼ q) ⇒ (p∧ ∼ q)] ⇐⇒ ∼ q es Tautolog´a.
ı
15. Demuestre usando tablas de verdad, que cada una de las proposiciones del listado de em Tautolog´as b´ sicas o
ı
a
Teoremas L´ gicos, es efectivamente una Tautolog´a.
o
ı
16. Transforme cada una de las siguientes proposiciones en otrasequivalentes que s´ lo contengan los conectivos: neo
gaci´ n, disyunci´ n y conjunci´ n.
o
o
o
a) ∼ p ⇐⇒ q

c) (p ⇒ q) ⇒ r

b) p ⇒ (∼ q∧ ∼ r)

d) [∼ (∼ p ⇐⇒ q)] ⇒ (∼ r ∧ q)

17. Primero niegue la expresi´ n dada y luego simplif´quela usando propiedades
o
ı
a) (p ∧ q) ⇒ r

c) p ∧ (q ∨ r) ∧ (∼ p∨ ∼ q ∨ r)

e) (r ⇒ q) ⇒ [p ⇒ (q ∧ r)]

b) p ⇒ (∼ q ∧ r)

d) (p∧ ∼ q) ⇐⇒ ∼ (∼ p ∨ q)

f...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Tumblr
  • ¿Qué Es Tumblr?
  • Que es Tumblr
  • Tumblr
  • TUMBLR
  • Tumblr
  • Tumblr
  • Tumblr theme

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS