File:Venn1011.svg · Wikimedia Commons · See Wikimedia Commons
material implication
Sign in to saveAlso known as implication, material consequence, simply implication, implies, conditional, material conditional, if-then, logical implication
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
Key facts
- Definition
- x → y {\displaystyle x\to y}
- Truth table
- ( 1011 ) {\displaystyle (1011)}
- Disjunctive
- x ¯ + y {\displaystyle {\overline {x}}+y}
- Conjunctive
- x ¯ + y {\displaystyle {\overline {x}}+y}
- Zhegalkin polynomial
- 1 ⊕ x ⊕ x y {\displaystyle 1\oplus x\oplus xy}
- 0 preserving
- no
- 1 preserving
- yes
- Monotone
- no
- Affine
- no
- Self dual
- no
via Wikipedia infobox
Wikidata facts
- Image
- Venn1011.svg
Show 3 more facts
- Unicode character
- ⟶
- TeX string
- \longrightarrow
- Commons category
- Material conditional
Sources (3)
via Wikidata · CC0
~17 min read
Article
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)
Connections
semantic theory of truth
Entity
mathematical logic
Entity
Boolean algebra
Entity
binary operation
Entity
proposition
Entity
logical disjunction
Entity
first-order logic
Entity
formal system
Entity
recursive set
Entity
logical truth
Entity
semantics of logic
Entity
counterfactual conditional
Entity
structure
Entity
functional completeness
Entity
ground expression
Entity
diagram
Entity
Galileo Galilei
Entity
Q7186
Entity
logic
Entity
Bertrand Russell
Entity