material implication
Also 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
Article
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)