Diferencia entre revisiones de «Comando Comprueba»

De GeoGebra Manual
Saltar a: navegación, buscar
(Change translation of AreColinera command "SonColineales" by "EstánAlineados")
(Unificación de versiones de traducción)
 
(No se muestran 4 ediciones intermedias de 3 usuarios)
Línea 1: Línea 1:
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{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>
+
#REDIRECT[[Comando Demuestra]]
{{GGb5u|1=<div>
 
;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>}}
 
======Métodos de Verificación======
 
GeoGebra emplea varios métodos para decidir si una [[Valores Lógicos|expresión ''booleana'']] es o no verdadera<sup>''true''</sup>:
 
*en  general, los de cálculo numérico
 
*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]
 
**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
 
*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].}}
 

Revisión actual del 14:42 15 feb 2018

© 2022 International GeoGebra Institute