PERGURUAN TINGGI
JURNAL
PERGURUAN TINGGI
JURNAL
JURNAL
BIDANG ILMU
TAHUN TERBIT
KEYWORD - KATA KUNCI
Search Jurnal
قالب:رموز منطقية
ع
ن
ت
أبرز الرموز في المنطق
∧
or
&
و
∨
أو
¬
أو
~
ليس
→
يقتضي
⊃
يقتضي
,
مجموعة فائقة
≡
إذا وفقط إذا
|
اقتران سالب
∀
مكمم عام
[لغات أخرى]
∃
existential
quantification
⊤
طوطولوجيا
⊥
خاطئ
,
تناقض
⊢
تستلزم,
تثبت
⊨
تستلزم,
إذن
∴
إذن
∵
لأن