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 
 reguła tożsamości - zastosowanie  Nitkabo  3
 Czy dany schemat jest regułą wnioskowania?  _Mithrandir  4
 Reguła wnioskowania - zadanie 5  namruf15  6
 reguła wnioskowania - zadanie 3  17inferno  1
 metody dowodzenia twierdzeń - zadanie 3  laser15  4
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com