PrüfeDetails (Befehl): Unterschied zwischen den Versionen
Aus GeoGebra Manual
Sarah. (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „<noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|PrüfeDetails}}{{betamanual|version=5.0}} ;PrüfeDetails[ <Wahrheitswert> ]: Dieser Befehl…“) |
Sarah. (Diskussion | Beiträge) |
||
Zeile 5: | Zeile 5: | ||
* Eine Liste mit einem Element: '''{false}''', wenn die Aussage im Allgmeinen nicht wahr ist. | * Eine Liste mit einem Element: '''{false}''', wenn die Aussage im Allgmeinen nicht wahr ist. | ||
* Eine Liste mit einem Element: '''{true}''', wenn die Aussage immer wahr ist. | * Eine Liste mit einem Element: '''{true}''', wenn die Aussage immer wahr ist. | ||
+ | * Eine Liste mit mehreren Elementen, die den Wahrheitswert ''true'' beinhaltet und eine andere Liste unter welchen Bedingungen die Aussage wahr ist, z. B. {true, {"LiegenAufGerade[A,B,C], SindGleich[C,D]"}}. Das bedeutet, wenn keine der Bedingungen wahr ist, dann ist die Aussage ''true''. | ||
+ | * Eine Liste '''{true,{"..."}}''', das bedeutet, dass die Aussage unter bestimmten Bedingungen wahr ist, aber diese aus einigen Gründen nicht in lesbarer Form dargestellt werden können. | ||
− | + | {{Note| Siehe auch [[Prüfe_(Befehl)|Prüfe]], [[Wahrheitswerte| Wahrheitswerte]] und [http://dev.geogebra.org/trac/wiki/TheoremProving technical details of the algorithms].}} | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | {{Note| |
Version vom 17. September 2014, 12:16 Uhr
Diese Seite behandelt ein Feature, dass nur in GeoGebra 5.2 unterstützt wird. |
- PrüfeDetails[ <Wahrheitswert> ]
- Dieser Befehl funktioniert wie der Befehl Prüfe, aber er gibt zusätzlich noch Details zum Ergebnis als Liste bekannt:
- Eine leere Liste {}, wenn GeoGebra keine Lösung findet.
- Eine Liste mit einem Element: {false}, wenn die Aussage im Allgmeinen nicht wahr ist.
- Eine Liste mit einem Element: {true}, wenn die Aussage immer wahr ist.
- Eine Liste mit mehreren Elementen, die den Wahrheitswert true beinhaltet und eine andere Liste unter welchen Bedingungen die Aussage wahr ist, z. B. {true, {"LiegenAufGerade[A,B,C], SindGleich[C,D]"}}. Das bedeutet, wenn keine der Bedingungen wahr ist, dann ist die Aussage true.
- Eine Liste {true,{"..."}}, das bedeutet, dass die Aussage unter bestimmten Bedingungen wahr ist, aber diese aus einigen Gründen nicht in lesbarer Form dargestellt werden können.
Anmerkung: Siehe auch Prüfe, Wahrheitswerte und technical details of the algorithms.