Доказательство естественного вычета - это работает?

Question

Я тренировался, но я не уверен, что у меня есть возможность проверить свою работу, может кто-нибудь указать, есть ли в этом доказательстве ошибки

Answer 1

Понятия не имею, что такое «подкомп» в вашем доказательстве и как вы получаете 2.

Я не буду давать вам подробный ответ, потому что он выглядит как домашнее задание.

Теорема, которую вы хотели бы доказать, - это конъюнкция (И), что означает, что вам нужно доказать обе стороны: P и ¬Q.

Чтобы доказать P, вам придется использовать приведение к абсурду (от ¬Aесли вы можете доказать ⊥, то вы можете доказать А) или другую его форму (исключая среднее или двойное отрицание).

¬Q легче доказать, просто используйте ¬ правила.