1) логика предложение; суждение; высказывание
2) теорема
3) задача; проблема - compound proposition - contradictory propositions - contrary propositions - false proposition - logical proposition - particular proposition - simple proposition - singular proposition - tautologically true proposition - true proposition - universal proposition