وج (نماد)

از ویکی‌پدیا، دانشنامهٔ آزاد
وج (نماد)
در یونی‌کدU+2227 logical and (اچ‌تی‌ام‌ال: ∧ ∧)
وابسته
جستارهای وابستهU+2228 logical or (اچ‌تی‌ام‌ال: ∨ ∨)

وِج (به انگلیسی: Wedge) یا عنوان یک نماد است که در حساب گزاره‌ای برای نمایش عطف منطقی استفاده می‌شود.

در یونی‌کد از کدگذاری U+2227 logical and (اچ‌تی‌ام‌ال: ∧ ∧) برای این نماد استفاده شده است و در تک با استفاده از \wedge و \land ثبت می‌شود. نماد معکوس وج (∨) وِل نامیده می‌شود.

وج را نباید با کارِت (^) که ظاهر مشابهی دارد اشتباه کرد.

جستارهای وابسته[ویرایش]

رابط های منطقی
∧  or  &

وَ

یا

¬  or  ~

نقیض

شرطی مادی

شرطی مادی

زیر محموعه

↔  or  ≡

اگر و تنها اگر

|

خط شفر

سور عمومی

سور وجودی

درست

نادرست

استلزام

بنابرین