Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: lindtaylor en 22 Mayo, 2015, 08:07 am

Título: Método de la tautología
Publicado por: lindtaylor en 22 Mayo, 2015, 08:07 am
Consulta.
¿Cuál es el método de la tautología? ¿Es el de las tablas de verdad?
Por ejemplo, si quiero probar que \( ((p\rightarrow{r})\wedge p)\rightarrow r \) lo cual es una tautología. ¿Cuál es el método? (El método de las tablas de verdad ya lo conosco, pero no sé si es el mismo)