Предложение

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

Полный текст статьи:

Предложение — Википедия