Symboly

Popis

Hmatová reprezentace
Braille

negace

negace

Začátek   5 2 5 6  Konec

konjunkce

konjunkce

Začátek   6 2 6  Konec

disjunkce

disjunkce

Začátek   5 3 5  Konec

implikace

implikace

Začátek   2 3 5 6 1 3 5  Konec

ekvivalence

ekvivalence

Začátek   2 4 6 2 3 5 6 1 3 5  Konec

ekvivalence

ekvivalence

Začátek   3 4 5 6 2 3 5 6  Konec

ekvivalence

vyplývání

Začátek   4 5 6 2 3 4 5  Konec

ekvivalence

dokazatelnost

Začátek   4 5 6 2 5  Konec

ekvivalence

univerzální kvantifikátor

Začátek   3 4 5 6 1 2 3 6  Konec

ekvivalence

existeční kvantifikátor

Začátek   3 4 5 6 1 3 4  Konec

ekvivalence

nutnost

Začátek   5 6 2 3  Konec

ekvivalence

možnost

Začátek   2 4 6 1 3 5  Konec