خانه
تصادفی
در نزدیکی
ورود
تنظیمات
کمک مالی
دربارهٔ ویکیپدیا
تکذیبنامهها
جستجو
الگو
:
ادات منطقی
زبان
پیگیری
ویرایش
ن
ب
و
رابطهای منطقی
همانگویی (منطق)
/
True
⊤
{\displaystyle \top }
خط شفر
(
دروازه نقیض و
)
↑
{\displaystyle \uparrow }
شرطی معکوس
←
{\displaystyle \leftarrow }
شرطی مادی
(
دروازه شرطی
)
→
{\displaystyle \rightarrow }
فصل منطقی
(
دروازه یا
)
∨
{\displaystyle \lor }
نقیض
(
دروازه وارونگر
)
¬
{\displaystyle \neg }
یای انحصاری
(
دروازه یای انحصاری
)
⊕
{\displaystyle \oplus }
دوشرطی منطقی
(
دروازه نقیض یای انحصاری
)
↔
{\displaystyle \leftrightarrow }
Statement
نقیض یا
(
دروازه نقیض یا
)
↓
{\displaystyle \downarrow }
نقیض شرطی
↛
{\displaystyle \nrightarrow }
Converse nonimplication
↚
{\displaystyle \nleftarrow }
عطف منطقی
(
دروازه و
)
∧
{\displaystyle \land }
تناقض
/
کذب
⊥
{\displaystyle \bot }
Logic portal