1) предложение; суждение; высказывание 2) задача; проблема
1) высказывание 2) предложение 3) логика суждение 4) математика теорема Например: this proposition holds — это утверждение справедливо
1) утверждение, высказывание, суждение под высказыванием в обычной логике понимается утверждение, относительно которого можно сказать, истинно оно или ложно, при этом оно не может быть и истинным, и ложным одновременно. Над высказываниями могут производиться логические операции 2) теорема 3) предложение, план, проект 4) глагол предлагать
1. имя существительное 1) а) предложение Например: to make / submit a proposition — сделать предложение business proposition — деловое предложение Синоним(ы): offer б) план, проект 2) а) заявление, утверждение б) суждение, высказывание 3) [математика] теорема 4) [логика, лингвистика] пропозиция, суждение 5) [используется в разговорной речи] а) дело, сделка; проблема Например: That's an awkward proposition. — Это дело не лёгкое. / Это трудная задачка. б) гнусное предложение (женщине) 2. глагол [используется в разговорной речи] 1) предлагать Например: He propositioned her to use his lodge for her party. — Он предложил ей воспользоваться своим летним коттеджем для её вечеринки. 2) делать гнусное предложение (женщине) Синоним(ы): solicit
I. noun 1. a. (1) something offered for consideration or acceptance; proposal (2) a request for sexual intercourse b. the point to be discussed or maintained in argument usually stated in sentence form near the outset c. a theorem or problem to be demonstrated or performed 2. a. an expression in language or signs of something that can be believed, doubted, or denied or is either true or false b. the objective meaning of a proposition 3. something of an indicated kind to be dealt with Example: the farm was never a paying proposition • propositional adjective II. transitive verb (-sitioned; propositioning) to make a proposal to; especially to suggest sexual intercourse to
A statement in propositional logic which may be either true or false. Each proposition is typically represented by a letter in a formula such as "p => q", meaning proposition p implies proposition q.