дизъюнкция
131ИСТИННОСТНАЯ ТАБЛИЦА — таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает истина , Л ложь ). Здесь А 1, ...,А п пропозициональные переменные, ( А 1 …
132ЛОГИЧЕСКАЯ ОПЕРАЦИЯ — способ построения сложного высказывания из данных высказываний, при к ром истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. Примерами Л. о. являются конъюнкция, дизъюнкция,… …
