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 
 metoda dedukcji, reguła odrywania
Proszę udowodnić korzystając z metody dedukcji i używając reguły odrywania odpowiednio 1, 1 i 2 razy następujące prawa: -\ p \rightarrow p\\ -\ p \rightarrow ( q \rightarrow q)\\ -\ \perp \rightarrow p J...
 michal19939  0
 System dowodzenia Hilberta
Mam udowodnić w systemie Hilberta następujące formuły: 1) true 2) X \Rightarrow true 3) X \Rightarrow X 4) X \vee ( \neg X) 5...
 Kazorx  1
 Reguła wnioskowania
Przyjmujemy schemat, że jest regułą wnioskowania, jeśli wyrażenie Z_{1} Z_{2} ...
 Brzezin  0
 Notacja Łukasiewicza - reguła sprawdzania poprawnosci
Witam, Poszukuje jakiejs reguly pozwalajacej na sprawdzenia poprawnosci wyrazenia zapisanego za pomoca notacji Lukasiewicza (odwrotnej) bez konwertowania na nawiasowa... Przyklady do sprawadzenia: a) AKKpqKpNqAKNpqKNpNq b) AKKpqKpNqNAKpqKNpNq c) E...
 sebb  1
 metody dowodzenia twierdzeń - zadanie 3
Witam. Jestem tegorocznym maturzystą i największe problemy sprawiają mi (jak i innym) zadania na udowodnienie. Mógłby ktoś napisać coś: jak rozwiązywać takie zadania? od czego zacząć bo jak widze tego typu zad to nigdy nic mi nie wychodzi. ;]...
 laser15  4
 hilbertowski system dowodzenia-delta a lematy- kiedy z czego
Hej, Powiedzmy że chcę udodowdnić: |- ~p → (p → q) można by to zrobić w następujący sposób: Δ = { ~p, p } (A0) Δ |- ~p (A0) Δ |- p ----------------------------------- Δ |- FAŁSZ (Lemat1) Δ |- FAŁSZ &#859...
 venomek  0
 reguła wnioskowania - zadanie 3
Sprawdzić, czy \frac{p \Rightarrow q, p \Rightarrow \neg q}{ \neg q} jest regułą wnioskowania. mam takie coś: w(p \Rightarrow q)=1 i w(p \Rightarrow \neg q)...
 17inferno  1
 Związek reguł dowodzenia z tautologiami
mam takie zagadnienie do egzaminu i nie wiem jak to rozumieć...
 prawyakapit  1
 Logika - reguła wnioskowania
Zapisz poniże rozumowanie za pomocą symboliki logicznej i udowodnij, stosując reguły wnioskowania (wprost lub nie wprost), że rozumowanie jest poprawne. Jeżeli będę studiował logikę to będę mądry. Jeśli będę studiował prawo to będę bogaty. Jeżeli bę...
 ivi  2
 tautologia,reguła wnioskowania
Czym się różni tautologia od reguły wnioskowania?...
 method8  1
 gentzenowski system dowodzenia
Mam pytanie odnośnie poniższego zadania: (A \rightarrow B) \rightarrow (( \neg A \rightarrow B) \rightarrow B) Czy dowodząc to zdanie za pomocą systemu Gentzenowskiego dochodzimy do 3 czy 4 aksjo...
 myky  0
 reguła tożsamości - zastosowanie
Jakie może być konkretne zastosowanie reguły tożsamości, które będę mogła wymienić na egzaminie ustnym? Mam również problem z przykładem zastosowania Hipotezy Continuum. Proszę o pomoc!...
 Nitkabo  3
 Sposób dowodzenia
Jeszcze mam jedno pytanie. Chcę udowodnić prawdziwość \psi. Z powodu niepustości X istnieje x_0, więc z założenia \psi \wedge \varphi(x_0)[...
 nne  18
 Metody dowodzenia równania
No nie wiem co mam robić z tym założeniem że \frac{p}{q} jest liczbą wymierną...
 partyzan  20
 Dobór delty w Hilbertowskim systemie dowodzenia
Witam, mam kilka pytań odnośnie dobierania delty w Hilbertowskim systemie dowodzenia. Są jakieś zasady, które ograniczają wybór formuł, które należy umieścić w delcie? Czy schemat polegający na wybraniu jakiejś formuły i jej zaprzeczenia(np. [tex:3o...
 mett  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com