Логіка висловлень - Історія редагувань

111 в 22:17, 18 лютого 2018

2018-02-18T22:17:58Z

111 в 09:34, 18 лютого 2018

2018-02-18T09:34:40Z

111 в 18:47, 15 лютого 2018

2018-02-15T18:47:10Z

111: Створена сторінка: '''Логіка висловлень''' є основою логіки, що стосується поняття та використання таких слі...

2018-02-15T18:46:47Z

Створена сторінка: '''Логіка висловлень''' є основою логіки, що стосується поняття та використання таких слі...

Нова сторінка

'''Логіка висловлень''' є основою логіки, що стосується поняття та використання таких слів, як і, або, якщо ..., то, ... тоді і тільки тоді, коли .... . На підставі відношень між висловлюваннями визначають значення істинності висловлювань. Отже, висловлювання може бути істинним або хибним. На базі класичної локіки висловлювань створюються нові логічні системи.

[[Файл:pic6.jpg|300px|thumb|right|Таблиця істинності для формул логіки висловлювань]]

{| class="mw-datatable"
|-
! Символ || Значення
|-
| ┐ || Знак заперечення
|-
| ∩ або & || Знак кон'юнкції
|-
| U || Знак диз'юнкції
|-
| → || Знак імплікації
|-
| ↔ або ≡ або ~|| Знак еквіваленції
|-
| | или ↑ || Штрих Шефера
|-
| ↓ || Стрілка Пірса
|}

← Попередня версія		Версія за 22:17, 18 лютого 2018
Рядок 22:		Рядок 22:
	\|}		\|}

−	'''Виконала Поліщук Дарія'''	+	'''Виконала [[Поліщук Дарія]]'''

← Попередня версія		Версія за 09:34, 18 лютого 2018
Рядок 21:		Рядок 21:
	\| ↓ \|\| Стрілка Пірса		\| ↓ \|\| Стрілка Пірса
	\|}		\|}
		+
		+	'''Виконала Поліщук Дарія'''

@@ Рядок 1: / Рядок 1: @@
 '''Логіка висловлень''' є основою логіки, що стосується поняття та використання таких слів, як і, або, якщо ..., то, ... тоді і тільки тоді, коли .... . На підставі відношень між висловлюваннями визначають значення істинності висловлювань. Отже, висловлювання може бути істинним або хибним. На базі класичної локіки висловлювань створюються нові логічні системи.
-[[Файл:pic6.jpg|300px|thumb|right|Таблиця істинності для формул логіки висловлювань]]
+[[Файл:pic6.jpg|500px|thumb|right|Таблиця істинності для формул логіки висловлювань]]
 {| class="mw-datatable"