Matemática => Lógica => Mensaje iniciado por: lindtaylor en 22/05/2015, 03:07:22



Título: Método de la tautología
Publicado por: lindtaylor en 22/05/2015, 03:07:22
Consulta.
¿Cuál es el método de la tautología? ¿Es el de las tablas de verdad?
Por ejemplo, si quiero probar que [texx]((p\rightarrow{r})\wedge p)\rightarrow r[/texx] 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)