|
|
| (No se muestran 20 ediciones intermedias de otro usuario) |
| Línea 1: |
Línea 1: |
| − | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}}
| + | #REDIRECT[[Comando Comprueba]] |
| − | {{command|logical|Prueba}}
| |
| − | {{warning|Este comando de GeoGebra está en preliminar proceso de construcción y es probable que se produzcan diversas dificultades al emplearlo en diferentes ensayos.}}
| |
| − | ;Prueba[ <Expresión Booleana> ]:Brinda el resultado de la prueba automática bajo ciertas condiciones.
| |
| − | | |
| − | GeoGebra emplea varios métodos para decidir si una expresión booleana es verdadera o no en general. Esto implica que si se cambian los puntos libres a un nuevo conjunto de posiciones, una expresión booleana (numéricamente evaluada) puede mantenerse verdadera en la mayor parte de los casos (por ejemplo, cuando no hay un trío de puntos libres colineales).
| |
| − | | |
| − | El método de decisión está basado en cálculos simbólicos, que habitualmente requieren una carga ardua de cómputo. Por lo tanto, quedan escondidos los detalles de tales cómputos y la salida simplemente resulta ''verdadera'' - ''true'' - o ''falsa'' - ''false''-. Verdadera cuando los cómputos aseveran que la expresión lo es bajo ciertas condiciones. Falsa cuando los cálculos evidencias que lo será en la mayoría de los casos, o no permiten arribar a una respuesta exacta.
| |
| − | | |
| − | {{example| 1=Definiendo un triángulo con vértices ''A'', ''B'' y ''C'', y estableciendo que...
| |
| − | * <code><nowiki>D=PuntoMedio[B, C]</nowiki></code>
| |
| − | * <code><nowiki>E=PuntoMedio[A, C]</nowiki></code>
| |
| − | * <code><nowiki>p=Recta[A, B]</nowiki></code>
| |
| − | * <code><nowiki>q=Recta[D, E]</nowiki></code>
| |
| − | ... entonces, tanto
| |
| − | * <code><nowiki>SonParalelas[p, q]</nowiki></code> como
| |
| − | * <code><nowiki>Prueba[SonParalelas[p, q]]</nowiki></code> dan por resultado un valor de verdad cierto - ''true'' - porque en un triángulo cada base media es paralela al lado correspondiente.}}
| |
| − | Es posible que la lista de condiciones no-degeneradas no sea necesariamente un simple conjunto de condiciones suficientes para confirmar la sentencia. GeoGebra sólo puede establecer que suponiendo condiciones no degeneradas, será verdadera.
| |
| − | {{example| 1=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>.
| |
| − | ... entonces,
| |
| − | * <code><nowiki>Prueba[SonColineales[A, B, C]</nowiki></code> da por resultado el valor verdadero - ''true'' -, dado que el método numérico de control empleado para este caso específico así lo determina.
| |
| − | * <code><nowiki>Prueba[SonColineales[A, B, C]]</nowiki></code> sin embargo, da por resultado el valor falso - ''false''-, dado que los tres puntos no son en general colineales cuando se arrastran libremente.}}
| |
| − | | |
| − | {{Note| Ver también el comando [[Comando PruebaDetalles| PruebaDetalles]].}}
| |
