Logika, zadanie nr 890
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / RozwiÄ…zanie |
anka2720 postów: 46 |  2013-01-18 13:43:54jak pokazać [\neg][\neg][\omega][\rightarrow][\omega] za pomoca reguł Gentzena?? |
tumor postów: 8070 | 2014-07-23 07:43:40 $ w\vdash w$ $\vdash \neg w,w$ $\neg\neg w \vdash w$ $\vdash \neg\neg w \rightarrow w$ |
| strony: 1 | |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj