Метод резолюций, позволяющий автоматически доказывать теоремы при наличии исходного набора аксиом, разработал…