Контрольная работа по математической логике: «сднф скнф предикаты машина тьюринга» заказ № 2138488

1. логический прием, при помощи которого устанавливается ложность или недоказанность выдвинутого положения
2. доказательство, при котором истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса
3. доказательство, при котором истинность выдвинутого тезиса непосредственно обосновывается аргументами
4. истинное суждение, с помощью которого обосновывается тезис

1. Это одна из форм научно-творческого познания и логического мышления, содержание которой составляет осознанное, зафиксированное противоречие между непознанной или необъясненной еще стороной объекта познания и уже имеющимся знанием
2. Это логическое рассуждение, в процессе которого обосновывается истинность или ложность какой-либо мысли с помощью других положений, проверенных наукой и конкретной практикой
3. Это вероятностное предположение о причине каких-либо явлений, достоверность которого при современном состоянии производства и науки не может быть проверена и доказана, но которое объясняет данные явления, без него необъяснимые
4. Это систематизированное исследовательское и незавершенное знание, истинность которого невозможно проверить эмпирически или она вовсе не рассматривается существенным признаком

1. частноотрицательное суждение
2. «Некоторые решения суда не являются обвинительными»
3. общеутвердительное суждение
4. частноутвердительное суждение
5. общеотрицательное суждение

1. Эффективность уменьшится
2. Эффективность повысится
3. Эффективность останется без изменений