Material conditional
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
The material conditional (also known as "material implication", "material consequence", or simply "implication", "implies" or "conditional") is a logical connective (or a binary operator) that is often symbolized by a forward arrow "→".
[edit]
See also
- Boolean algebra
- Boolean domain
- Boolean function
- Boolean logic
- Conditional quantifier
- Implicational propositional calculus
- Laws of Form
- Logic gate
- Logical graph
- Paradoxes of material implication
- Peirce's law
- Propositional logic
- Sole sufficient operator
[edit]
Conditionals
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Material conditional" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.