Tja, ich dachte Substitution wäre total easy und ich bräuchte da keine Hilfe… Aber irgendwie weiß ich nicht genau, was ich bei 5.1 eigentlich machen soll. Es sind 3 Substitutionen gegeben auf die Aussagensymbole A,B und C. Jetzt habe ich eine Formelmenge G, die aus 3 komplexen Formeln besteht.

Soll ich jetzt einfach nur die Substitutionen der entsprechenende Aussagensymbole einsetzen? Und wie lange soll ich da was einsetzen? Also wie lange soll ich die einzelnen Formeln substituieren? So lange, bis ich wirklich nichts mehr substituieren kann? Oder nur 1 Schritt?

Und woraus besteht dann die Formelmenge am Schluß? Ich habe mir Folie 6-6 angeguckt und da verstehe ich auch nicht, warum sub1(M) aus den beiden Formeln besteht? Wo lese ich das ab?

Link zum Aufgabenzettel: http://www.informatik.uni-hamburg.de/WSV/teaching/FGI1/universitaet/Blatt5.pdf
Link zur Folie: http://www.informatik.uni-hamburg.de/WSV/teaching/FGI1/universitaet/FGI1_06_logik.pdf

Leider nur aus dem Ikum zu erreichen oder per SSH von zu Hause.

einfach nur stumpf einsetzen!

ist ja auch nur eine 1-punkt-aufgabe!

einfach nur stumpf einsetzen!

ist ja auch nur eine 1-punkt-aufgabe!

Und wie lange einsetzen? Nur 1 mal? Oder bis nichts mehr geht?

einmal!

Wirklich nur stumpf einsetzen? Angenommen:

sub(A) = D
sub(B) = (B v A)

G = {(A=>B),(B & B)}

Dann wäre die Lösung:

M = {D=>(B v A),((B v A) & (B v A))}

Wäre das so richtig?

jo, denke schon!