Comando DettagliVerifica

DettagliVerifica[ Espressione booleana ]

Restituisce alcuni dettagli relativi al risultato della verifica automatica dell'espressione booleana inserita.

Normalmente, GeoGebra decide se un'espressione booleana sia vera o falsa utilizzando il calcolo numerico. Il comando DettagliVerifica utilizza invece metodi simbolici per determinare il valore di verità di una proposizione. Questo comando funziona allo stesso modo del comando Verifica, ma inoltre restituisce alcuni dettagli relativi alla verifica automatica, sotto forma di lista, e in particolare:

• Una lista vuota ({}) se GeoGebra non è in grado di determinare un risultato.
• Una lista contenente il solo elemento {false}, quando in generale la proposizione non è vera.
• Una lista contenente il solo elemento {true}, quando la proposizione è sempre vera.
• Una lista contenente più elementi, tra cui il valore booleano true e un'altra lista per le cosiddette condizioni non degenerative, se la proposizione è vera sotto determinate condizioni, ad es. {true, {"TestAllineamento[A,B,C]", "TestUguaglianza[C,D]"}}. Ciò significa che se nessuna tra le condizioni è vera, allora la proposizione è vera.
• Una lista del tipo {true,{"..."}}, se la proposizione è vera sotto determinate condizioni, ma tali condizioni, per varie ragioni, non possono essere rese in forma "leggibile".

Esempio: Si definisce il triangolo di vertici A, B e C, quindi D=PuntoMedio[B,C], E=PuntoMedio[A,C], p=Retta[A,B], q=Retta[D,E]. Se DettagliVerifica[p∥q] restituisce {true,{"TestUguaglianza[A,B]"}}, ciò significa che se i punti A e B sono distinti, allora la retta DE dei punti medi di due lati è parallela al lato AB.

La lista delle condizioni non degeneri può risultare un insieme in forma non semplificata. Relativamente a questo esempio, l'insieme semplificato corretto dovrebbe essere l'insieme vuoto.

Note: Vedere anche il comando Verifica, valori booleani e i dettagli tecnici degli algoritmi (in inglese).