(logic) A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").

plural of value proposition

(business, management) The benefit (such as profit or convenience) offered by an organisation's product or service.

(logic) A proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term). There are four types: "all S are P", "all S are not P", "some S are P", and "some S are not P".

plural of categorical proposition

side bet

Synonym of Pythagorean theorem (“theorem regarding the hypotenuse of a right triangle”)

plural of proposition player

(gambling) A house player in a casino.

(politics) A nation founded on certain creeds or ideals.