Пономарев И.Н. Введение в математическую логику и роды структур

§ 1.1. Булевы функции 11

Конъюнкция (логическое «И») принимает значение «истина»

только в том случае, когда истинны оба аргумента, и ложна во всех

остальных случаях.

Дизъюнкция (логическое «ИЛИ») истинна, когда истинным яв-

ляется хотя бы один аргумент, и ложна только если оба аргумента

ложны.

Импликация (логическое следование) соотносится с конструк-

цией «если. . . , то. . . », и её следует понимать так: