Not logged in. · Lost password · Register

elias007
Avatar
Member since Oct 2017
90 posts
Subject: Finden kritischer Paare
Hi,
wenn man Kritische Paare gefunden hat und diese zusammenführen möchte, schreibt man dann an den Pfeil (im fall der Anwendung auf den ganzen Kontext) den leeren Kontext oder die Substitution hin?
Orlan
Avatar
Member since May 2017
156 posts
Für gewöhnlich schreibt man die drei wichtigen Dinge zum Nachvollziehen der Umformung hin:

Die angewandte Regel
Den Kontext (auch wenn leer)
Die Substitution, die auf die Regel angewandt werden muss, damit sie so aussieht wie der Term, auf den man sie anwendet.
elias007
Avatar
Member since Oct 2017
90 posts
Danke! Soll ich als0 immer beides hinschreiben? In der Uebung wurde die Substitution immer weggelassen (außer am Anfang bei der erstmaligen Substitution).
This post was edited on 2019-05-23, 09:38 by elias007.
Orlan
Avatar
Member since May 2017
156 posts
"Sollen" ist in ThProg in solchen Fällen oft Tutor-Sache :D
Ich hab es mir eben angewöhnt, immer alles hinzuschreiben, einfach um sicher zu gehen. Wenn deinem Tutor weniger auch reicht, dann reicht auch weniger.
elias007
Avatar
Member since Oct 2017
90 posts
Ok, danke!  :-D
Marie von Ebner-Eschenbach:
   
Für das Können gibt es nur einen Beweis: das Tun.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen