خانه
تصادفی
در نزدیکی
ورود
تنظیمات
کمک مالی
دربارهٔ ویکیپدیا
تکذیبنامهها
جستجو
الگو
:
نمادهای منطقی رایج
زبان
پیگیری
ویرایش
ن
ب
و
نمادهای منطقی رایج
وج (نماد)
or
امپرسند
عطف منطقی
ول (نماد)
فصل منطقی
نقیض
or
مدک
نقیض
فلش (نماد)
شرطی مادی
⊃
شرطی مادی
,
زیرمجموعه
≡
اگر و تنها اگر
خط شفر
خط شفر
∀
سور عمومی
سور وجودی
سور وجودی
⊤
true
,
همانگویی (منطق)
⊥
کذب
,
تناقض
⊢
entails,
proves
⊨
entails,
therefore
∴
استلزام
∵
because
درگاه Philosophy
درگاه Mathematics
توضیحات الگو
[
ایجاد
] [
پاکسازی
]
ویرایشگران میتوانند در صفحات تمرین
(
ایجاد
|
آینه
)
و آزمایشی
(
ایجاد
)
این الگو را آزمایش کنند.
لطفاً ردهها را به زیرصفحهٔ
/توضیحات
بیفزایید.
زیرصفحههای این الگو
.