Výroky by sa mali dať označiť množinou konštruktov, ktoré sa v nich používajú – rôzne druhy podmienok a obmedzenej kvantifikácie, ekvivalencia, vyjadrenia kardinality, neštandardné a zavádzajúce obraty, inverzie poradia, inverzie spojok.
Použitie:
Analýza chýb, ťažkých konštruktov a ich zvlášť problematických formulácií.
Návody na opravenie chýb po niekoľkých neúspešných pokusoch.
Výroky by sa mali dať označiť množinou konštruktov, ktoré sa v nich používajú – rôzne druhy podmienok a obmedzenej kvantifikácie, ekvivalencia, vyjadrenia kardinality, neštandardné a zavádzajúce obraty, inverzie poradia, inverzie spojok.
Použitie: