Review Note
Last Update: 02/06/2024 12:14 PM
Current Deck: Logik und Berechenbarkeit::Aussagenlogik
Published
Fields:
Vorderseite
Was ist die Abtrennungsregel?
Rückseite
Die Abtrennungsregel generiert aus den Ausdrücken H und H->H' den neuen Ausdruck H'. Schematische Darstellung:
H->H'
H
---------
H'
H->H'
H
---------
H'
Suggested Changes:
Deck Changes (Suggestion to move the Note to the following Deck):
Field Changes:
Tag Changes: