Question

establecer la validez logica de los siguientes argumentos:
dado que p->q es una tautologia. para que q->p sea una tautologia es necesario y suficiente que p<--> q sea una tautologia. sabemos que p->q es una tautologia y que p<->q no es una tautologia. por lo tanto q->p no es una tautologia.​

Answer 1

Respuesta:

patita de michi :3

Explicación paso a paso:

Answer 2

Respuesta:

En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.