Könnte mir vl jemand das deduktionstheorem erklären? Ich werde aus den Folien und dem Skript nicht wirklich schlau, wäre sehr nett wenn das jemand könnte.
lg
Lynx
18-11-2008, 19:53
Kurz gesagt: Wenn B logische Konsequenz von A1 ... An ist, dann ist (A_1 \wedge\dots\wedge A_n) \supset B gültig und umgekehrt.