logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right English
Language | Label | Description | Also known as |
---|---|---|---|
British English | No label defined |
No description defined |
Statements
Q211790 (Deleted Item)
0 references
Q942353 (Deleted Item)
0 references
Encyclopædia Universalis ID English
implication-philosophie
0 references
implication-logique
0 references
topic/material-implication
0 references
topic/implication
0 references
Q374182 (Deleted Item)
2181609
0 references
415251
0 references
2780695790
0 references
IEV number English
171-03-22
0 references
TeX string English
Q109490582 (Deleted Item)
p implies q
if p, then q
0 references
Implies
0 references
Q173183 (Deleted Item)
0 references
Material conditional
0 references
0 references
in defining formula English