Class: 'Sufficient condition'
http://cll.niimm.ksu.ru/ontologies/mathematics#E1938
Annotations (3)
-
comment "Суждение $P$ является достаточным условием суждения $X$, когда из (истинности) $P$ следует (истинность) $X$, то есть в случае истинности $P$ проверять $X$ уже не требуется." (ru)
-
label "Sufficient condition" (en)
-
label "Достаточное условие" (ru)
Superclasses (1)
Usage (1)
-
Class: 'Sufficient condition'