Linked from

The 58 pages that link to Proposition, each with the reason it gives.

• Truth tableNarrower topic: Each input column represents one proposition whose value varies by row.

• Deductive reasoningNarrower topic: Deductive arguments connect truth-apt premises to a truth-apt conclusion.

• Intuitionistic logicNarrower topic: Intuitionistic logic treats propositions as claims whose proofs provide evidence.

• Propositional logicNarrower topic: Propositional logic treats these truth-valued statements as its basic units.

• NegationNarrower topic: Negation takes a proposition as its input.

• Modus ponensNarrower topic: P and Q are propositions in the standard statement of the rule.

• PremiseNarrower topic: Premises express propositions, rather than being the reasoning that connects them.

• CounterexampleNarrower topic: A counterexample tests a proposition that makes a claim across cases.

• Logical connectiveNarrower topic: Connectives take propositions as inputs and form compound propositions.

• Proof by contradictionNarrower topic: A proof by contradiction starts with a definite proposition whose negation can be assumed.

• Truth valueNarrower topic: Truth values are assigned to propositions rather than to questions or commands.

• ContradictionNarrower topic: Contradiction is a relation between propositions or claims.

• KnowledgeNarrower topic: Accounts of knowledge commonly describe it as knowing that a proposition is true.

• ArgumentNarrower topic: Arguments connect propositions rather than merely arranging words or sentences.

• ConclusionNarrower topic: A conclusion expresses a proposition that premises are meant to support.

• EquationNarrower topic: An equation is a mathematical proposition whose truth depends on its values or variables.

• Logical implicationNarrower topic: Implication relates propositions rather than terms or questions.

• Modus tollensNarrower topic: P and Q stand for propositions whose truth values determine whether the inference applies.

• DisjunctionNarrower topic: Each component of a disjunction is a proposition.

• JustificationNarrower topic: A belief is justified with respect to the proposition it accepts.

• Reductio ad absurdumNarrower topic: A reductio begins with a proposition whose truth or falsity is at issue.

• Logical formNarrower topic: Logical forms represent propositions while abstracting from what makes them true.

• Material conditionalNarrower topic: The conditional connects propositions treated as truth-valued units.

• Disjunctive syllogismNarrower topic: Each disjunct in the syllogism is a proposition that may be true or false.

• Affirming the consequentNarrower topic: P and Q stand for propositions whose truth values determine whether the inference is valid.

• KnowledgeNarrower topic: Propositional knowledge concerns knowing that a particular claim is true.

• Disjunction eliminationNarrower topic: Each disjunct and the conclusion are propositions.

• Disjunction introductionNarrower topic: The rule begins with a proposition and preserves its truth in a larger formula.

• Circular reasoningNarrower topic: Circular arguments connect propositions so that a target claim returns among its own grounds.

• AcceptanceNarrower topic: Acceptance takes propositions, rather than objects or actions, as its usual contents.

• Axiom (general principle)Narrower topic: An axiom is a proposition granted a foundational role in reasoning.

• Biconditional introductionNarrower topic: The rule combines two propositions into a biconditional claim.

• Conjunction introductionNarrower topic: P and Q are propositions that the rule combines.

• Principle of bivalenceNarrower topic: Bivalence assigns exactly one of its two truth values to each proposition.

• Conjunction eliminationNarrower topic: The variables A and B stand for propositions to which the rule applies.

• Cox's theoremNarrower topic: The theorem assigns plausibility to propositions and their combinations.

• Consequentia mirabilisNarrower topic: The principle applies to a proposition and its negation, not directly to every sentence or argument.

• Epimenides paradoxNarrower topic: Separating the claim’s content from the act of asserting it prevents equivocation about what is being evaluated.

• If and only ifNarrower topic: Each side of an iff is a proposition whose truth is being linked.