Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Problem 10.1
Hallo,
duerfen wir in ND^1 fuer die Junktoren “=>”, “/” und “\exists” ihre Definitionen ueber "/", “~” und “\forall” einsetzen oder muessen wir mit den Regeln auf den bestehenden Junktoren operieren?
Danke!
So wie ND^1 in der Vorlesung definiert wurde habt ihr Regeln für alle Junktoren. Das “umrechnen” von Junktoren in andere ist zunächst(!) nicht teil von ND^1. Ihr könnt aber natürlich beweisen, dass das innerhalb des ND^1 admissible ist, dann dürft ihr’s auch benutzen 