તર્ક પ્રતીકો

તર્ક ચિહ્નો અને પ્રતીકો

તર્કશાસ્ત્ર ગણિત પ્રતીકો કોષ્ટક

પ્રતીક	પ્રતીક નામ	અર્થ / વ્યાખ્યા	ઉદાહરણ
⋅	અને	અને	x ⋅ y
^	કેરેટ / સરકમફ્લેક્સ	અને	x ^ y
અને	એમ્પરસેન્ડ	અને	x અને y
+	વત્તા	અથવા	x + y
∨	ઉલટી કેરેટ	અથવા	x ∨ y
\|	ઊભી રેખા	અથવા	x \| y
x '	એક અવતરણ	નથી - નકાર	x '
x	બાર	નથી - નકાર	x
¬	નથી	નથી - નકાર	¬ x
!	ઉદગાર ચિન્હ	નથી - નકાર	! x
⊕	વર્તુળાકાર વત્તા/ઓપ્લસ	વિશિષ્ટ અથવા - xor	x ⊕ y
~	ટિલ્ડ	નકાર	~ x
⇒	સૂચિત કરે છે
⇔	સમકક્ષ	જો અને માત્ર જો (iff)
↔	સમકક્ષ	જો અને માત્ર જો (iff)
∀	બધા માટે
∃	ત્યાં અસ્તિત્વ ધરાવે છે
∄	ત્યાં અસ્તિત્વમાં નથી
∴	તેથી
∵	કારણ કે / ત્યારથી