Логические операции над высказываниями

Высказывания

Элементы алгебры высказываний

Безопасность технологических процессов и производств. Расчеты

Учебное издание

Редакторы Т.С. Колоскова

Л.А. Ломакина

Набор Е.Ю. Досужая

Т.В. Моргунова

Е.Ю. Кириченко

Компьютерная верстка

Редактор Т.С. Колоскова

____________________________________________________

Подписано к печати г. Формат бумаги 60х84/16

Бумага офсетная Объем усл. п.л., 2,3 уч.-изд. л.

Заказ № ____ Тираж экз.

____________________________________________________

Редакционно-издательский отдел РГАСХМ ГОУ

344023, Ростов-на-Дону, ул. Страны Советов, 1

Отпечатано в копировально-множительном бюро РГАСХМ ГОУ

1. Высказыванием называется повествовательное предложение, о котором определенно можно сказать, истинно оно или ложно.

2. Два высказывания называются равносильными, если они одновременно либо истины, либо ложны.

3. Отрицанием высказывания a называется высказывание a ¢ (, ù a), которое является истинным, если a – ложное и ложным, если a – истинное.

a	a ¢

4. Конъюнкцией высказываний a и b называется высказывание a & b (a Ù b, a × b), которое истинно только тогда, когда a и b одновременно истины.

a	b	a & b

5. Дизъюнкцией высказываний a и b называется высказывание a Ú b (a + b), которое ложно только тогда, когда ложны оба высказывания.

a	b	a Ú b

6. Импликацией высказываний a и b называется высказывание a ® b (a => b), которое является ложным только тогда, когда a – истинно, а b – ложно.

a	b	a ® b

7. Эквиваленцией высказываний a и b называется высказывание a «b (a <=> b, a ~ b), которое является истинным только тогда, когда значения a и b совпадают.

a	b	a «b

Дата добавления: 2015-06-27