Beweis per struktureller Induktion |
23.04.2016, 01:52 | Schmucus | Auf diesen Beitrag antworten » |
Beweis per struktureller Induktion Hi Leute, ich steh momentan vor folgender Aufgabe: "Zeigen Sie: Für alle Teilformeln b von a gilt: vars(b) ? vars(a)." Leider hab ich gelinde gesagt einfach mal gar keinen Plan, wie ich da am besten vorgehen soll. MfG Marcus Meine Ideen: Naja, ich weiß immerhin, dass ich mit ner Basiswertezuordnung anfangen muss, also quasi vars(top) = 0, vars(bottom) = 0 und vars(Xi) = Xi mit i in N. |
||
23.04.2016, 12:46 | Elvis | Auf diesen Beitrag antworten » |
Hast Du eine Ahnung, worum es geht ? Ich verstehe nichts. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|