В чем разница между логическими и высказывательными формами в программировании?

Разница между логическими и высказывательными формами в программировании заключается в следующем:

1. Логическое выражение — это запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). profbeckman.narod.ru В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0). profbeckman.narod.ru

2. Высказывательная форма — это повествовательное предложение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещаются своими значениями. profbeckman.narod.ru otvet.mail.ru

Таким образом, в логическом программировании конкретные инструкции не задаются, вместо этого используются логические аксиомы и правила вывода, с помощью которых формулируются сведения о задаче и предположения, достаточные для её решения. books.ifmo.ru

Пользователь

Время добавления