Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
43
Добавлен:
08.06.2015
Размер:
3.23 Mб
Скачать

Дизъюнкция двух высказываний будет истина, если хотя бы одно из высказываний истина.

Таблица истинности:

А

B

A B

0

0

0

1

0

 

0

1

 

1

1

 

Дизъюнкция двух высказываний будет истина, если хотя бы одно из высказываний истина.

Таблица истинности:

А

B

A B

0

0

0

1

0

1

0

1

 

1

1

 

Дизъюнкция двух высказываний будет истина, если хотя бы одно из высказываний истина.

Таблица истинности:

А

B

A B

0

0

0

1

0

1

0

1

1

1

1

 

Дизъюнкция двух высказываний будет истина, если хотя бы одно из высказываний истина.

Таблица истинности:

А

B

A B

0

0

0

1

0

1

0

1

1

1

1

1

В естественном языке звучит как НЕ.

В алгебре логики обозначается как А (А).

В языках программирования обозначается

NOT.

Пусть есть высказывание А. Отрицание высказывания будет истина, если высказывание А ложь, и отрицание высказывания А

ложь, если высказывание А

истина.Таблица истинности:

А A 0 1

Пусть есть высказывание А. Отрицание высказывания будет истина, если высказывание А ложь, и отрицание высказывания А

Таблица истинности:

ложь, если высказывание А

истина.

А

A

 

0

0

 

1

 

Пусть есть высказывание А. Отрицание высказывания будет истина, если высказывание А ложь, и отрицание высказывания А ложь, если высказывание А истина.

Таблица истинности:

А

A

0

1

1

0

В естественном языке звучит как ЕСЛИ, ТО.

В алгебре логики обозначается как .

Импликация – это логическая операция, ложная тогда и только тогда, когда из истинной предпосылки

следует ложный вывод.

Таблица истинности:

А

B A B

0

0

1

0

0

1

1

1

Соседние файлы в папке Logika