Difference between revisions of "Prove Command"
From GeoGebra Manual
(Prove command, first version) |
|||
| Line 1: | Line 1: | ||
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} | ||
{{command|logical}} | {{command|logical}} | ||
| − | ;Prove[ <Boolean Expression> ] | + | ;Prove[ <Boolean Expression> ]: Returns if the result of the automated proof is true under certain conditions. |
| + | |||
| + | GeoGebra uses several methods to decide if a boolean expression is true or not in general. This means that if we change the free points to a different set of positions, a (numerically evaluated) boolean expression may still be true in most cases (e.g. when no triplets of the the free points are collinear). | ||
| + | |||
| + | The decision method is based on symbolic calculations, which usually require heavy computations. Hence the details of these computations are hidden, and the output is a simple ''true'' or ''false'': true when the computations assure that the statement is surely true under certain conditions, and false when the statement is false in most cases, or the calculations cannot give an exact answer. | ||
| + | |||
| + | {{Note| See also [[Manual:ProveDetails_Command|ProveDetails]] command.}} | ||
Revision as of 23:23, 15 May 2012
 |
This page is about a feature that is supported only in GeoGebra 5.0. |
- Prove[ <Boolean Expression> ]
- Returns if the result of the automated proof is true under certain conditions.
GeoGebra uses several methods to decide if a boolean expression is true or not in general. This means that if we change the free points to a different set of positions, a (numerically evaluated) boolean expression may still be true in most cases (e.g. when no triplets of the the free points are collinear).
The decision method is based on symbolic calculations, which usually require heavy computations. Hence the details of these computations are hidden, and the output is a simple true or false: true when the computations assure that the statement is surely true under certain conditions, and false when the statement is false in most cases, or the calculations cannot give an exact answer.
Note: See also ProveDetails command.
