ЛОГИКА полностью

Существует рассказ, хорошо иллюстрирующий это положение. Одному путешественнику, посетившему приморский город и осматривавшему тамошний собор, показали длинный список лиц, пожертвовавших по обету подарки и вклады в собор в благодарность богу за своё спасение во время кораблекрушения. Путешественник спросил: а где списки тех, которые также дали обет о таком же пожертвовании, но, несмотря на обет, погибли. Путешественник этот правильно вскрыл основную ошибку индуктивного вывода, допущенную в этом случае: игнорирование фактов, противоречащих обобщению.

Определите логический тип приводимых ниже доказательств. Если в этих доказательствах имеются логические ошибки, укажите, какие именно.

1) Теорема. Если в △АВС углы АВС и АСВ равны, то и стороны АС и АВ, противолежащие этим углам, равны.

Рис. 70

Доказательство. Предположим, что стороны АС и АВ не равны. Тогда одна из них, например АВ, будет больше. Отложим на большей стороне АВ, от точки В, отрезок BD = АС и соединим С с D. В △ АВС и △ DCB

BD = AC, ВС есть сторона общая и ∠DВС = ∠АСВ. Следовательно, △ DBС и △ AВС, как имеющие по равному углу, заключённому между равными сторонами, равны между собой. Но DВС есть часть АСВ. Таким образом, выходит, что часть равняется своему целому. Но это невозможно, так как противоречит аксиоме, что целое больше своей части. Из этого следует, что АС и АВ не могут быть неравными. Следовательно АВ = АС.

2) Доказательство существования пустоты: