ElectroYou

Ciao a tutti, oggi ho seguito una lezione di logica proposizionale in cui il docente affermava che due formule F e G sono equivalenti se e soltanto se ( F->G ) è insoddisfacibile.
Questo mi sembra strano, in quanto se F e G sono equivalenti, allora gli unici due casi possibili sono:

0 -> 0
1 -> 1

ossia F->G è sempre soddisfacibile. E' un ragionamento sbagliato? Grazie in anticipo!

Direi che se il tuo prof ha detto proprio così ha sbagliato.

Grazie della conferma. In realtà lo ha scritto alla lavagna, e probabilmente si sarà dimenticato qualche "pezzo".