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