ТОНКМ / простейшие схемы рассуждений

Билет 8

Основой мат.доказательств являются рассуждения или умозаключения. Умозаключения- способ получения нового знания на основе уже имеющихся. Выделяют посылку(выражние,содержащие исходные знания), заключение(выражения,содержащиеновые знания). Виды: Дедуктивные и индуктивные.

Правило заключения: А(х) В(х)- общая посылка, А(а)- частная посылка при х=а, в(а)= заключение при х=а

Правило отрицания:

Правило сигмолизма: