Diferencia entre revisiones de «Comando Prueba»
De GeoGebra Manual
| Línea 1: | Línea 1: | ||
| − | <noinclude>{{Manual Page|version=5.0}}</noinclude> | + | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{Comandos de 5.0|logical|Prueba}}<small><center> |
| − | {{Comandos de 5.0|logical|Prueba}} | + | {{beta_manual|version=5.0|Este comando de GeoGebra está en preliminar proceso de construcción y es probable que se produzcan diversas dificultades al emplearlo en ensayos. La sintaxis o la salida de este comando podrían ser modificadas}}</center></small><br> |
| − | {{ | + | ;Prueba[ <Expresión Booleana> ]:Da por resultado el valor de verdad ''true'' ('''cierto''') o ''false'' ('''falso''') segun lo sea, en general, la expresión booleana.<br> |
| − | ;Prueba[ <Expresión Booleana> ]:Da por resultado el valor de verdad ''true'' ('''cierto''') o ''false'' ('''falso''') segun lo sea, en general, la expresión booleana. | + | ======Métodos de Verificación====== |
| − | + | GeoGebra emplea varios métodos para decidir si una [[Valores Booleanos|expresión booleana]] es o no verdadera<sup>''true''</sup>: | |
| − | GeoGebra emplea varios métodos para decidir si una [[Valores Booleanos|expresión booleana]] es | + | *en general, los de cálculo numérico |
| − | * en general, los de cálculo numérico | + | *en particular, como para este comando y para [[Comando PruebaDetalles|PruebaDetalles]] por ejemplo, [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] |
| − | * en particular, como para este comando y para [[Comando PruebaDetalles|PruebaDetalles]] por ejemplo, [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica] | + | **específicamente, cuando no se cuenta con medios para determinarlo, recurriendo a la salida '''''indefinido'''''. |
| − | ** específicamente, cuando no se cuenta con medios para determinarlo, recurriendo a la salida '''''indefinido'''''. | + | {{OJo|1= <br>Cuando el método de decisión está basado en cálculos simbólicos, habitualmente requieren una carga ardua de cómputo cuyos detalles quedan ocultos y la salida resulta: |
| − | {{ | + | *'''verdadera''' - ''true'' - cuando los cómputos aseveran que la expresión lo es |
| − | resulta: | + | *o '''falsa''' - ''false''- cuando los cálculos evidencias que lo será (en la mayoría de los casos, al menos) |
| − | * '''verdadera''' - ''true'' - cuando los cómputos aseveran que la expresión lo es | + | Si los cálculos no pueden arribar a una respuesta exacta, el resultado deviene ''indecidible''.}} |
| − | * o '''falsa''' - ''false''- cuando los cálculos evidencias que lo será (en la mayoría de los casos, al menos) | ||
| − | Si los cálculos no pueden arribar a una respuesta exacta, el resultado deviene ''indecidible''. | ||
{{example|1=<div>Si se definen tres puntos libres <code><nowiki>A = (1, 2)</nowiki></code>, <code><nowiki>B = (3, 4)</nowiki></code>, <code><nowiki>C = (5, 6)</nowiki></code>, el comando... | {{example|1=<div>Si se definen tres puntos libres <code><nowiki>A = (1, 2)</nowiki></code>, <code><nowiki>B = (3, 4)</nowiki></code>, <code><nowiki>C = (5, 6)</nowiki></code>, el comando... | ||
*<code><nowiki>SonColineales[A, B, C]</nowiki></code> da un resultado verdadero - ''true'' -, dado que el control numérico empleado para tales coordenadas así lo implica. | *<code><nowiki>SonColineales[A, B, C]</nowiki></code> da un resultado verdadero - ''true'' -, dado que el control numérico empleado para tales coordenadas así lo implica. | ||
Revisión del 02:21 24 feb 2013
Prueba
Categorías de Comandos (todos)
- Prueba[ <Expresión Booleana> ]
- Da por resultado el valor de verdad true (cierto) o false (falso) segun lo sea, en general, la expresión booleana.
Métodos de Verificación
GeoGebra emplea varios métodos para decidir si una expresión booleana es o no verdaderatrue:
- en general, los de cálculo numérico
- en particular, como para este comando y para PruebaDetalles por ejemplo, los de índole simbólica
- específicamente, cuando no se cuenta con medios para determinarlo, recurriendo a la salida indefinido.
Atención: Cuando el método de decisión está basado en cálculos simbólicos, habitualmente requieren una carga ardua de cómputo cuyos detalles quedan ocultos y la salida resulta:
- verdadera - true - cuando los cómputos aseveran que la expresión lo es
- o falsa - false- cuando los cálculos evidencias que lo será (en la mayoría de los casos, al menos)
Ejemplo:
Si se definen tres puntos libres
A = (1, 2), B = (3, 4), C = (5, 6), el comando...
SonColineales[A, B, C]da un resultado verdadero - true -, dado que el control numérico empleado para tales coordenadas así lo implica.Prueba[SonColineales[A, B, C]], sin embargo, lo establecerá falso -false- dado que los tres puntos no son colineales en general y dejarán de serlo al cambiar las posiciones.
Nota: Esta colinealidad quedaría en evidencia al comparar, con la 
herramienta de Relación entre Dos Objetos sendas rectas, Recta[A, C] y Recta[B, C], que daría un resultado diferente en cuanto se desplazara uno de los puntos.
herramienta de Relación entre Dos Objetos sendas rectas, Recta[A, C] y Recta[B, C], que daría un resultado diferente en cuanto se desplazara uno de los puntos.Ejemplo:
Definiendo un triángulo con vértices A, B y C, y estableciendo que...
D=PuntoMedio[B, C]E=PuntoMedio[A, C]p=Recta[A, B]q=Recta[D, E]
... entonces, tanto
p∥q(porque los cálculos numéricos así lo determinan) comoPrueba[p∥q]dan por resultado un valor de verdad cierto - true - porque en un triángulo cada base media es paralela al lado correspondiente.
Nota: Ver también el comando PruebaDetalles, Valores Booleanos
y los detalles técnicos de los algoritmos.
