Суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом — отрицается (утверждается) о некоторой части этого множества