Wartości boolowskie (logiczne)

W GeoGebrze możesz używać zmiennych boolowskich true (prawda) i false (fałsz). Wystarczy wpisać np. a = true lub b = false w polu wprowadzania i nacisnąć klawisz Enter key. Dzięki zmiennym boolowskim można np. określić warunkową widoczność obiektu.

Pole wyboru i klawisze strzałek

swobodne zmienne boolowskie mogą być wyświetlane jako pola wyboru Menu view graphics.svg Widoku Grafikie (zobacz narzędzie Mode showcheckbox.svgPole wyboru). Po wybraniu zmiennej boolowskiej w Menu view algebra.svg Widoku Algebry można zmieniać jej wartość za pomocą klawiszy strzałek (zobacz Animacja ręczna).

Możesz również używać zmiennych boolowskich jak liczb (o wartościach 0 lub 1). Pozwala to np. używać pola wyboru jako dynamicznego sterowania prędkością animowanego suwaka, umożliwiając w ten sposób uruchamianie i zatrzymywanie animacji. W takim przypadku przycisk animacji pojawia się w Menu view graphics.svg Widoku Grafiki tylko wtedy, gdy istnieje suwak animowany ze statyczną (tj. niezmienną) prędkością.

Operatory

Można stosować następujące operatory logiczne i warunki, wybierając je z klawiatury ekranowej lub wpisując z klawiatury:

Operator Symbol Klawiatura Przykład Typy obiektów

Równość

==

a ≟ b lub a == b

liczby, punkty, proste, stożkowe, funkcje (potrzebny CAS), płaszczyzny a, b

Nierówność

!=

a ≠ b lub a != b

liczby, punkty, proste, stożkowe, funkcje (potrzebny CAS), płaszczyzny a, b

Mniejsze niż

<

a < b

liczby a, b

Większe niż

>

a > b

liczby a, b

Mniejsze lub równe

a ≤ b or a ⇐ b

liczby a, b

Większe lub równe

>=

a ≥ b or a >= b

liczby a, b

I (koniunkcja)

&&

a ∧ b or a && b

zmienne boolowskie a, b

LUB (alternatywa)

||

a ∨ b or a || b

zmienne boolowskie a, b

NIE (negacja)

¬

!

¬a or !a

zmienna boolowska a

XOR (alternatywa wykluczająca)

Alt+

a ⊕ b

zmienne boolowskie a, b

Implikacja

a → b

zmienne boolowskie a, b

Równoległość

a ∥ b

proste a, b

Prostopadłość

a ⊥ b

proste a, b

Należy do

a ∈ lista1

liczba a, lista liczb lista1

Podzbiór

lista1 ⊆ lista2

listy lista1 i lista2

Podzbiór właściwy

lista1 ⊂ lista2

listy lista1 i lista2