Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

Logika liniowa

STUDIA

  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
Brak odpowiedzi do tego tematu

#1 anka2720

anka2720

    Nowicjusz

  • Użytkownik
  • 2 postów
0
Neutralny
  • Płeć:Kobieta

Napisano 17.01.2013 - 17:27

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.
  • 0

Afroman

    Kombinator

  • Użytkownik
3
  • Płeć:Kobieta

Napisano 25.09.2011 - 17:55