Stránka se načítá

Prosím, buďte trpěliví. Vytvářejí se obrázky ve Vámi zvolené barevné kombinaci. Jelikož byla tato kombinace vybrána poprvé, musí se pro každou stranu, která nebyla s tímto nastavením barev ještě otevřena, vygenerovat nové obrázky. Celý proces by měl trvat méně než minutu.

Průběh načítání: dosud zpracováno 0 obrázků.

Pokud nemáte povolený javascript nebo kaskádové styly, po načtení této stránky můžete použít funkci Obnovit (F5), aby toto okno zmizelo.

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