The material conditional (also known as material implication) is a binary operation commonly used in logic. When the conditional symbol → {\displaystyle \to } is interpreted as material implication, a formula P → Q {\displaystyle P\to Q} is true unless P {\displaystyle P} is true and Q {\displaystyle Q} is false.
The material conditional (also known as material implication) is a binary operation commonly used in logic. When the conditional symbol → {\displaystyle \to } is interpreted as material implication, a formula P → Q {\displaystyle P\to Q} is true unless P {\displaystyle P} is true and Q {\displaystyle Q} is false.
Source: Wikipedia "Material conditional" · CC BY-SA 4.0
Share this article: X · Bluesky