Пропозициональная Функция

См. Предикат.. ..

См. Предикат.. ..

функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. Языка. Если W - множество истинностных значений формул данного языка, то П. Ф.- это любое отображение вида . Этими функциями интерпретируются пропозициональные связки, позволяющие образовывать из предложений .или формул новые предложения или формулы. При классической двузначной интерпретации множества истинностных значений, т. Е. Когда W={..

(от греч. Problema — преграда, трудность, задача) — вопрос или целостный комплекс вопросов, возникший в ходе по­знания. Не каждая П., однако, сразу же приобретает вид явного вопроса, так же как не всякое исследование начинается с выдви­жения П. И кончается ее решением. Иногда П. Формулируется одно­временно с ее решением, случается даже, что она осознается только через некоторое время после ее решения. Зачастую поиск П. Сам вырастает в особую П. В широком смысле проблемная ситуация — это всякая с..

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

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

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