Вспомогательные материалы: Решение {¬p} |– ¬p(УП) {¬¬p,¬p} |– ¬p {¬¬p} |– ¬¬p(УП) {¬¬p,¬p} |– ¬¬p(В^) {¬¬p,¬p} |– ^(У¬) {¬¬p} |– p Назад