[Список тем] [Вступление к этой теме] Страницы темы: [1] [2] [3]
При изучении логических операций высказывания рассматриваются при одной фиксированной ситуации. После фиксации ситуации все высказывания делятся на истинные и ложные (в этой ситуации), и мы имеем дело с двухэлементной булевой алгеброй {0, 1} В логике предикатов исследуется зависимость высказываний от ситуации. При этом фиксируется уже не одна единственная ситуация, а некоторое множество допустимых ситуаций. В каждой ситуации мы по-прежнему интересуемся лишь истинностью или ложностью высказывания.