Пропозицын томьёо

Пропозицын логикт, пропозицын томьёо нь синтаксын хувьд зөв бүтэцтэй томьёоны нэг төрөл юм. Хэрэв пропозицын томьёонд орсон бүх хувьсагчийн утгууд өгөгдсөн байвал, энэ нь цорын ганц үнэн утгыг тодорхойлдог. Пропозицын томьёог мөн пропозицын илэрхийлэл, өгүүлбэр, эсвэл өгүүлбэрийн томьёо гэж нэрлэж болно. Пропозицын томьёо нь “тав нь гурваас их” гэх мэт энгийн пропозицууд, эсвэл p болон q гэх мэт пропозицын хувьсагчдыг, NOT, AND, OR, эсвэл IMPLIES гэх мэт холбоосууд эсвэл логик операторууд ашиглан бүтээдэг; жишээлбэл: (p AND NOT q) IMPLIES (p OR q)

Математикт, пропозицын томьёог ихэвчлэн товчлоод “пропозиц” гэж нэрлэдэг, гэвч илүү нарийн авч үзвэл, пропозицын томьёо нь пропозиц биш харин пропозицыг илэрхийлдэг албан ёсны илэрхийлэл юм — энэ нь хэлэлцэж буй албан ёсны объект бөгөөд яг л “x + y” гэдэг илэрхийлэл нь утга биш, харин утгыг илэрхийлдэгтэй адил юм. Зарим нөхцөлд энэ ялгааг хадгалах нь чухал байж болох юм.