Пропозициональные логики c, включающие двойное «не» P, если и только если нет (НЕ P) - PullRequest
0 голосов
/ 13 февраля 2020

Я пытаюсь доказать

введите описание ссылки здесь

Я могу использовать только логы предложения c. Я пытался использовать правила не +/-, но они требуют, чтобы я принимал P и не P одновременно. Я действительно потерян в этот момент

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...