Логіка висловлень!!!
Матеріал з wiki
Onpage keywords chain search with * wildcard.
Example: sear* my nam* will find Searh my names and search my Name
Логіка висловлень є основою логіки, що стосується поняття та використання таких слів, як і, або, якщо ..., то, ... тоді і тільки тоді, коли .... . На підставі відношень між висловлюваннями визначають значення істинності висловлювань. Отже, висловлювання може бути істинним або хибним. На базі класичної локіки висловлювань створюються нові логічні системи.
| Символ | Значення |
|---|---|
| ┐ | Знак заперечення |
| ∩ або & | Знак кон'юнкції |
| U | Знак диз'юнкції |
| → | Знак імплікації |
| ↔ або ≡ або ~ | Знак еквіваленції |
| или ↑ | Штрих Шефера |
| ↓ | Стрілка Пірса |
Виконала Поліщук Дарія
Developed by Інститут Програмних Систем
