|
|||
| search engine by freefind |
| ¬ | symbol negácie |
| ∧ | symbol konjunkcie |
| ∨ | symbol disjunkcie |
| → | symbol implikácie |
| ⇒ | symbol implikácie |
| ↔ | symbol ekvivalencie |
| ⇔ | symbol ekvivalencie |
| ∀ | symbol všeobecného kvantifikátora |
| ∃ | symbol existenčného kvantifikátora |
| \ | symbol vyplývania |
| ∴ | symbol logického vyplývania |