Lab3.1 Erlaubte Umformungen in Key

5eppel
Windoof-User
Windoof-User
Beiträge: 40
Registriert: 11. Apr 2011 01:08

Lab3.1 Erlaubte Umformungen in Key

Beitrag von 5eppel »

Hallo,

wir sind uns nicht sicher, ob wir die Umformungen aus dem Foliensatz FirstOrderLogic_handout Seite 36 für den Beweis in Aufgabe 1 nutzen dürfen?

Vielen Dank

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: Lab3.1 Erlaubte Umformungen in Key

Beitrag von Nathan Wasser »

Nein.

Ihr dürft nur genau die Regeln benutzen, die angegeben sind.

Antworten

Zurück zu „Archiv“