so nun mal ne konkrete PNL Frage:
Skript Seite 165 Aufgabe 5.29 <- hat dazu jemand die Loesung? Mein vorlaeufiger Vorschlag waere

FpX(qR^p)Fp

Dabei soll ^q natuerlich "nicht q" bedeuten.

Eure Meinung dazu?


Gruss
fidor(..)

Zitat: "drücken sie diese Formel mittels G, X und R aus"

Also wäre Deine Lösung nicht erlaubt.

Denkbar wäre etwas in der Art:

pZq <=> G(p -> X(&not;p U(q &and; &not;q) &or; G &not;p)

also um genau zu sein:
pZq <-> G( p -> (X(q R ^p)))
oder wie oder was?

Und ist
^p U(q * ^q)
und
G ^p
nicht eh aequivalent?


Gruss und Dank
fidor(..)

Also, wenn ich nicht selber InfStudent währe, würde ich Euch für absolut durchgeknallt halten.

FpX(qR^p)Fp

pZq <=> G(p -> X(¬p U(q &#8743; ¬q) &#8744; G ¬p)

pZq <-> G( p -> (X(q R ^p)))

Ich glaub echt es hackt!

Booka.

wenn man nur stark genug abkürzt, dann kann man
'sechzehnmillionfünfhundertzwanzigtausendvierhundertelf'
ebenso kryptisch schreiben:
16520411