Необходимое и достаточное условия: различия между версиями

Для множества М, все элементы которого обладают свойством свойством S, утверждение X типа «объект принадлежитмножеству M» необходимым будет утверждение P типа «Каждый элемент обладает свойством S». Другими словами необходимое условие P другими словами называется '''свойством''' элементов множества M. Однако из утверждения, что «элемент обладает свойством S» не следует утверждение, что «элемент принадлежит множеству М». Например для утверждения X: "Изделие из золота" необходимым условием будет утверждение P "изделие обладает блеском", обратное не верно: из того, что P "изделие обладает блеском", не следует X: "изделие из золота", но тем не менее, если ложно утверждение "изделие обладает леском" тоn будет ложно и утверждение "изделие из золотао"всеми наряду с другими утверждениями о принадлежности к множествам с блестящимиэлементами.