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