TABLAS DE VERDAD

Publica un ejercicio planteado y resuelto por la comunidad diferentees a los vistos en clases (investigar en internet o inventar), por cada uno de los siguientes temas:


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