Implikation/Äquivalenzoperator im Buch

xshisdi32
Mausschubser
Mausschubser
Beiträge: 73
Registriert: 10. Apr 2011 17:24
Wohnort: Bessungen, Darmstadt
Kontaktdaten:

Implikation/Äquivalenzoperator im Buch

Beitrag von xshisdi32 »

Warum werden die Implikation- und Äquivalenzoperatoren erst in im Ben-Ari im Sektion 5.2 "Introduction to Linear Temporal Logic" eingeführt? Die sind doch einfach boolsch und hätten mit die anderen boolschen Operatoren in Sektion 1.4 auf Seite 22 eingeführt werden sollen! :evil:

EDIT: Der XOR-Operator ist nicht da. Ist aber in Sektion 1.4 da. Warum?

Zurück zu „Archiv“