Usuario:Andrespbz/e2

Para cada una de las siguientes sentencias comprobar si son tautologías, contradicciones o indeterminaciones:

a)     Ø ( Ø p ) ® p

Tautología.

b)    p ® ( p Ù q )

Indeterminación.

c)     Ø ( s Ú q ) Ú Ø q

Indeterminación.

d)    ( p Ú q ) ® p

Indeterminación.

e)     ( p ® q ) ® ( Ø q ® Ø p )

Tautología.

f)      ( p ® q ) ® ( q ® p )

Indeterminación.

g)    p Ú ( p ® q )

Tautología.

h)    ( p Ù ( q ® p ) ) ® p

Tautología.

i)      p Ú ( q ® Ø p )

Tautología.

j)      ( p Ú Ø q ) Ù ( Ø p Ú q )

Indeterminación.

k)     Ø p Ù ( Ø ( p ® q ) )

Contradicción.

l)      p ® Ø p

Indeterminación.

m)   Ø p ® p

      Indeterminación.