Differenze tra le versioni di "Comando Verifica"
(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 | + | ;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 | + | 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 | + | :{{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> | + | |
+ | :{{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 10:58, 1 giu 2012
Questa descrizione si riferisce a funzionalità supportate solo nella versione GeoGebra 5.0. |
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 comandoTestAllineamento[A,B,C]
restituisce true, in quanto in questo caso la verifica è di tipo numerico sulle coordinate dei tre punti, maVerifica[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 siap∥q
cheVerifica[p∥q]
restituiscono true, in quanto la retta che unisce i punti medi di due lati di un triangolo è sempre parallela al terzo lato.