File:Venn1011.svg · Wikimedia Commons · See Wikimedia Commons
logische implicatie
Sign in to saveAlso known as implication, material consequence, simply implication, implies, conditional, material conditional, if-then, logical implication
booleaanse operator
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 · Nederlands
De logische implicatie is in de logica een bewering die stelt dat als P waar is, Q ook waar is. Deze bewering is alleen onwaar als het antecedent P waar is en het consequent Q onwaar is. De waarheid van het geheel hangt alleen af van de waarheidswaarden van de samenstellende delen en niet van hun betekenis, wat soms tot tegenintuïtieve resultaten leidt. Om dit te benadrukken wordt de implicatie ook wel materiële implicatie genoemd. De implicatie wordt aangegeven met een pijl. "Als P dan Q" wordt bijvoorbeeld geschreven als P → Q. De samenstelling P → Q → R dient gelezen te worden als P → (Q → R). De waarheidstabel van de implicatie is als volgt: (T = True = waar, F = False = onwaar) Een logische implicatie is logisch equivalent aan . Dit wil zeggen dat beide formules dezelfde waarheidswaarde hebben voor alle mogelijke toekenningen van waar en onwaar aan P en Q.
Abstract from DBpedia / Wikipedia · CC BY-SA