Buenas noches! Estoy con este ejercicio que pide investigar cuáles fórmulas proposicionales son tautologías. De momento la única forma que se me ocurre para probar esto es con tablas de verdad.
Amén de que se me ocurra otra forma, usar tablas de verdad es válido?
Saludos y muchas gracias!
En respuesta a Alejandro Jose Rojas Quartino
Re: Práctico 3, Ejercicio 2.a.
Lo otro que se me ocurre es análisis de casos:
"Sea
valuación talque 
entonces por definición de valuación...". Y así con todas la permutaciones de valores de verdad para 
y 
.
Pero en definitiva, la tabla de verdad es un análisis de casos mas resumido.
También es claro que para los casos en que no es tautología basta dar una valuación que verifique esto.
"Sea
valuación talque entonces por definición de valuación...". Y así con todas la permutaciones de valores de verdad para y .Pero en definitiva, la tabla de verdad es un análisis de casos mas resumido.
También es claro que para los casos en que no es tautología basta dar una valuación que verifique esto.
En respuesta a Alejandro Jose Rojas Quartino
Re: Práctico 3, Ejercicio 2.a.
p q y r son letras proposicionales (p0, p1, etc) o son formulas proposicionales (phi, gamma, etc)?
Si son letras no podes usar tablas de verdad me parece.
En respuesta a Gonzalo Rivero Correa
Re: Práctico 3, Ejercicio 2.a.
Yo tengo entendido que es al revez, que no podes usarlas en fórmulas cuyas partes no son átomos.
Igual, off the record, yo creo que se puede usar ya que en definitiva es un análisis de casos, pero no representa una prueba formal por ejemplo.
Lo consultaré en clase mañana.
Hola,
es como dice Alejandro. Pueden usar tablas de verdad sobre fórmulas concretas.
Saludos!