FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

Aufgabenblatt 6, Aufgabe 1.4

Aufgabenblatt 6, Aufgabe 1.4 2003-11-28 20:25
Anonymer User
Hi
um die ableitungsregel in aufgabe 1.4. {(A→B),(B→C)} ├ (A→C) zu beweisen, reicht es wenn ich anhand einer wahrheitstafel zeige, dass {(A→B),(B→C)} ╞ (A→C)oder muss sonst noch was machen, um die ableitungsregel zu beweisen???


Re: Aufgabenblatt 6, Aufgabe 1.4 2003-11-28 22:59
Slater
klingt nicht übel

Re: Aufgabenblatt 6, Aufgabe 1.4 2003-11-30 16:49
RUC
ich würd die HS: hypothetischer Syllogismus benuntzen…

A–>B, B–>C
————
A–>C

RUC