Difference between revisions of "ProveDetails Command"
From GeoGebra Manual
(Created page with "<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} {{command|logical}} ;ProveDetails[ <Boolean Expression> ] It returns some details of the result of th...") |
m (Link to Prove command) |
||
Line 8: | Line 8: | ||
* a list with one element: {"generically true"}, if the statement is always true, | * a list with one element: {"generically true"}, if the statement is always true, | ||
* a list with more elements: {"generically true", "the points A, B, C must not be collinear", "the segments c, d must not be equal"}, if the statement is true under certain conditions. | * a list with more elements: {"generically true", "the points A, B, C must not be collinear", "the segments c, d must not be equal"}, if the statement is true under certain conditions. | ||
+ | |||
+ | {{Note| See also [[Manual:Prove_Command|Prove]] command.}} |
Revision as of 23:25, 15 May 2012
This page is about a feature that is supported only in GeoGebra 5.0. |
- ProveDetails[ <Boolean Expression> ]
It returns some details of the result of the automated proof:
- an empty list if the statement could not be proven ({}),
- a list with one element: {"generically false"}, if the statement is not true in general,
- a list with one element: {"generically true"}, if the statement is always true,
- a list with more elements: {"generically true", "the points A, B, C must not be collinear", "the segments c, d must not be equal"}, if the statement is true under certain conditions.
Note: See also Prove command.