Rökfræði tákn

Rökmerki og tákn

Tafla fyrir rökfræði stærðfræðitákn

Tákn	Tákn Nafn	Merking / skilgreining	Dæmi
⋅	og	og	x ⋅ y
^	caret / circumflex	og	x ^ y
&	ampersand	og	x & y
+	plús	eða	x + y
∨	öfugsnúið kert	eða	x ∨ y
\|	lóðrétt lína	eða	x \| y
x '	ein tilvitnun	ekki - neitun	x '
x	bar	ekki - neitun	x
¬	ekki	ekki - neitun	¬ x
!	upphrópunarmerki	ekki - neitun	! x
⊕	hringur plús / oplus	einkarétt eða - xor	x ⊕ y
~	tilde	afneitun	~ x
⇒	felur í sér
⇔	jafngildi	ef og aðeins ef (iff)
↔	jafngildi	ef og aðeins ef (iff)
∀	fyrir alla
∃	þar er til
∄	það er ekki til
∴	því
∵	því / síðan