Logische symbolen
Tsja, hoe geef je nu die logische symbolen weer? Dat kun je vinden in de tabellen op deze pagina. Zoals je misschien al gemerkt hebt, zijn de meeste symbolen links naar hun betekenis, makkelijk als je even de waarheidstafel wilt naslaan bijvoorbeeld!
Hier zie je een lijst van logische connectiva en hoe je die in een pagina kunt opnemen. Let op, gebruik is hoofdlettergevoelig.
Symbool | Schrijfwijze | Betekenis |
---|---|---|
¬ | {_not_} | Negatie |
& | {_and_} | Conjunctie |
∨ | {_or_} | inclusieve Disjunctie |
∨ | {_xor_} | exclusieve Disjunctie |
→ | {_impl_} | Implicatie |
↔ | {_iff_} | Equivalentie |
Vervangings- en afleidingsregels:
|
|
Symbool | Schrijfwijze | Betekenis |
---|---|---|
KN | {_KN_} | Kwantificatie Negatie |
UC | {_UC_} | Universele Concretisering |
EC | {_EC_} | Existentiele Concretisering |
UG | {_UG_} | Universele Generalisatie |
EG | {_EG_} | Existentiele Generalisatie |
En overige logische symbolen:
Symbool | Schrijfwijze | Betekenis |
---|---|---|
W | {_W_} | Waar |
O | {_O_} | Onwaar |
≡ | {_iseq_} | Equivalentie |
|- | {_consa_} | Syntactische consequentie |
|= | {_consa_} | Semantische consequentie |
=δf | {_isdef_} | Is per definitie |
≠ | ≠ | Is niet gelijk aan |
∀ | {_qun_} | Universele quantor |
∃ | {_qex_} | Existentiele quantor |
Δ | {_QED_} | "En dit diende bewezen te worden", einde bewijs. |
{_contra_} | Contradictie |