Пусть А – предложение «Допустим, число а делится на 3, В – предложение «Допустим, число а при делении на 3 дает остаток 1», С – предложение «Допустим, число а при делении на 3 дает остаток 2», F – предложение «а2 делится на 3 или остаток при числа а2 на 3 будет равен 1». Постройте схему доказательства. Ответ: Рассмотрим более подробную схему доказательства утверждения «Квадрат любого целого числа либо кратен 3, либо при делении на 3 дает остаток 1». Рассмотрим более подробную схему доказательства утверждения «Квадрат любого целого числа либо кратен 3, либо при делении на 3 дает остаток 1». Введем обозначения: А – предложение «Допустим, число а делится на 3», В – предложение «Допустим, число а при делении на 3 дает остаток 1», С – предложение «Допустим, число а при делении на 3 дает остаток 2», D – предложение «а2 делится на 3», Е – предложение «остаток при делении а2 на 3 равен 1». Какое предложение будет заключением косвенного рассуждения? Ответ: Постройте схему доказательства. Ответ: Какие правила доказательства были использованы? Ответ: правило введения дизъюнкции и правило доказательства разбором случаев (для трех случаев). 3. Метод доказательства приведением к нелепости Схема доказательства приведением к нелепости может быть записана следующим образом : Предложение ¬А является непосредственным следствием двух вспомогательных рассуждений и .
Достарыңызбен бөлісу: |
