unterschied zw. "|=" und "=>" ?!

[nochwer]

gibt es einen unterschied zw. |= und => ? worin besteht dieser?

... danke! ;)

[Dandroid]

|= bedeutet logische Konsequenz
A|=B bedeutet also, daß B eine log. Kons. von A ist. Handelt es sich bei A und B um FormelMENGEN, dann bedeutet das: Wenn A=t für alle a aus A, dann gibt es mind. ein b aus B mit b=t.
Wenn mich nicht alles täuscht...

[nochwer]

heißt das also, dass "=>" nur von einer aussage zur anderen gehen kann, während "|=" auch aussagenmengen (=formeln) verbindet?

[Dandroid]

Meinst du mit => das Teil zwischen Produktionen? Bitte ein Beispiel.

[nochwer]

okay, ich glaube, ich hab's grad verstanden... :idea: - danke!

(ich denke, meine annahme war falsch...)