Differenze tra le versioni di "Comando DettagliVerifica"
Da GeoGebra Manual.
| Riga 1: | Riga 1: | ||
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|DettagliVerifica}} | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|DettagliVerifica}} | ||
| − | ;DettagliVerifica | + | ;DettagliVerifica(Espressione booleana): Restituisce alcuni dettagli relativi al risultato della verifica automatica dell'espressione booleana inserita. |
Normalmente, GeoGebra decide se un'[[Valori booleani|espressione booleana]] sia vera o falsa utilizzando il calcolo numerico. Il comando DettagliVerifica utilizza invece [[w:Symbolic_computation|metodi simbolici]] per determinare il valore di verità di una proposizione. Questo comando funziona allo stesso modo del comando [[Comando Verifica|Verifica]], ma inoltre restituisce alcuni dettagli relativi alla verifica automatica, sotto forma di [[Liste|lista]], e in particolare: | Normalmente, GeoGebra decide se un'[[Valori booleani|espressione booleana]] sia vera o falsa utilizzando il calcolo numerico. Il comando DettagliVerifica utilizza invece [[w:Symbolic_computation|metodi simbolici]] per determinare il valore di verità di una proposizione. Questo comando funziona allo stesso modo del comando [[Comando Verifica|Verifica]], ma inoltre restituisce alcuni dettagli relativi alla verifica automatica, sotto forma di [[Liste|lista]], e in particolare: | ||
* Una lista vuota ({}) se GeoGebra non è in grado di determinare un risultato. | * Una lista vuota ({}) se GeoGebra non è in grado di determinare un risultato. | ||
| Riga 8: | Riga 8: | ||
* 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 (in tutti i casi in cui è possibile costruire un grafico), allora la proposizione è 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 (in tutti i casi in cui è possibile costruire un grafico), 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". | * 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". | ||
| − | :{{example| 1=<div>Dopo avere creato il triangolo di vertici ''A'', ''B'' e ''C'', definire <code><nowiki>D=PuntoMedio | + | :{{example| 1=<div>Dopo avere creato il triangolo di vertici ''A'', ''B'' e ''C'', definire <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>. Se <code><nowiki>DettagliVerifica(p∥q) </nowiki></code> restituisce <nowiki>{true}</nowiki>, ciò significa che è possibile costruire il grafico e che la retta ''DE'' dei punti medi di due lati è parallela al lato ''AB''.</div>}} |
| − | :{{example| 1=<div>Sia ''AB'' il segmento ''a''. Definire <code><nowiki>C=PuntoMedio | + | :{{example| 1=<div>Sia ''AB'' il segmento ''a''. Definire <code><nowiki>C=PuntoMedio(A,B)</nowiki></code>, <code><nowiki>b=AsseSegmento(A,B)</nowiki></code>, <code><nowiki>D=Intersezione(a,b)</nowiki></code>. Il comando <code><nowiki>DettagliVerifica(C==D)</nowiki></code> restituisce <nowiki>{true,{"TestUguaglianza[A,B]"}}</nowiki>: ciò significa che se i punti ''A'' e ''B'' sono distinti, allora i punti ''C'' e ''D'' saranno coincidenti.</div>}} |
| − | :{{example| 1=<div>Sia ''AB'' il segmento ''a''. Definire <code><nowiki>l=Retta | + | :{{example| 1=<div>Sia ''AB'' il segmento ''a''. Definire <code><nowiki>l=Retta(A,B)</nowiki></code>. Sia ''C'' un punto arbitrario della retta ''l'' e siano <code><nowiki>b=Segmento(B,C)</nowiki></code> e <code><nowiki>c=Segmento(A,C)</nowiki></code>. Il comando <code><nowiki>DettagliVerifica(a==b+c)</nowiki></code> restituisce <nowiki>{true,{"a+b==c", "b==a+c"}}</nowiki>: ciò significa che se non si verifica che <math>a+b=c</math> e <math>b=a+c</math>, allora <math>a=b+c</math>.</div>}} |
La lista delle condizioni non degeneri può risultare un insieme in forma non semplificata. Relativamente all'esempio precedente, l'insieme semplificato corretto dovrebbe essere l'insieme vuoto. | La lista delle condizioni non degeneri può risultare un insieme in forma non semplificata. Relativamente all'esempio precedente, l'insieme semplificato corretto dovrebbe essere l'insieme vuoto. | ||
{{Note| Vedere anche il comando [[Comando Verifica|Verifica]], [[Valori booleani|valori booleani]] e i [http://dev.geogebra.org/trac/wiki/TheoremProving dettagli tecnici degli algoritmi (in inglese)].}} | {{Note| Vedere anche il comando [[Comando Verifica|Verifica]], [[Valori booleani|valori booleani]] e i [http://dev.geogebra.org/trac/wiki/TheoremProving dettagli tecnici degli algoritmi (in inglese)].}} | ||
Versione delle 19:33, 3 ott 2017
- 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 (in tutti i casi in cui è possibile costruire un grafico).
- 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 (in tutti i casi in cui è possibile costruire un grafico), 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:Dopo avere creato il triangolo di vertici A, B e C, definire
D=PuntoMedio(B,C),E=PuntoMedio(A,C),p=Retta(A,B),q=Retta(D,E). SeDettagliVerifica(p∥q)restituisce {true}, ciò significa che è possibile costruire il grafico e che la retta DE dei punti medi di due lati è parallela al lato AB.
- Esempio:Sia AB il segmento a. Definire
C=PuntoMedio(A,B),b=AsseSegmento(A,B),D=Intersezione(a,b). Il comandoDettagliVerifica(C==D)restituisce {true,{"TestUguaglianza[A,B]"}}: ciò significa che se i punti A e B sono distinti, allora i punti C e D saranno coincidenti.
- Esempio:Sia AB il segmento a. Definire
l=Retta(A,B). Sia C un punto arbitrario della retta l e sianob=Segmento(B,C)ec=Segmento(A,C). Il comandoDettagliVerifica(a==b+c)restituisce {true,{"a+b==c", "b==a+c"}}: ciò significa che se non si verifica che a+b=c e b=a+c, allora a=b+c.
La lista delle condizioni non degeneri può risultare un insieme in forma non semplificata. Relativamente all'esempio precedente, 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).
