Логіка класів

розділ математичної логіки, в якому елементарні висловлювання розглядаються з боку їхньої суб’єктно-предикативної структури