пользователей: 21204
предметов: 10449
вопросов: 177330
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ


7 Отрицание высказываний. Способы построения отрицания высказываний. Импликация высказываний. Примеры.:)

Отрицание высказываний есть логическая операция, результатом которой является сложное высказывание, истинность которого определяется в таблицы истинности.

А

Ā

0

1

1

0

Существует 2 варианта образования отрицаний:

1) с помощью частицы «не» (треугольник АВС равносторонний - треугольник АВС не равносторонний)

2) с помощью связки «не верно что…» (треугольник АВС равносторонний – неверно, что треугольник АВС равносторонний)

Св-ва:

 

 

Импликация (связь с условием)

Обозначается: → Þ

Импликация логических высказываний А и В есть логическая операция, результатом которой является сложное логическое высказывание, в котором простые связаны союзом «если…то», ложно только тогда, когда А – истина, а В –.ложь.

А

В

А→В

0

0

1

0

1

1

1

0

0

1

1

1

 

В высказывании А→В, высказывание А называется посылкой (условием), высказывание В – заключением.

Например: «Число 12 кратно 4, значит оно кратно 2»

А – «число 12 кратно 4» «1»

В – «число 12 кратно 2» «1»

1→1 = 1 (истина)

Св-во: А→В = ĀVВ

 


23.06.2014; 18:14
хиты: 2099
рейтинг:0
Точные науки
математика
алгебра
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2016. All Rights Reserved. помощь