Differenze tra le versioni di "Comando Verifica"

Da GeoGebra Manual.
(Creata pagina con '<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} {{command|logical|Verifica}} {{warning|Questo comando di GeoGebra è in fase sperimentale, quindi pu...')
 
Riga 1: Riga 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|Verifica}}
 
{{command|logical|Verifica}}
{{warning|Questo comando di GeoGebra è in fase sperimentale, quindi può presentare errori di vario tipo.}}
+
{{warning|Questo comando di GeoGebra è in fase sperimentale, quindi può presentare errori di vario tipo. La sintassi del comando è soggetta a variazioni.}}
;Verifica[ Espressione booleana ]: Restituisce il valore di verità dell'espressione booleana inserita, ottenuto mediante verifica automatica, sotto determinate condizioni.
+
;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.
 
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 [[Manuale: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, 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>}}
+
:{{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=<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>}}
+
 
 +
:{{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>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.</div>}}
 
{{Note| Vedere anche il comando [[Comando_DettagliVerifica|DettagliVerifica]].}}
 
{{Note| Vedere anche il comando [[Comando_DettagliVerifica|DettagliVerifica]].}}

Versione delle 11:58, 1 giu 2012



Attenzione ! Attenzione !: Questo comando di GeoGebra è in fase sperimentale, quindi può presentare errori di vario tipo. La sintassi del comando è soggetta a variazioni.
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.
© 2021 International GeoGebra Institute