File:Venn1011.svg · Wikimedia Commons · See Wikimedia Commons
implicazione logica
Sign in to saveAlso known as implication, material consequence, simply implication, implies, conditional, material conditional, if-then, logical implication
connettivo logico tra due asserzioni, solitamente indicato con una freccia verso destra
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 · Italiano
Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) e un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
semantic theory of truth
Entity
mathematical logic
Entity
Boolean algebra
Entity
binary operation
Entity
proposition
Entity
logical disjunction
Entity
first-order logic
Entity
formal system
Entity
recursive set
Entity
logical truth
Entity
semantics of logic
Entity
counterfactual conditional
Entity
structure
Entity
functional completeness
Entity
ground expression
Entity
diagram
Entity
Galileo Galilei
Entity
Q7186
Entity
logic
Entity
Bertrand Russell
Entity