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.