Вопросы к Поиску с Алисой
В чем разница между логическими и высказывательными формами в программировании?
Разница между логическими и высказывательными формами в программировании заключается в следующем:
Логическое выражение — это запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). profbeckman.narod.ru В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0). profbeckman.narod.ru
Высказывательная форма — это повествовательное предложение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещаются своими значениями. profbeckman.narod.ru otvet.mail.ru
Таким образом, в логическом программировании конкретные инструкции не задаются, вместо этого используются логические аксиомы и правила вывода, с помощью которых формулируются сведения о задаче и предположения, достаточные для её решения. books.ifmo.ru
