Prosze o powiedzenie czy to zdanie jest prawdziwe czy fałszywe (zadanie z logiki): Jeżeli wiesz, że umarłeś to umałrłeś, a jeżeli wiesz, że umarłeś to nie umarłeś, więc nie wiesz, że umarłeś.

p - wiesz, że umarłeś q - umarłeś [latex][(p Rightarrow q)land (p Rightarrow sim q)]Rightarrow (sim p)\\ p| q:|: pRightarrow q:|:pRightarrow sim q:|:(p Rightarrow q)land (p Rightarrow sim q)ig|[(p Rightarrow q)land (p Rightarrow sim q)]Rightarrow (sim p)\\ 0|0:|quad1quad ::|quad 1quad quad:|quad quad quad quad1quad quadquad quad ::|quad quad quad quad quad quad1\ [/latex] [latex] 1|1:|quad1quad ::|quad 0quad quad:|quad quad quad quad0quad quadquad quad ::|quad quad quad quad quad quad1\ 0|1:|quad1quad ::|quad 1quad quad:|quad quad quad quad1quad quadquad quad ::|quad quad quad quad quad quad1\ 1|0:|quad0quad ::|quad 1quad quad:|quad quad quad quad0quad quadquad quad ::|quad quad quad quad quad quad1\[/latex] Wykazaliśmy, że wyrażenie jest tautologią a więc zdanie jest prawdziwe.