Ejercicios:

1) Hallar el valor de verdad de la siguiente fórmula proposicional. Si: p ≡ F q ≡ V

r ≡ F[(p ˄ r) ↔(-p ˄ q)] w [(-p →-q) v (p ↔-q)]

2) Hallar el valor de verdad de las proposiciones p, q, r, y s. Sabiendo que:

a) (-p ˄ q) →(-r →s) es falso

b) -(p v -r) ˄ -(q →-s) es verdadero

3) Se define el operador tal que p * q ≡ [(-p v -q) ↔(p ˄ q)] Determinar, cuando sea posible, el valor de verdad de:

a) (p * q) v (p v -p)

b) (p * q) ˄ (p ˄ -p)

c) (p * q) →r

d) (p v -p) →(p * q)

e) (p v q) →(p * q)

4) Se define: I) p □ q ≡ -p →q II) p* q ≡ -q

Simplificar [(p □q) →(q* p)] ˄ [p* (q □ q)]

5) Si se cumple [(-p ˄ q) →(p v r)] ↔[(s v t) ↔(-s ˄ -t)]

Simplificar [(p ˄ r) →(s v t)] ˄ (q ˄ t)

¿Cuál es la correcta? a) s v tb) -tc) -sd) te) s