Argument

Independence of premise

Overview

mathematical principle largely used in proof theory and constructive Mathematics

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Truth value
• Intuitionistic logic
• Law of excluded middle
• Propositional logic
• Proof theory
• Constructivism (philosophy of mathematics)
• Natural number
• Domain of discourse
• Classical logic
• Principle of explosion
• Intermediate logic
• Heyting arithmetic
• Disjunction and existence properties
• Brouwer–Heyting–Kolmogorov interpretation
• Consequentia mirabilis

Place in the tradition

Part of Intermediate logic.

Explore Independence of premise in the interactive graph →