szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 14 lis 2010, o 15: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 [przechodniość implikacji]  peterek  0
 reguły dowodzenia, tautologie i działania na zbiorach  krisstof  6
 Reguła odrywania - czy została poprawnie zastosowana?  ykes  2
 Reguła wnioskowania - zadanie 6  bob1000  0
 gentzenowski system dowodzenia  myky  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com