Diferencia entre revisiones de «Comando Comprueba»

Revisión del 05:02 23 dic 2013

Comprueba[ <Expresión Booleana> ]: Da por resultado el valor de verdad true (cierto) o false (falso) según 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 verdadera^true:

en general, los de cálculo numérico
en particular, como para este comando y para CompruebaDetalles 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)

Si los cálculos no pueden arribar a una respuesta exacta, el resultado deviene indecidible.

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.
Comprueba[SonColineales[A, B, C]], sin embargo, lo establecerá falso -false- dado que los tres puntos no son co-lineales en general y dejarán de serlo al cambiar sus 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.

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) como:
Comprueba[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 CompruebaDetalles; el artículo sobre Valores Booleanos y los detalles técnicos de los algoritmos.

@@ Línea 1: / Línea 1: @@
 <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical|Comprueba}}
-;Comprueba[ <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> <center><small>{{beta_manual|version=5.0|Este comando, en preliminar proceso de construcción, se ofrece para llevar adelante ensayos aunque podría ser modificado su comportamiento y/o salidas.}}</small></center>
+;Comprueba[ <Expresión Booleana> ]:Da por resultado el valor de verdad ''true'' ('''cierto''') o ''false'' ('''falso''') según lo sea, en general, la expresión booleana.<br> <center><small>{{beta_manual|version=5.0|Este comando, en preliminar proceso de construcción, se ofrece para llevar adelante ensayos aunque podría ser modificado su comportamiento y/o salidas.}}</small></center>
 ======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>:
@@ Línea 12: / Línea 12: @@
 {{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>Comprueba[SonColineales[A, B, C]]</nowiki></code>, 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.</div>}}
+*<code><nowiki>Comprueba[SonColineales[A, B, C]]</nowiki></code>, sin embargo, lo establecerá falso -''false''- dado que los tres puntos no son co-lineales en general y dejarán de serlo al cambiar sus posiciones.</div>}}
-{{Note|1= Esta colinealidad quedaría en evidencia al comparar, con la [[File:Tool Relation between Two Objects.gif]] herramienta [[Herramienta de Relación entre Dos Objetos|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.}}
+{{Note|1= Esta colinealidad quedaría en evidencia al comparar, con la [[File:Tool Relation between Two Objects.gif]] herramienta de [[Herramienta de Relación entre Dos Objetos|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.}}
 {{example| 1=<div>Definiendo un triángulo con vértices ''A'', ''B'' y ''C'',  y estableciendo que...
 *<code><nowiki>D=PuntoMedio[B, C]</nowiki></code>
@@ Línea 19: / Línea 19: @@
 *<code><nowiki>p=Recta[A, B]</nowiki></code>
 *<code><nowiki>q=Recta[D, E]</nowiki></code>
-... entonces, tanto
+... entonces, tanto:
-*<code><nowiki>p∥q</nowiki></code> (porque los cálculos numéricos así lo determinan) como
+*<code><nowiki>p∥q</nowiki></code> (porque los cálculos numéricos así lo determinan) como:
-*<code><nowiki>Comprueba[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.</div>}}
+*<code><nowiki>Comprueba[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.</div>}}
 <ggb_applet width="399" height="366" version="5.0" id="40121" enableRightClick="false" showAlgebraInput="true" enableShiftDragZoom="false" showMenuBar="false" showToolBar="false" showToolBarHelp="true" enableLabelDrags="false" showResetIcon="false"/>
-{{Note|1=Ver también el comando [[Comando CompruebaDetalles| CompruebaDetalles]], [[Valores Booleanos]]
+{{Note|1=Ver también el comando [[Comando CompruebaDetalles| CompruebaDetalles]]; el artículo sobre [[Valores Booleanos]]
 y [http://dev.geogebra.org/trac/wiki/TheoremProving los detalles técnicos de los algoritmos].}}

Diferencia entre revisiones de «Comando Comprueba»

Revisión del 05:02 23 dic 2013

Comprueba

Categorías de Comandos (todos)

Métodos de Verificación