ول (نماد)

وِل (به لاتین: Vel) (به معنی یا) عنوان نماد است. این نماد ممکن است در حساب گزاره‌ای به معنای فصل منطقی است. برتراند راسل و آلفرد نورث وایت‌هد در مبادی ریاضیات از این نماد استفاده کرده‌اند که در آن این نماد را «جمع منطقی»[و 1] یا «تابع فاصل»[و 2] می‌نامد.

در یونی‌کد کدگذاری U+2228 logical or (اچ‌تی‌ام‌ال: ∨ ∨) برای این نماد برگزیده شده است و در تک با کمک \vee و \lor نوشته می‌شود. در مقابل ول، نماد وج (∧) برای عطف منطقی استفاده می‌شود.

جستارهای وابسته

واژه‌نامه

  1. Logical Sum
  2. Disjunctive Function

منابع

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.