(logic) An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition

(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

(logic) propositional logic.

(logic) A variable that can either be true or false.

(philosophy) A relational mental state connecting a person to a proposition, such as believing that, desiring that, or hoping that.

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

plural of propositional function

(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 propositional logic

(logic) One of a set of letters or symbols which are assigned fixed truth values independently of any interpretation or valuation, and each of which qualifies as a prime formula of their language.