logic - the branch of philosophy that analyzes inference

statement - a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc; "according to his statement he was in London on that day"

negation - (logic) a proposition that is true if and only if another proposition is false

converse - a proposition obtained by conversion

lemma - a subsidiary proposition that is assumed to be true in order to prove another proposition

term - one of the substantive phrases in a logical proposition; "the major term of a syllogism must occur twice"

theorem - a proposition deducible from basic postulates

ratiocination, conclusion - the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)

posit, postulate - (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning

axiom - (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident

proposal - something proposed (such as a plan or assumption)

hint, intimation, breath - an indirect suggestion; "not a breath of scandal ever touched her"

touch, trace, ghost - a suggestion of some quality; "there was a touch of sarcasm in his tone"; "he detected a ghost of a smile on her face"

feeler, overture, advance, approach - a tentative suggestion designed to elicit the reactions of others; "she rejected his advances"

offering, offer - something offered (as a proposal or bid); "noteworthy new offerings for investors included several index funds"

speech act - the use of language to perform some act

presentation - the act of presenting a proposal

project, task, undertaking, labor - any piece of work that is undertaken or attempted; "he prepared for great undertakings"

propose, suggest, advise - make a proposal, declare a plan for something