Diferencia entre revisiones de «Comando Comprueba»

Revisión del 16:05 9 feb 2018

Comprueba( <Proposición lógica> ): Da por resultado el valor de verdad true (cierto) o false (falso) en general, de la proposición.

Normalmente, GeoGebra decide en forma numérica si la proposición es verdadera o no. Sin embargo, el comando Comprueba opera de forma simbólica para determinar el valor de verdad de manera general. Si GeoGebra no puede determinar la respuesta, el resultado que arroja es indefinido.

Ejemplo:

Si se definen tres puntos libres A = (1, 2), B = (3, 4), C = (5, 6), el comando EstánAlineados(A, B, C) da un resultado verdadero - true -, dado que el control numérico empleado para tales coordenadas así lo indica. En cambio Comprueba(EstánAlineados(A, B, C)), da como resultado falso -false- dado que los tres puntos no son co-lineales en general y dejarán de serlo al cambiar sus posiciones.

Ejemplo:

Sea un triángulo con vértices A, B y C. Se define D=PuntoMedio(B,C), E=PuntoMedio(A,C), p=Recta(A,B), q=Recta(D,E). En este caso, p∥q y Comprueba(p∥q) dan ambos como resultado verdadero -true-, dado que la base media será siempre paralela al lado correspondiente, aún si se modifica la posición de los vértices del triángulo.

Nota: Ver también el comando CompruebaDetalles; el artículo acerca de Valores Lógicos o Booleanos y los detalles técnicos de los algoritmos.

@@ Línea 1: / Línea 1: @@
 <noinclude>{{Manual Page|version=5.0}}</noinclude>
-{{revisar}}
-{{command|geometry|Comprueba}}<center><small>{{betamanual|version=5.0|'''Comprueba''' podría modificarse.}}</small></center><br><small><small>También conocido como [[Comando Demuestra|'''''Demuestra''''']]</small></small>
+{{command|geometry|Comprueba}}
-{{GGb5u|1=<div>
+;Comprueba( <Proposición lógica> ):Da por resultado el valor de verdad ''true'' ('''cierto''') o ''false'' ('''falso''') en general, de la proposición.
-;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.</div>}}
+Normalmente, GeoGebra decide en forma numérica si la [[Valores Lógicos|proposición]] es verdadera o no. Sin embargo, el comando Comprueba opera [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica de forma simbólica] para determinar el valor de verdad de manera general. Si GeoGebra no puede determinar la respuesta, el resultado que arroja es ''indefinido''.
-======Métodos de Verificación======
+{{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>EstánAlineados(A, B, C)</nowiki></code> da un resultado verdadero - ''true'' -, dado que el control numérico empleado para tales coordenadas así lo indica. En cambio <code><nowiki>Comprueba(EstánAlineados(A, B, C))</nowiki></code>, da como resultado falso -''false''- dado que los tres puntos no son co-lineales en general y dejarán de serlo al cambiar sus posiciones.</div>}}
-GeoGebra emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es o no verdadera<sup>''true''</sup>:
+{{example| 1=<div>Sea un triángulo con vértices ''A'', ''B'' y ''C''. Se define <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>. En este caso, <code><nowiki>p∥q</nowiki></code> y <code><nowiki>Comprueba(p∥q)</nowiki></code> dan ambos como resultado verdadero -''true''-, dado que la base media será siempre paralela al lado correspondiente, aún si se modifica la posición de los vértices del triángulo.
-*en  general, los de cálculo numérico
+<ggb_applet width="525" height="366" version="5.0" id="40121" enableRightClick="false" showAlgebraInput="false" enableShiftDragZoom="false" showMenuBar="false" showToolBar="false" showToolBarHelp="true" enableLabelDrags="false" showResetIcon="false"/>
-*en particular, como para este comando y para [[Comando CompruebaDetalles|CompruebaDetalles]] por ejemplo, [http://pt.wikipedia.org/wiki/Matem%C3%A1tica_simb%C3%B3lica los de índole simbólica]
+</div>}}
-**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:
+{{Note|1=Ver también el comando [[Comando CompruebaDetalles| CompruebaDetalles]]; el artículo acerca de [[Valores Lógicos|Valores Lógicos  o ''Booleanos'']]
-*'''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''.}}
-{{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>EstánAlineados[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[EstánAlineados[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 de [[Herramienta de Relación|Relación]] 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>
-*<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>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>}}
-<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]]; el artículo destinado a [[Valores Lógicos|Valores Lógicos  o ''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 16:05 9 feb 2018

Comprueba

Categorías de Comandos (todos)