Символічною формою математичної логіки є, '~' для заперечення '^' для кон'юнкції та ' v ' для диз'юнкції. У цій статті ми обговоримо основні математичні логіки з
і приклади.
Основні логічні символи
| символ | Значення Unicode (шістнадцяткове) | Логічне ім'я |
|---|---|---|
| ∧ · & | U+2227 U+00B7 U+0026 | логічний сполучник |
| ∨ + ∥ | U+2228 U+002B U+2225 | логічна (інклюзивна) диз'юнкція |
| ⊕ ⊻ ↮ ≢ | U+2295 U+22BB U+21AE U+2262 | виняткова диз'юнкція |
| ⊤ T 1 | U+22A4 | правда (тавтологія) |
Логічні сполучники: Заперечення: ¬, ~ : ні. Сполучення: ∧, &: і.
P і Q P ∧ Q означає P і Q. P ∨ Q означає P або Q. Аргумент дійсний, якщо виконується така умова: якщо всі передумови істинні, висновок має бути істинним.');})();(function(){window.jsl.dh( 'rwHjZpDpBuDNp84PsvHgkAI__36','
Загальні сполучники включають заперечення, диз'юнкція, кон'юнкція, імплікація та еквівалентність.
Символічна логіка є галузь логіки, яка допомагає нам міркувати за допомогою формальної мови, що складається з абстрактних символів. Використання символічної нотації дає нам точний і ефективний метод міркувати через набір передумов, щоб дійти висновку.