tgoop.com/logic_metamathematics/994
Create:
Last Update:
Last Update:
Итак, следуя Аристотелю мы рассматриваем логику как науку о доказательстве.
Доказательство - это правильно построенная последовательность выражений.
Если в этих выражениях знаки обозначают только самих себя (используются автонимно), то такое доказательство называется формальным, если же эти выражения - высказывания, истинные или ложные на некоторой предметной области, то такое доказательство называется неформальным, или умозаключением.
Иными словами, выражения неформальное доказательство и умозаключение тождественны, то есть обозначают в точности одни и те же предметы. То есть:
Всякое неформальное доказательство есть умозаключение, и Всякое умозаключение есть неформальное доказательство.
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/994