Folgerungsbeziehung
Einfache Sprache
Die Folgerungsbeziehung beschreibt, wenn eine Formel die logische Konsequenz von einer Menge von Formel ist.
Einfache Sprache
Die Folgerungsbeziehung beschreibt, wenn eine Formel die logische Konsequenz von einer Menge von Formel ist.