Відмінності між версіями «Логіка висловлень»!!!
Матеріал з wiki
Onpage keywords chain search with * wildcard.
Example: sear* my nam* will find Searh my names and search my Name
111 (обговорення • внесок) (Створена сторінка: '''Логіка висловлень''' є основою логіки, що стосується поняття та використання таких слі...) |
111 (обговорення • внесок) |
||
| Рядок 1: | Рядок 1: | ||
'''Логіка висловлень''' є основою логіки, що стосується поняття та використання таких слів, як і, або, якщо ..., то, ... тоді і тільки тоді, коли .... . На підставі відношень між висловлюваннями визначають значення істинності висловлювань. Отже, висловлювання може бути істинним або хибним. На базі класичної локіки висловлювань створюються нові логічні системи. | '''Логіка висловлень''' є основою логіки, що стосується поняття та використання таких слів, як і, або, якщо ..., то, ... тоді і тільки тоді, коли .... . На підставі відношень між висловлюваннями визначають значення істинності висловлювань. Отже, висловлювання може бути істинним або хибним. На базі класичної локіки висловлювань створюються нові логічні системи. | ||
| − | [[Файл:pic6.jpg| | + | [[Файл:pic6.jpg|500px|thumb|right|Таблиця істинності для формул логіки висловлювань]] |
{| class="mw-datatable" | {| class="mw-datatable" | ||
Версія за 21:47, 15 лютого 2018
Логіка висловлень є основою логіки, що стосується поняття та використання таких слів, як і, або, якщо ..., то, ... тоді і тільки тоді, коли .... . На підставі відношень між висловлюваннями визначають значення істинності висловлювань. Отже, висловлювання може бути істинним або хибним. На базі класичної локіки висловлювань створюються нові логічні системи.
| Символ | Значення |
|---|---|
| ┐ | Знак заперечення |
| ∩ або & | Знак кон'юнкції |
| U | Знак диз'юнкції |
| → | Знак імплікації |
| ↔ або ≡ або ~ | Знак еквіваленції |
| или ↑ | Штрих Шефера |
| ↓ | Стрілка Пірса |
