Alle Fragen
Lara99
Aktivitäten
Alle Fragen
Alle Antworten
Neue Aktivitäten von Lara99
1
Antwort
Resolution - Verständnisfragen
Gefragt
28 Nov 2018
begründung
kanonische
logik
1
Antwort
Funktionale Signaturen auf Vollständigkeit untersuchen: Σ1 = {0,1,∧,↔}
Antwort ausgewählt
23 Nov 2018
signatur
vollständigkeit
äquivalenz
Made by a lovely Community