Sequentialkalkül

[Krackmoe]

Wie leite ich die Formel im Sequentialkalkül ab??

http://www.logic.at/lvas/til/angaben/til074.pdf

Bsp 4..

Mir fehlt ja dieses Zeichen |- oder ?? Oder setz ich das einfach auf irgendeiner Seite hin?

[fytzi]

Schau dir in dieser pdf Datei Bsp 7.5 an: http://www.logic.at/lvas/til/aufgaben/lsg07.pdf

Um mit dem Sequenzkalkül zu überprüfen ob eine Formel gültig ist, muss man das |- Symbol ganz links hinschreiben. Wenn man danach nur auf Axiome kommt ist die Formel gültig.