File:Venn1011.svg · Wikimedia Commons · See Wikimedia Commons
implikation
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
In the Vinony graph
Within Vinony's link graph, implikation is referenced by 478 other articles, and connects out to semantic theory of truth, mathematical logic and Boolean algebra.
It sits within the topics Conditionals, Logical connectives and Logical consequence.
Its subject is documented across 44 Wikipedia language editions.
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
Article · Svenska
En implikation eller villkorssats är en sats på formen "om A så B", där A och B var för sig är satser. Implikationens första del ("villkoret") kallas antecedent och dess andra del ("slutsatsen") kallas konsekvent. En implikation kan vara materiell, tautolog, formell eller kontrafaktisk. * Materiell implikation: p → q är falsk om p är sann och q är falsk och sann i övriga fall. * Tautolog implikation: F → G är sann för alla värden på de i formlerna F och G ingående variablerna. * Formell implikation eller vardagsspråklig implikation: A → B, där ett visst kausalt eller formellt, ej väldefinierat, samband måste föreligga mellan försats och eftersats för att implikationen skall betraktas som meningsfull och sann. * Kontrafaktisk implikation: En sats av typen "om A vore - vilket A inte är - så vore B" eller "om A inte vore - vilket A är - så vore B".
Abstract from DBpedia / Wikipedia · CC BY-SA