Comando Verifica
- Verifica(Espressione booleana)
-
Restituisce se l’espressione booleana inserita è in generale vera o falsa.
Il metodo decisionale in GeoGebra per stabilire se una espressione booleana è vera o falsa è tramite verifica numerica. Il comando Verifica utilizza invece metodi simbolici. Se GeoGebra non è in grado di determinare la risposta, verrà restituito non definito.
Si definiscono tre punti, A=(1,2), B=(3,4), C=(5,6). Il comando TestAllineamento(A,B,C)
restituisce true, in quanto in questo caso la verifica è di tipo numerico sulle coordinate dei tre punti, ma
Verifica(TestAllineamento(A,B,C)) restituisce false, in quanto i tre punti in generale non sono collineari, come
ad esempio quando tre punti liberi vengono spostati nel piano.
Dato un triangolo di vertici A, B e C, siano D=PuntoMedio(B,C), E=PuntoMedio(A,C),
p=Retta(A,B), q=Retta(D,E)]. In questo caso sia p∥q che Verifica(p∥q) restituiscono true, in
quanto la retta che unisce i punti medi di due lati di un triangolo è sempre parallela al terzo lato. È disponibile una versione interattiva di questo esempio.
|
Vedere anche il comando DettagliVerifica, la sezione relativa ai Valori booleani, GeoGebra Automated Reasoning Tools: A Tutorial e i dettagli tecnici sugli algoritmi. |