1.- Convertir enunciados en forma simbólica.
- Sea p"hay baile" y sea q"esta lloviendo"
~p No hay baile
q v ~p Esta lloviendo y no hay baile
~q v ~ p Es faslo que esta lloviendo o no hay baile
p ^ q Hay bbaile y esta lloviendo
~~q Es falso que no esta lloviendo
q v p Esta lloviendo o hay baile
q → ~ p Si esta lloviendo entonces no hay baile
2.- Convertir de símbolos a lenguaje natural. (utilizar todos los conectores logicos)
- Sea p"hay dinero" y sea q"comprar ropa"
Hay dinero o no compras ropa p v ~ q
No hay dinero, no compras ropa ~p ~ q
No comprar ropa ~ q
Es falso que no hay dinero y que no hay ropa ~(~ p ^ ~ q)
Si no hay dinero entonces no hay ropa ~ p → ~ q
Hay dinero y compras ropa p ^ q
3.-Encontrar tablas de verdad
- ~(~p v ~q)
p q ~p ~q ~pv~q ~(~pv~q)
v v f f f v
v f f v v f
f v v f v f
f f v v v f
- ~qv~p
p q ~p ~q ~qv~p
v v f f f
v f f v v
f v v f v
f f v v v
4.-Comprobar una tautológica y una contradicción
- Tautológica
- ~(p ^~q) v p
p q ~q (p^~q) ~(p^~q) v p
v v f f v v
v f v v f v
f v f f v v
f f v f v v
- Contradicción
- (~p^~q)^~(~qvp)
p q ~p ~q ~qvp ~(~qvp) ~p^~q (~p^~q) ^~(~q vp)
v v f f v f f
v f f v v f f
f v v f f v f
f f v v v f v
5.-Comprobar una equibalencia
- p v q =~[(~p v q) ^~(p→q)]
p q pvq
v v v
v f v
f v v
f f f
p q ~p ~pvq p→q ~(p→q) (~pvq)^~(p→q) ~[(~pvq)^~(p→q)
v v f v v f f
v f f f f v f
f v v v v f f
f f v v f v v