Znaky výrokovej logiky sú súčasťou Unicode. Potom je to už len na fonte, či ich podporuje.
Takže napr.:
negácia: ¬A
konjunkcia: A ∧ B
disjunkcia: A ∨ B
implikácia: A ⇒ B
ekvivalencia: A ⇔ B
Znaky výrokovej logiky sú súčasťou Unicode. Potom je to už len na fonte, či ich podporuje.
Takže napr.:
negácia: ¬A
konjunkcia: A ∧ B
disjunkcia: A ∨ B
implikácia: A ⇒ B
ekvivalencia: A ⇔ B