Противоположность Логическая

- операция, позволяющая из данных суждений (высказываний) строить новые суждения (выс­казывания). В логике высказываний высказывания (формулы) рас­сматриваются лишь с точки зрения их истинности или ложности. Если A и В - к.-л. Формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. С. Могут строиться новые формулы. А &. В, AvB, A->. B, А = В, если А - формула, то ~А - также формула. Символы «&», «v», «->», «=», «~» выража­ют П. С., которые опр..

- функция, область значе­ний которой составляют высказывания, обладающие определенным  . Истинностным значением. По своей структуре П. Ф. Сходна с грамма­тическим предложением, но отличается от последнего наличием пе­ременных, которые пробегают какое-то множество объектов. П. Ф. Ставит в соответствие этим объектам высказывания. Примером П. Ф. Может служить выражение «х есть простое чис­ло». Имея форму грамматического предложения, оно не является высказыванием. О нем нельзя сказать, что оно и..

- вид непосредственно­го умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически. П. П. Представляет собой соединение превращения с обра­щением, поэтому при его выполнении следует сначала произвес­ти превращение посылки, а затем обратить получившееся суждение. Превращаем «S есть Р», получаем «S не есть не-Р», затем обращаем последнее суждение и приходим к выводу «не-Р не..

- два высказывания, из которых одно являет­ся отрицанием другого. Напр. «Латунь - химический элемент» и «Латунь не является химическим элементом», «2 - простое число» и «2 не является простым числом». В одном из противоречащих выс­казываний что-то утверждается, в другом это же самое отрицается, причем утверждение и отрицание касаются одного и того же объек­та, взятого в одно и то же время и рассматриваемого в одном и том же отношении. П. Является одним из центральных понятий логики. Поскольку сл..