[ 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 
 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
 Hilbertowski system dowodzenia [przechodniość implikacji]
Cześć, mam do udowodnienia przechodniość implikacji w Hilbertowskim systemie dowodzenia. Byłbym wdzięczny jeżeli ktoś mógłby mnie pokierować od czego zacząć. Oto zadanie: \Delta=\left\{p\rightarrow q, q \rightarrow r, p, \neg r\right\}...
 peterek  0
 Wyciąganie wniosku regułą odkrywania
Jest mi w stanie ktoś wytłumaczyć w jaki sposób rozwiązać takie zadanie?: Stosując regułę odrywania wyciągnij wniosek z następujących przesłanek: (a) ”Jest ujemna temperatura.”, ”Jeżeli jest ujemna temperatura, to woda zamarzła.” Będę bardzo wdzięc...
 Torquenstain  5
 Gentzenowski i Hilbertowski system dowodzenia.
czy mógłby ktoś to wytłumaczyć łopatologicznie? Najlepiej z przykładem. Kompletnie nie rozumiem skąd biorą się aksjomaty. Spoko, mogę je wyprowadzić z tabeli semantycznej ale przecież chyba nie o to tutaj chodzi. Z góry dziękuję za każdą pomoc. ...
 michu151  0
 reguła wnioskowania - zadanie 4
Witam, Przesłanka (zdanie w mianowniku) jest prawdziwa. Jedną z możliwości jest zatem: v(p \wedge g)=1 \wedge v( \neg r)=1 Stąd v(p)=1 \wedge v(g)=1 oraz [t...
 goha512  2
 Dowodzenia twierdzeń
Otóż, dostaliśmy od matematyka coś takiego, aby uzupełnić tzw. "wzory" dowodzeń i po przykładzie do każdego. Wygląda to tak: Z- Założenie T- Twierdzenie 1. Dowodzenie wprost ...
 Pacx  3
 Reguła wnioskowania - zadanie 2
Sprawdź, czy poprawna jest reguła wnioskowania: (p \rightarrow q) \wedge (p \rightarrow \neg r) \rightarrow (q \wedge \neg r) Probowalem to rozwiazac w taki sposob: p \rightarr...
 TenTyp-Autentyk  4
 Reguła dowodznia
Czy aby sprwadzić czy coś jest regułą dowodzenia np. \frac{p \vee p \Rightarrow q}{q} wystarczy pokazać, że \left( p \vee p \Rightarrow q\right) \Rightarrow q jest tautologią ?...
 laewqq  1
 Hilbertowski system dowodzenia.
Cześć, mam niemały problem z przyswojeniem tego materiału z logiki, kompletnie nie wiem jak się za to zabrać, wiem tyle, że są aksjomaty i jedna reguła dowodzenia. Mam do zrobienia kilka przykładów, nie chodzi mi o to, żeby ktoś je rozwiązał tylko w ...
 peterek  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com