psi ( nicht g)=? Hallo Ich sitze gerade an Aufgabe 2 und habe ein kleines Problem die Definition von psi (nicht g) zu verstehen. Dieses (neg g) ist ein boolscher Ausdruck, den ich in eine Interpretationsfunktion stecken kann. Für den Fall dass g ein einfach Element ist, habe ich eine Abbildung von BE(X_1) -> B_1. Auf S.4 (7.3) steht dann: psi (nicht g)= nicht* (psi (g)) wobei das nicht* in B_n zu verstehen ist. Im Fall n=1 ist dieses nicht* (a) dann doch 1-a, oder habe ich da jetzt was durcheinander gebracht? Nikolas https://ira.informatik.uni-freiburg.de/phorum/read.php?44,2392,2392#msg-2392 Tue, 17 Dec 2024 10:35:54 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?44,2392,2396#msg-2396 Re: psi ( nicht g)=? https://ira.informatik.uni-freiburg.de/phorum/read.php?44,2392,2396#msg-2396
Das a, das Du in Deinem Beispiel verwendest ist also eine Funktion, die dann negiert wird. Das (1-a) ist problematisch, denn Du wirfst dann logische und arithmetische Operationen durcheinander.

Zur letzten Frage: In Aufgabe 2 soll man die Äquivalenz der jeweils linken und rechten Seite der Gleichung unter Zurhilfenahme aller bislang bewiesenen Regeln beweisen.

Es ist übrigens natürlich erlaubt, zB beim Beweis von 2c) die in 2a) gezeigte Äquivalenz (wenn bewiesen) zu verwenden.

Grüße
Tobias Nopper]]> Tobias Nopper Technische Informatik WS 2007/08 Thu, 06 Dec 2007 00:43:55 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?44,2392,2393#msg-2393 Re: psi ( nicht g)=? https://ira.informatik.uni-freiburg.de/phorum/read.php?44,2392,2393#msg-2393
Bei der 2 reicht es doch, die Äquivalenz von LHS und RHS zu zeigen, oder? Die Definition des = hab ich leider nicht gefunden.]]> Nikolas Technische Informatik WS 2007/08 Wed, 05 Dec 2007 20:29:33 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?44,2392,2392#msg-2392 psi ( nicht g)=? https://ira.informatik.uni-freiburg.de/phorum/read.php?44,2392,2392#msg-2392
Ich sitze gerade an Aufgabe 2 und habe ein kleines Problem die Definition von psi (nicht g) zu verstehen.
Dieses (neg g) ist ein boolscher Ausdruck, den ich in eine Interpretationsfunktion stecken kann. Für den Fall dass g ein einfach Element ist, habe ich eine Abbildung von BE(X_1) -> B_1.
Auf S.4 (7.3) steht dann:

psi (nicht g)= nicht* (psi (g)) wobei das nicht* in B_n zu verstehen ist. Im Fall n=1 ist dieses nicht* (a) dann doch 1-a, oder habe ich da jetzt was durcheinander gebracht?

Nikolas]]> Nikolas Technische Informatik WS 2007/08 Wed, 05 Dec 2007 20:21:44 +0100