File:Venn1011.svg · Wikimedia Commons · See Wikimedia Commons
論理包含
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
- Instance of
- Boolean function
- Subclass of
- proposition
- Image
- Venn1011.svg
Show 6 more facts
- maintained by WikiProject
- WikiProject Mathematics
- Unicode character
- ⟶
- different from
- material implication
- TeX string
- \longrightarrow
- studied by
- Boolean algebra
- Commons category
- Material conditional
Sources (3)
via Wikidata · CC0
Article · 日本語
論理包含（ろんりほうがん、含意（がんい）、内含、英: implication、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、英: conditional）とほぼ同じものである。論理的帰結（英: logical consequence）や伴意（英: entailment）とは異なる物である。 「論理的帰結」を参照 2つの命題 P と Q に対する論理包含を P → Q などと書き、「P ならば Q」と読む。命題 P → Q に対し、P をその前件、Q をその後件などと呼ぶ。
Abstract from DBpedia / Wikipedia · CC BY-SA