implicazione logica
Also 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
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