Словарь логики - "Р"

Главная - Словарь логики - буква Р
Содержит 15 слов

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Равенство — отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей ...	Равнозначность (равносильность, эквивалентность) - отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при ...
Равнообъемность - отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный спутник Земли» совпадают по своему объему, в ...	Разделительное Суждение - дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической ...
Разделительно-Категорическое Умозаключение -умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) ...	Разделительно-Условное Умозаключение см.: Дилемма. ...
Разрешающая Процедура см.: Разрешения проблема. ...	Разрешения Проблема или: Разрешимости проблема, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное ...
Разрешимая Теория — теория, для которой существует эффективная процедура алгоритм( позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо ...	Рациональность (от лат. ratio - разум) - относящееся к разуму, обоснованность разумом, доступное разумному пониманию, в противоположность иррациональности как ...
Рекурсивное Определение (от лат. recurso - возвращаюсь) — метод определения арифметической функции φ(у) или предиката Р(у) через область значений этой функции ...	Релевантная Импликация см.: Релевантная логика. ...
Релевантная Логика - одна из наиболее известных неклассических теорий логического следования. В названии «Р. л.» отражается стремление выделить и систематизировать только ...	Референт (от лат. refero — называть, обозначать) — объект, обозначаемый некоторым именем, то же, что и денотат. Напр., Р. выражения ...
Референция — отношение между обозначаемым и обозначающим, между предметом и его именем. Отношение Р. изучается теорией референции — разделом логической ...