szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 14 lis 2010, o 14:10 
Użytkownik

Posty: 293
Lokalizacja: sam nie wiem
Pokazać, że w systemie hilbertowskim wyprowadzone są reguły dowodzenia:

a) \frac{\Delta \lfloor  \neg p \Rightarrow  \neg q, \Delta \lfloor q}{\Delta \lfloor p}


b) \frac{\Delta \lfloor  \neg  p}{\Delta \lfloor  p \Rightarrow q}
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Hilbertowski system dowodzenia.  peterek  1
 Sprawdzić czy jest poprawna reguła wnioskowania  luk007  6
 Hilbertowski system dowodzenia materialy  Nitoken  0
 Notacja Łukasiewicza - reguła sprawdzania poprawnosci  sebb  1
 hilbertowski system dowodzenia-delta a lematy- kiedy z czego  venomek  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com