Hi

in der Klausur kam eine Frage wo der unterschied zwischen

Äquivalenzeichen = (mit drei strichen)
Implikationszeichen =>
Folgbarkeitszeichen |=

Ich habe die ganze zeit gegrübelt, und hacke beim => und |= zeichen.

Das eine ist ein Junktor (ein Teil der Formel), das andere eine Beziehung zwischen den Formeln. Genauer: F |= G genau dann, wenn F => G eine Tautologie ist.