Differenze tra le versioni di "Comando Verifica"

Versione attuale delle 09:17, 16 ott 2017

Verifica(Espressione booleana): Restituisce se l'espressione booleana inserita è in generale vera o falsa.

GeoGebra utilizza vari metodi per decidere se un'espressione booleana è vera o falsa. Ciò significa che, ad esempio, se modifichiamo la posizione di alcuni punti liberi, una certa espressione booleana può risultare in generale vera anche in corrispondenza della nuova posizione dei punti (ad es. quando i punti liberi sono a 3 a 3 non allineati). Quando l'espressione booleana è valutata solo una volta viene utilizzato un calcolo numerico, ma una risposta di carattere generale (la cosiddetta decisione) richiede ulteriori verifiche.

Il metodo decisionale in GeoGebra per stabilire se una espressione booleana è vera o falsa è basato sul calcolo numerico. Il comando Verifica utilizza invece metodi simbolici. Se GeoGebra non è in grado di determinare la risposta, verrà restituito non definito.

Esempio:

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 i tre punti liberi vengono spostati nel piano.

Esempio:
Si definisce un triangolo di vertici A, B e C, e si calcolano 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.

Note: Vedere anche il comando DettagliVerifica, la sezione relativa ai Valori booleani e i dettagli tecnici sugli algoritmi.

@@ Riga 1: / Riga 1: @@
-<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}}
+<noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|Verifica}}
-{{command|logical|Verifica}}
-{{warning|Questo comando di GeoGebra è in fase sperimentale, quindi può presentare errori di vario tipo.}}
+;Verifica(Espressione booleana): Restituisce se l'espressione booleana inserita è in generale vera o falsa.
-;Verifica[ Espressione booleana ]: Restituisce il valore di verità dell'espressione booleana inserita, ottenuto mediante verifica automatica, sotto determinate condizioni.
 GeoGebra utilizza vari metodi per decidere se un'espressione booleana è vera o falsa. Ciò significa che, ad esempio, se modifichiamo la posizione di alcuni punti liberi, una certa espressione booleana può risultare in generale vera anche in corrispondenza della nuova posizione dei punti  (ad es. quando i punti liberi sono a 3 a 3 non allineati). Quando l'espressione booleana è valutata solo una volta viene utilizzato un calcolo numerico, ma una risposta di carattere generale (la cosiddetta ''decisione'') richiede ulteriori verifiche.
-Il metodo decisionale in GeoGebra è basato sul calcolo simbolico, e ciò richiede molte operazioni di calcolo. Naturalmente i dettagli di tali operazioni non sono visibili, e l'output è un semplice ''true'' oppure ''false'': in particolare si avrà ''true'' quando il calcolo garantisce la verità certa dell'espressione sotto determinate condizioni, mentre un ''false'' indica che l'espressione è falsa nella maggioranza dei casi, oppure il calcolo non è riuscito a fornire una risposta esatta.
+Il metodo decisionale in GeoGebra per stabilire se una [[Valori_booleani|espressione booleana]] è vera o falsa è basato sul calcolo numerico. Il comando Verifica utilizza invece [[w:Symbolic_computation|metodi simbolici]]. Se GeoGebra non è in grado di determinare la risposta, verrà restituito ''non definito''.
+:{{example| 1=<div>Si definiscono tre punti, <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code>, <code><nowiki>C=(5,6)</nowiki></code>. Il comando <code><nowiki>TestAllineamento(A,B,C)</nowiki></code> restituisce ''true'', in quanto in questo caso la verifica è di tipo numerico sulle coordinate dei tre punti, ma <code><nowiki>Verifica(TestAllineamento(A,B,C))</nowiki></code> restituisce ''false'', in quanto i tre punti in generale non sono collineari, come ad esempio quando i tre punti liberi vengono spostati nel piano.</div>}}
+:{{example| 1=<br/>Si definisce un triangolo di vertici ''A'', ''B'' e ''C'', e si calcolano <code><nowiki>D=PuntoMedio(B,C)</nowiki></code>, <code><nowiki>E=PuntoMedio(A,C)</nowiki></code>, <code><nowiki>p=Retta(A,B)</nowiki></code>, <code><nowiki>q=Retta(D,E)]</nowiki></code>. In questo caso sia <code><nowiki>p∥q</nowiki></code> che <code><nowiki>Verifica(p∥q)</nowiki></code> restituiscono ''true'', in quanto la retta che unisce i punti medi di due lati di un triangolo è sempre parallela al terzo lato.}}
+<ggb_applet width="525" height="366" version="5.0" id="40121" enableRightClick="false" showAlgebraInput="false" enableShiftDragZoom="false" showMenuBar="false" showToolBar="false" showToolBarHelp="true" enableLabelDrags="false" showResetIcon="false"/>
-:{{example| 1=<div>Si definiscono tre punti, <code><nowiki>A=(1,2)</nowiki></code>, <code><nowiki>B=(3,4)</nowiki></code>, <code><nowiki>C=(5,6)</nowiki></code>. Il comando <code><nowiki>TestAllineamento[A,B,C]</nowiki></code> restituisce ''true'', in quanto in questo caso la verifica è di tipo numerico, ma <code><nowiki>Verifica[TestAllineamento[A,B,C]]</nowiki></code> restituisce ''false'', in quanto i tre punti in generale non sono collineari, quando i tre punti liberi vengono trascinati.</div>}}
+{{Note|1=Vedere anche il comando [[Comando_DettagliVerifica|DettagliVerifica]], la sezione relativa ai [[Valori booleani|Valori booleani]] e i [http://dev.geogebra.org/trac/wiki/TheoremProving dettagli tecnici sugli algoritmi].}}
-:{{example| 1=<div>Si definisce un triangolo di vertici ''A'', ''B'' e ''C'', e si calcolano <code><nowiki>D=PuntoMedio[B,C]</nowiki></code>, <code><nowiki>E=PuntoMedio[A,C]</nowiki></code>, <code><nowiki>p=Retta[A,B]</nowiki></code>, <code><nowiki>q=Retta[D,E]</nowiki></code>. In questo caso sia <code><nowiki>TestParallelismo[p,q]</nowiki></code> che <code><nowiki>Verifica[TestParallelismo[p,q]]</nowiki></code> restituiscono ''true'', in quanto la retta che unisce i punti medi di due lati di un triangolo è sempre parallela al terzo lato.</div>}}
-{{Note| Vedere anche il comando [[Comando_DettagliVerifica|DettagliVerifica]].}}

Differenze tra le versioni di "Comando Verifica"

Versione attuale delle 09:17, 16 ott 2017

Verifica

Categorie di comandi (Tutti i comandi)