Философское понятие пропозиции — это смысл утвердительного предложения, нелингвистический носитель истинности или ложности, делающий каждое предложение, выражающее пропозицию, истинным либо ложным. 1 В философии «смысл» понимается как нелингвистический объект, выражаемый всеми предложениями с одинаковым смыслом. 1

Математическое понятие пропозиции — это утверждение, которое можно чётко определить как истинное или ложное. 2 В математике речь идёт не о конкретных предметах, их признаках и отношениях, а о произвольных предметах и их возможных свойствах и отношениях. 6 В этом случае предметы, свойства и отношения представлены переменными, а основным признаком математической истины считается оперирование переменными и логическими константами. 6