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