Словарь
  • формат doc
  • размер 15,63 КБ
  • добавлен 14 января 2012 г.
Краткий словарь - Определения по логике
Более 70 шт определений. 2 стр.
Логика
Строг. диз-ия
modus ponendo tollens
modus ponens
modus tollendo ponens
Абстрагиров-е
Больш. терм.ПКС
Абстрак.пон-я
Алетич. мод-ть
Анализ
Аристотель
интерпрет-я аксиомы силлог-ма
Атрибутивная
Безотносит.пон-е
Абстрак. мышление
Восприятие
Деонтич. мод-ть
Деление пон-я
Демонстрат-е умозакл-я
Явные определ-я
Эпихейремы
Эпистемич. мод-ть
Энтимема
Эквиввал-я
Эквив. прост. сужд-е
Чисто услов. умозакл-я
Чисто раздел-е умозакл-я
Харак-ка
Фигуры силлог-ма
Услов.-разделит. умозакл-е
Услов.категор. умозакл-е
Универс. множ-ва
Умозакл-е
Умножение
Терм. не распред
Термин распред-н
Тафталогия
Средний терм. ПКС
Примеры определений:
Имплик-м - такое слож. сужд-е, кот-е будет ложн. тогда и только тогда, когда предш. сужд-е p (антецедент) будет истин-м, а послед-е сужд-е q (консеквент) ложным.
Индук. умозакл-е- есть умозакл-е, в кот-м закл-е о принад-ти к.-либо признака всем элем. множ-ва делается на основе знания о наличии этого призн. у нек-х элем. множ-ва.(от част. к общему)
Индуктивное определение (движ-е мысли от общего к частному)
Искусств-е языки– языки науки.
Истин-ть – логич. знач-е сужд-я.