Основные положения Базовые логические операции Логические основы компьютера

Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность Таблицы истинности Примеры

 

Конъюнкция (логическое умножение) - высказывание "А и В" - истинно, если истинны оба высказывания.

Пример 1. Определите истинность высказывания С = {дважды два равно четыре и дважды два не равно пять}.

Решение: пусть высказывание А = {дважды два равно четыре},а высказывание В ={дважды два не равно пять}. Высказывание А - истинно, высказывание В - истинно. Тогда высказывание С = А и В - истинно.

Пример 2. Определите истинность высказывания Р = {комар - насекомое и ласточка - комар}.

Решение: Пусть высказывание К = {комар - насекомое}, а высказывание Л = {ласточка - комар}. Высказывание К - истинное, высказывание Л - ложное. Тогда высказывание Р = К и Л - ложное.

Обозначение:

Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность Таблицы истинности Примеры

©Максимовская М.А., 2016 год, Москва