PrüfeDetails (Befehl): Unterschied zwischen den Versionen
Aus GeoGebra Manual
Sarah. (Diskussion | Beiträge) |
(added example) |
||
| Zeile 1: | Zeile 1: | ||
| − | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|PrüfeDetails | + | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|PrüfeDetails}} |
| − | ;PrüfeDetails[ <Wahrheitswert> ]: Dieser Befehl funktioniert wie der Befehl [[Prüfe_(Befehl)|Prüfe]], aber er gibt zusätzlich noch Details zum Ergebnis als [[Listen|Liste]] bekannt: | + | ;PrüfeDetails[ <Wahrheitswert> ] |
| + | :Liefert einige Details zum Ergebnis der automatisierten Prüfung. | ||
| + | GeoGebra verwendet normalerweise numerische Berechnungen, um zu überprüfen ob ein [[Wahrheitswerte|Boolescher Ausdruck]] wahr (true) oder falsch (false) ist. Der Befehl '''PrüfeDetails''' verwendet jedoch [[w:de:Symbolische Mathematik|symbolische Methoden]], um zu überprüfen ob eine Aussage im Allgemeinen true oder false ist. | ||
| + | Dieser Befehl funktioniert wie der Befehl [[Prüfe_(Befehl)|Prüfe]], aber er gibt zusätzlich noch Details zum Ergebnis als [[Listen|Liste]] bekannt: | ||
* Eine leere Liste '''{}''', wenn GeoGebra keine Lösung findet. | * 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: '''{false}''', wenn die Aussage im Allgmeinen nicht wahr ist. | ||
| Zeile 7: | Zeile 10: | ||
* 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 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. | * 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. | ||
| − | + | :{{example| 1=<div>Seien ''A'', ''B'' and ''C'' die Eckpunkte eines Dreiecks, und seien <code><nowiki>D=Mittelpunkt[B,C]</nowiki></code>, <code><nowiki>E=Mittelpunkt[A,C]</nowiki></code>, <code><nowiki>p=Gerade[A,B]</nowiki></code>, <code><nowiki>q=Gerade[D,E]</nowiki></code>. Dann liefert <code><nowiki>PrüfeDetails[p∥q]</nowiki></code> <nowiki>{true,{"AreEqual[A,B]"}}</nowiki>, was bedeutet, dass wenn sich die zwei Punkte ''A'' und ''B'' unterscheiden, die Mittellinie ''DE'' des Dreiecks parallel zur Seite ''AB'' ist.</div>}} | |
| − | {{Note| Siehe auch [[Prüfe_(Befehl)|Prüfe]], [[Wahrheitswerte| Wahrheitswerte]] und [http://dev.geogebra.org/trac/wiki/TheoremProving technical details of the algorithms].}} | + | {{Note| Siehe auch den Befehl [[Prüfe_(Befehl)|Prüfe]], [[Wahrheitswerte| Wahrheitswerte]] und [http://dev.geogebra.org/trac/wiki/TheoremProving technical details of the algorithms].}} |
Version vom 9. Oktober 2015, 15:22 Uhr
- PrüfeDetails[ <Wahrheitswert> ]
- Liefert einige Details zum Ergebnis der automatisierten Prüfung.
GeoGebra verwendet normalerweise numerische Berechnungen, um zu überprüfen ob ein Boolescher Ausdruck wahr (true) oder falsch (false) ist. Der Befehl PrüfeDetails verwendet jedoch symbolische Methoden, um zu überprüfen ob eine Aussage im Allgemeinen true oder false ist. 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.
- Beispiel:Seien A, B and C die Eckpunkte eines Dreiecks, und seien
D=Mittelpunkt[B,C],E=Mittelpunkt[A,C],p=Gerade[A,B],q=Gerade[D,E]. Dann liefertPrüfeDetails[p∥q]{true,{"AreEqual[A,B]"}}, was bedeutet, dass wenn sich die zwei Punkte A und B unterscheiden, die Mittellinie DE des Dreiecks parallel zur Seite AB ist.
Anmerkung: Siehe auch den Befehl Prüfe, Wahrheitswerte und technical details of the algorithms.
