Построение вывода в математической логике — методы, принципы и примеры

Аналогия

Противоположение

Деление на случаи

Метод от противного

1. Все люди смертны (мажорная предпосылка)
2. Сократ — человек (минорная предпосылка)
3. Следовательно, Сократ смертен (заключение)

1. Наблюдение или сбор примеров
2. Формулирование предположения
3. Обобщение или формулирование общего правила
4. Проверка правила на новых примерах