Логические законы, формулирующиеся с использованием кванторов

Логические законы, формулирующиеся с использованием кванторов.

Квантор общности и существования является обобщением операций конъюнкций и дизъюнкций, между ними существует связь аналогичная законам Моргана.

Действительно в поле М нет элементов, обладающих свойствами Р(х), тогда и только тогда, когда все элементы из М не обладают этими свойствами.

И «не все элементы М обладают свойствами Р(х)» - тоже самое, что «существуют элементы М, не обладающие Р(х)»