Dubbio su logica

[fesem]

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!

[DirtyDeeds]

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

[fesem]

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