Введения импликации правило -

2019-08-14

471

Обсуждений (0)

0.00 из 5.00 0 оценок

⇐ Предыдущая 12

правило, которое формулируется так: если конечная последовательность формул Г и высказывание А дает В, то в Г может быть принята импликация вида: если А, то В.

Введения конъюнкции правило -

правило, заключающееся в том, что к доказательству можно присоединить конъюнкцию, если в числе строк доказательства имеются оба ее члена.

Введения отрицания правило -

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

Введения эквивалентности правило -

правило, по которому к доказательству можно присоединить эквивалентность, если в доказательстве имеются импликации вида: если В, то В: если В, то А.

Верификация -

принцип установления осмысленности, т.е. возможности какого-либо высказывания оказаться истинным или ложным. Это логический смысл верификации. В общеметодологическом смысле это установление фактуальности, достоверности, правдоподобности.

Вероятностная логика -

логика, преследующая вероятностные суждения, базирующиеся не только на двух значения истинности (истина и ложь), но и на значениях, располагающихся между истинностью и ложью.

Вероятность -

степень возможности какого-либо определенного события.

Взаимно-однозначное отношение -

такое отношение, когда каждому значению y, входящему в формулу xRy, соответствует одно единственное значение x.

Взаимно-однозначное соответствие -

такое соответствие между элементами двух множеств, когда каждому элементу первого множества некоторым образом поставлен в соответствие один определенный элемент второго множества.

Взаимозаменимости принцип -

принятое в логической семантике положение, согласно которому возможна такая замена языкового выражения другим языковым выражением в данном контексте, что при этом логический смысл контекста не меняется.

Видовое отличие -

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

Видовое понятие -

понятие, которое отображает существенные признаки класса предметов, являющихся видом какого-либо рода.

Виртуальный -

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

Временная (темпоральная) логика -

одно из направлений современной модальной (неклассической) логики, применяющее логический аппарат для анализа корректности суждений, содержащих в себе модальности временной упорядоченности явлений, отношений и действий типа «раньше», «позднее», «одновременно» и т.д.

Всегда-истинные высказывания (тавтологии) -

высказывания, которые всегда принимают только значение «истина».

Всегда-ложные высказывания (логические противоречия) -

высказывания, принимающие только значение «ложь».

Вторая фигура простого категорического силлогизма -

фигура, в которой средний термин М в обеих посылках является субъектом. Вторая фигура имеет следующий вид: P – M S – M S – P

Вывод -

последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных высказываний (теорем). Последняя из формул данной последовательности, выведенная как непосредственное следствие предыдущих формул по одному из правил вывода, представляет собою доказуемую формулу.

Выводимости знак -

принятый в логике знак, обозначающий отношение выводимости последующего из предыдущего: А В – означает, что В выводится из А.

Выполнимая формула -

формула, которая при своем исчислении на выходе (в последнем действии) дает хотя бы одно значение «истина».

Высказывание -

термин в логике, которым обозначается логический смысл какого-либо простого повествовательного предложения естественного языка.

Генетический метод -

метод исследования какого либо предмета, основанный на анализе процесса его возникновения, становления, перехода от низших ступеней к высшим.

Генетическое доказательство -

вид доказательства, в котором используется генетический метод.

Генетическое определение -

определение, в котором указывается на происхождение предмета.

Герменевтика -

раздел эпистемологии и методологии науки, связанный с истолкованием текстов, их пониманием, смыслом.

Гипостазировать -

утверждать о существовании каких-либо объектов на том только основании, что существуют слова, обозначающие такие объекты.

Гипотаксис -

подчинение или зависимость чего-либо от другого.

Гипотеза -

вероятное предположение о причине какого-либо явления, достоверность чего еще не доказана ни наукой, ни практикой.

Гипотетико-дедуктивный метод -

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

Гистерезис -

отставание следствия от высказывающей его причины.

Глосса -

интерпретация непонятного или малоупотребительного словосочетания.

Глоссолалия -

бессмысленные слова или словосочетания.

Гомогенный -

однородный, состоящих из одних и тех же компонентов.

Гомоморфизм -

такое отношение между двумя совокупностями объектов, когда каждому объекту (а) первой совокупности становится в соответствие только один предмет (в) из второй совокупности.

Darapti -

условное обозначение одного из модусов третьей фигуры простого категорического силлогизма (aai), в котором из двух общеутвердительных посылок следует частноутвердительное заключение.

Darii -

условное обозначение одного из модусов первой фигуры простого категорического силлогизма (aii), в котором из общеутвердительной и частноутвердительной посылок следует частноутвердительное заключение.

Datisi -

условное обозначение одного из модусов третьей фигуры простого категорического силлогизма (aii), в котором из общеутвердительной и частноутвердительной посылок следует частноутвердительное заключение.

2019-08-14

471

Обсуждений (0)

0.00 из 5.00 0 оценок

⇐ Предыдущая 12

Обсуждение в статье: Введения импликации правило -

Обсуждений еще не было, будьте первым... ↓↓↓