logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 890

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

anka2720
postów: 46
2013-01-18 13:43:54

jak 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





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj