Review Note

Last Update: 02/06/2024 12:14 PM

Current Deck: Logik und Berechenbarkeit::Aussagenlogik

Published

Fields:

Vorderseite

Was besagt der Satz der semantischen Äquivalenz?

Rückseite

Jeder Ausdruck H in ausd ist semantisch äquivalent zu einer Konjunktion (∧-Verknüpfung) von Klauseln.
-> Jeder Ausdruck kann in Konjunktionen von Klauseln übersetzt werden.

Suggested Changes:

Deck Changes (Suggestion to move the Note to the following Deck):

Field Changes:

Tag Changes: