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

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

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

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

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

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