Противоречие

теорема, получающаяся путем замены условия и заключения данной исходной теоремы их отрицаниями. ..

класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в полученном исчислении будет выводима как формула j, так и формула . В. Н. Гришин.. ..

логический закон, утверждающий, что никакое высказывание не может быть истинным одновременно со своим отрицанием. В языке исчисления высказываний П. З. Выражается формулой Эта формула выводима как в классическом, так и в интуиционистском исчислении высказываний. В. Н. Гришин. . ..

- 1) Последовательность действий, выполняемая закономерно, согласно точному предписанию. алгоритм. 2) П.- особым образом оформленная программа, решающая задачу, частную по отношению к другой, более широкой задаче. Фундаментальная конструкция алгоритмических языков. П. Является главным средством преодоления сложности программирования путем систёматич. Разделения задачи на части. Различают два способа выделения П. При программировании. Нисходящий и восходящий. При нисходящем способе П. Возн..