. Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: Квайна, редукции, резолюций, аксиоматическим и методом естественного (натурального) вывода. 1.8… Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: Квайна, редукции, резолюций, аксиоматическим и методом естественного (натурального) вывода