Rozstrzygnij czy poprawne jest rozumowanie Orygnesa
"Jeżeli wiesz,że umareś, to umarłeś i jużeli wiesz,że umarłeś, to nie umarłeś, więc nie wiesz,że umarłeś. "
p: wiesz,że umarles
q: umarles
Zapisalam to tak:
[(p=>q) ^(p=> ~q)] =>(~p)
~ nieprawda,że
^ koninkcja
I nie mam pojecia co dalej z tym zrobić. Proszę o wytłumaczenie, wskazówki bądź samo rozwiązanie.
źródło: