261. Система правил, позволяющая преобразовывать исходные постулаты корректным образом, формулируется благодаря методу
• аксиоматическому
262. Доказательство: «Позвольте мне вам заметить, что это предубеждение. Я полагаю даже, что курить табак здоровее, нежели нюхать табак. В нашем полку был поручик, прекраснейший и образованнейший человек, который не выпускал изо рта трубки не только за столом, но даже с позволения сказать, во всех прочих местах. И вот теперь ему уже сорок с лишним лет, но благодаря бога, до сих пор так здоров, как нельзя лучше» (Гоголь Н.В. «Мертвые души») является:
• косвенным «методом от противного»
263. Применение методов формализации и математических методов в изучении умозаключений, суждений, понятий, операций над ними послужило причиной появления:
• классической логики
264. Рассуждение: «Если, и только если, суд признал, что N совершил преступление, то N — преступник N — преступник. Значит, суд признал, что он совершил преступление» является:
• правильным модусом от утверждения следствия к утверждению основания, поскольку первая посылка является суждением эквивалентности
265. Различают описательные выражения и три категории логических знаков. Языковое выражение или» относится к:
• связкам, образующим сложное суждение из простого
«