implikation

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

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