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