Material conditional
Logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
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.
Nº Q7881229 ★★★
Rare · Knowledge
Material conditional
Logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
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.
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
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. Material implication is used in all the basic systems of classical logic as well as some nonclassical logics. It is assumed as a model of correct conditional reasoning within mathematics and serves as the basis for commands in many programming languages. However, many logics replace material implication with other operators such as the strict conditional and the variably strict conditional. Due to the paradoxes of material implication and related problems, material implication is not generally considered a viable analysis of conditional sentences in natural language.
Text: Wikipédia, CC BY-SA 4.0. · Image: Wikimedia Commons (Public domain) ·
Related cards
-
Logical conjunction
Logical connective AND
Nº Q191081 ★★★
Not listed
-
If and only if
Logical connective
Nº Q949972 ★★★
Not listed
-
S
Sequent
Conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true
Nº Q843632 ★
Not listed
-
c
cogency
Nº Q6315855 ★
Not listed
-
C
Converse (logic)
Reverse of a categorical or hypothetical proposition
Nº Q1375963 ★★
Not listed
-
Conjunction fallacy
Formal fallacy that occurs when it is assumed that specific conditions are more probable than a single general one
Nº Q2745415 ★
Not listed