File:Venn1011.svg · Wikimedia Commons · See Wikimedia Commons
implikacja materialna
Sign in to saveAlso known as implication, material consequence, simply implication, implies, conditional, material conditional, if-then, logical implication
spójnik logiczny
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 · Polski
Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań (poprzednik implikacji) i (następnik implikacji) spójnikiem implikacji Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań. gdzie: 1 – prawda0 – fałsz.
Abstract from DBpedia / Wikipedia · CC BY-SA