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