Symbolen voor logica

In de volgende tabel staan symbolen die worden gebruikt in de logica. In de tweede kolom staat telkens de tekstvariant voor braille.

SymboolTekst
en
of
¬¬
xof
-->
,:,
voor alle
er is een

 

Merk op dat ¬ (negatieteken) onveranderd wordt overgenomen. Dit teken kan niet met een standaardtoetsenbord worden ingevoerd. Er wordt nog gezocht naar een beter alternatief. 

15 juni 2016Tags: braille, wiskunde, symbolen