Предложение (логика)

У этого термина существуют и другие значения, см. Предложение (значения).

Предложениелогике предикатов) — это корректно сформированная формула , которая не содержит свободных вхождений переменных (то есть вхождений, не находящихся в области действия каких-либо кванторов в ). Грубо говоря, предложение не должно содержать «параметров», могущих повлиять на значение истинности предложения в подразумеваемой «семантической структуре»: таким образом, в каждой такой структуре предложение имеет единственно возможное истинностное значение.

ПримерыПравить

Выражение

 

является предложением, т.к имеет фиксированную таблицу истинности. Для любого значения   можно определить истинность этого выражения,   — связанная переменная. Напротив, выражение

 

не является предложением, так как здесь   — свободная переменная. Для этого выражения нельзя построить таблицу истинности, так как на y не наложено никаких ограничений.

ЛитератураПравить