Witam Wszystkich i zarazem bardzo proszę o pomoc. Mam takie zadanie: Pokazać, że wszystkie aksjomaty logiki Hilberta daje się wyprowadzić za pomocą reguł logiki Gentzena. kompletnie nie wiem jak się za to zabrać więc bardzo proszę o pomoc... Z góry dziękuję za pomoc.
Brak odpowiedzi do tego tematu