Согласно закону тождества, всякая мысль в процессе одного рассуждения должна оставаться тождественной самой себе:
(*ответ*) да
нет
Соединительные суждения - сложные суждения, состоящие из нескольких простых, связанных логическим союзом "или":
(*ответ*) нет
да
Строгая дизъюнкция истинна тогда и только тогда, когда истинно только одно из простых суждений, входящих в сложное:
(*ответ*) да
нет
Суждение "Москва - столица России" - единичное:
(*ответ*) да
нет
Суждение "Некоторые S не есть Р" - общеутвердительное:
(*ответ*) нет
да
Суждение - форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами:
(*ответ*) да
нет
Эквивалентные суждения - сложные суждения, состоящие из двух простых, связанных двойной условной зависимостью:
(*ответ*) да
нет
Эпистемическая модальность - выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям:
(*ответ*) нет
да
((p * q * r) & ~ p & ~ r) ? _. (Укажите доказываемый тезис).
(*ответ*) q
Типами доказательств являются:
(*ответ*) прямые
(*ответ*) косвенные
непосредственные
опосредованные
правдоподобные
В процедуру косвенного доказательства включаются:
(*ответ*) выдвижение антитезиса
(*ответ*) выведение следствий из антитезиса
(*ответ*) установление ложности следствий
(*ответ*) заключение ложности антитезиса
приведение аргументов, из которых логически вытекает тезис
приведение аргументов, из которых логически вытекает истинность антитезиса
Косвенное доказательство иначе называется _ от противного
(*ответ*) доказательством
При прямом доказательстве задача заключается в том, чтобы найти убедительные аргументы, из которых логически вытекает
(*ответ*) тезис
_ гипотезы создаются для выяснения причин возникновения закономерностей у некоторого подмножества элементов данного подмножества.
(*ответ*) Частные
_ доказательство - это доказательство, записанное на специальном искусственном - формализованном - языке.
(*ответ*) Формализованное
_ подтверждение возможно лишь в случае утверждения о единичных объектах или их ограниченных совокупностях.
(*ответ*) Прямое
_ - суждение, противоречащее тезису.
(*ответ*) Антитезис
_ аргументации противостоит универсальная аргументация.
(*ответ*) Контекстуальной