الصفحة الرئيسة
عشوائي
بالقرب من هنا
دخول
الإعدادات
تبرع
حول ويكيبيديا
إخلاء مسؤولية
بحث
قالب
:
رموز منطقية
اللغة
راقب
عدّل
ع
ن
ت
أبرز الرموز في المنطق
∧
or
&
و
∨
أو
¬
أو
~
ليس
→
يقتضي
⊃
يقتضي
,
مجموعة فائقة
≡
إذا وفقط إذا
|
اقتران سالب
∀
مكمم عام
[لغات أخرى]
∃
existential
quantification
⊤
طوطولوجيا
⊥
خاطئ
,
تناقض
⊢
تستلزم,
تثبت
⊨
تستلزم,
إذن
∴
إذن
∵
لأن