Струва ми се, че съм, сгрешил съм малко в горнния ми текст, а именно в алгебричните операции ..та извинения към аудиторията!

Обаждам се своевременно, за да не вкарам някого в заблуждение.
Грешката която си открих, е че (2) и (4) не си противоречат, т.е. в конюнкция не са туждествено ЛЪЖА.

Иначе, останалите ми ненужни никому изцепки за доказателство че "аз съм папата", по същество са вярни .. в смисъл че от лъжата всичко може да се докаже, обаче (2) и (4) не дават лъжа, .. така, че аз не съм папата за мое нещастие.


/ако ми остане по-късно вереме, ще разгледам допълнително задачата; определено зная как да я реша, и съм сигурен 100% че мога, .. обаче иска губене на време/