Usuario:Andrespbz/e12

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Utilizando esas definiciones y las leyes de lógica matemática, demostrar la siguiente tautología

 

)

p’ « q’   Û   p « q

            p’ « q’   Û   ( p’ ® q’ ) Ù ( q’ ® p’ )                      ( Definición )

                            Û   ( ( p’ )’ Ú q’ ) Ù ( ( q’ )’ Ú p’ )             ( Definición )

                            Û   ( p Ú q’ ) Ù ( q Ú p’ )                          ( Doble Negación )

                            Û   ( q’ Ú p ) Ù ( p’ Ú q )                          ( Conmutatividad )

                            Û   ( q ® p ) Ù ( p ® q )              ( Definición )

                            Û   ( p ® q ) Ù ( q ® p )              ( Conmutatividad )

                            Û   p « q                                                  ( Definición )