Valeurs booléennes

Vous pouvez utiliser les valeurs booléennes true et false dans GeoGebra. Tapez simplement, par exemple, a = true ou b = false dans le champ de Saisie et pressez la touche Entrée.

Cases à cocher et Touches flèches/espace

Les valeurs booléennes libres peuvent être affichées par des cases à cocher dans Graphique (voir l'outil BoîteSélection).
En utilisant les touches flèche ou la touche "espace" de votre clavier, vous pouvez aussi changer vos valeurs booléennes dans Algèbre (voir section Animation manuelle).

Note : Vous pouvez utiliser les valeurs booléennes comme des nombres de valeur 0 ou 1. Ceci vous permet d'utiliser une case à cocher comme vitesse dynamique d'un curseur animé, vous permettant ainsi de démarrer ou arrêter l'animation. Dans ce cas le bouton d'animation n'est affiché dans Graphique que s'il existe aussi un autre curseur dont la vitesse d'animation n'est pas dynamique.

Opérations

Vous pouvez utiliser les opérations suivantes pour les valeurs booléennes et l'écriture de conditions dans GeoGebra en les sélectionnant dans la table de symboles qui s'ouvre lorsque l'on clique sur le \fbox{α} à droite dans le champ de Saisie ou en les entrant au clavier :

Note : Intégrer le symbole ≟ dans un texte LaTeX par \stackrel{?}{=}, ou la macro \questeq.

Opérations	Table	Clavier	Exemple	Types d'objets
Égal	≟	==	a ≟ b ou a == b	nombres, points, lignes, coniques a, b
Différent	≠	!=	a ≠ b ou a != b	nombres, points, lignes, coniques a, b
Plus petit que	<	<	a < b	nombres a, b
Plus grand que	>	>	a > b	nombres a, b
Plus petit ou égal à	≤	<=	a ≤ b ou a <= b	nombres a, b
Plus grand ou égal à	≥	>=	a ≥ b ou a >= b	nombres a, b
Et	∧	&&	a ∧ b ou a && b	booléens a, b
Ou	∨	| |	a ∨ b ou a || b	booléens a, b
Non	¬	!	¬a ou !a	booléen a
Ou exclusif		Alt+	a ⊕ b	booléens a, b
Implication	→	->	a -> b	booléens a et b, c:a -> b toujours true sauf dans le cas a=true et b=false
Parallèles	∥		a ∥ b	lignes a, b
Perpendiculaires	⊥		a ⊥ b	lignes a, b
Appartient à	∈		a ∈ liste1	objet a, liste liste1
contenu dans	⊆		liste1 ⊆ liste2	listes liste1 et liste2
strictement contenu dans	⊂		liste1 ⊂ liste2	listes liste1 et liste2