Tradicionālā loģika

Propozīcija ir tāda veida izteikums, kas vienmēr ir vai nu patiess, vai aplams (apgalvojuma/ nolieguma formas izteikums). Piemēram, Ārā līst; Jānis pīpē turku cigaretes; Ilgi neesat sisti;
Propozīcijas nav pavēles, jautājumi, pamudinājumi, dažādi vārdu savārstījumi, nenoformēti teikumi, pārnestā vai nenoteiktā nozīmē lietoti teikumi, izteikumu formas. Piemēram, Latgale ir zilo ezeru zeme; Ir varianti!!!; Ārā snieg?
Teikumi un propozīcijas ir dažādas lietas:
*Teikumi (vai izteikumi) var atšķirties, taču tie var ietvert vienu un to pašu propozīciju.
*Teikums (izteikums) vienmēr ir kādā noteikta valodā, bet propozīcija nav piesaistīta nevienai no valodām;
*Vienā un tajā pašā valodā vienu propozīciju var izteikt dažādos veidos (ar burtiem, cipariem utt.).
*Vienu un to pašu teikumu var izteikt kā tādu, kas ietver propozīciju, gan kā tādu, kas propozīciju neietver. Piemēram, Ārā snieg. vai Ārā snieg?…