Словарь логики - дизъюнкция

Из суждений «Он совершил преступление», «Он не совершал преступления» с помощью «или» можно получить новое суждение «Он совершил преступление или он не совершал преступления» (2). Суждение (1) истинно в трех случаях: 1) когда какой-то человек оказывает­ся способным, но не прилежным; 2) когда этот человек оказыва­ется прилежным, но не способным; 3) когда установлено, что этот человек и способен, и прилежен.

Оно является ложным, ког­да оказалось, что этот человек не является ни способным, ни прилежным. Суждения типа (1) в логике называют соединительно-разделительными. Суждение же (2) истинно лишь только в том случае, когда имеет место или только первая ситуация («Он со­вершил преступление»), или только вторая ситуация («Он не со­вершал преступления»).