Booleovské hodnoty

V programu GeoGebra můžete používat booleovské proměnné true a false. Stačí napsat například a = true nebo b = false do vstupního pole a stisknout klávesu Enter. U logických proměnných můžete např. definovat podmíněnou viditelnost objektu.

Zaškrtávací políčko (check box)

Volné booleovské proměnné je možné použít jako zaškrtávací políčka v Menu view graphics.svg Nákresně (viz nástroj Mode showcheckbox.svgZaškrtávací políčko).

Hodnoty booleovských proměnných můžeme měnit šipkami z klávesnice. Nejprve vyberte booleovskou proměnnou v Menu view algebra.svg algebraickém okně a potom použijte šipky pro změnu hodnoty proměnné (viz Animace).

Booleovskou proměnnou můžete zadat i jako čísla (hodnota 0 nebo 1). Díky tomuto zadání lze použít zaškrtávací políčko jako dynamickou rychlost animovaného posuvníku, který spustí a zastavit animaci. V tomto případě se tlačítko animace zobrazí pouze v Menu view graphics.svg Nákresně, pokud je zde i animovaný posuvník se statickou (tj. nedynamickou) rychlostí.

Operace

Pro logické proměnné a podmínky můžete v programu GeoGebra použít následující operace, a to buď výběrem z nabídky. ze seznamu vedle vstupního panelu nebo je zadáte pomocí klávesnice:

Operace Symbol Klávesnice Příklad Typ objektu

Rovnost

==

a ≟ b or a == b

čísla, body, přímky, kuželosečky, funkce (CAS), roviny

Nerovnost

!=

a ≠ b or a != b

body, přímky, kuželosečky, funkce (CAS), roviny

Menší než

<

a < b

čísla a, b

Věší než

>

a > b

čísla a, b

Menší nebo rovno

a ≤ b or a ⇐ b

čísla a, b

Větší nebo rovno

>=

a ≥ b or a >= b

čísla a, b

AND

&&

a ∧ b or a && b

booleovské proměnné a, b

OR

||

a ∨ b or a || b

booleovské proměnné a, b

Not

¬

!

¬a or !a

booleovská proměnná a

Exclusive or

Alt+

a ⊕ b

booleovské proměnné a, b

Implikace

a → b

booleovské proměnné a, b

Rovnoběžnost

a ∥ b

přímky a, b

Kolmost

a ⊥ b

přímky a, b

Náležet

a ∈ list1

číslo a, seznam čísel list1

Podmnožina

list1 ⊆ list2

seznamy list1 a list2

Vlastní podmnožina

list1 ⊂ list2

seznamy list1 a list2