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