szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 9 sty 2012, o 16:57 
Użytkownik

Posty: 27
Lokalizacja: Częstochowa
Nie znalazłem nic na forum na ten temat i w google rowniez jest o tym nie wiele.

Chodzi i reguły dowodzenia czyli dochodzenie za pomocą Reguł: Odrywania, Opuszczania i dołączania koniunkcji, Opuszczania i dodawania alternatywy i opuszczania i dołączania równoważności.

Prawa znam ale nie zawsze za bardzo wiem jak je zastosować np.

(p  \cup q)  \Rightarrow (q \cup p) i teraz za pomocą reguł trzeba udowodnić czy to tautologia czy nie:

1.(p \cup q) A (q \cup p) tak się zapisuje czyli dojdź uzywajac reguł dochodzenia czy to tautologia.
2. Stosujemy wyrażenie nie wprost czyli \neg (q \cup p)
3. Reguła De Morgana czyli opuszczamy nawias \neg p \cap  \neg q
4. \neg q Reguła Opuszczania Koniunkcji z pkt.3
5. \neg p Reguła Opuszczania Koniunkcji z pkt.3
6. Tutaj moge sobie wywnioskować np że "q" z Reguły Opuszczania Alternatywy która mowi że jeśli \neg p  \Rightarrow q z pkt 1 i z pkt 5.
7. Mam q i \neg p z Reguły Dołączania Alternatywy z punktu 6 i pkt 5.
Wychodzi sprzeczność.

czy to jest zrobione poprawnie ?? czy jest jakiś błąd ?? Mam jutro kolokwium i nie wiem czy dobrze rozumuje a jak mowilem w necie o tym cisza praktycznie... Moze ktoś mi np tez wytlumaczyc na innym przykladzie ?? np. takim

\neg (p \cup q)  \Rightarrow  \neg q
Góra
Mężczyzna Offline
PostNapisane: 12 sty 2012, o 22:47 
Użytkownik

Posty: 436
Lokalizacja: Wrocław
\neg (p \vee q) \Rightarrow  \neg q

Dowód nie wprost.
1. \neg (p \vee q) {założenie}
2. \neg ( \neg q) {założenie nie wprost}
3. \neg p \wedge  \neg q {1. - reguła de Morgana}
4. q {2. - reguła podwójnej negacji}
5. \neg q {3. - reguła opuszczania koniunkcji}
Sprzeczność {4. i 5.}

Przy dowodzie wprost nie będzie wiersza 2., 4. i sprzeczności
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 reguły wnioskowania - zadanie 3
Witam:) Mam problem z poniższym zadaniem: Na jakiej regule wnioskowania oparte jest następujące rozumowanie: ”Jeśli izometria ma trzy niewspółliniowe punkty stałe, to każdy punkt płaszczyzny jest punktem stałym tej izometrii, a jeżeli każ...
 madziorek  1
 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ły wnioskowania - zadanie 2
Ostatnio próbowałam swoich sił w tej dziedzinie logiki, niestety jednak nie wszytkie zadania byłam w stanie zrobić. Może ktoś by potrafił mi pomóc. (p∧q⇒r) ⇔ {∧[(p∧q)⇒&#87...
 Ewa :)  6
 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
 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ły wnioskowania - zadanie 5
Mam pytanie dotyczące wnioskowań niededukcyjnych. a dokładnie różnicą miedzy analogią a indukcją enumeracyjną niezupełną... pierwsze wnioskowanie: ,,Jan wnioskował, że skoro każdego dnia wschodziło słońce, to jutro na pewno też wzejdzie''. -wydaje mi...
 sunn2990  0
 Metody dowodzenia równania
No nie wiem co mam robić z tym założeniem że \frac{p}{q} jest liczbą wymierną...
 partyzan  20
 reguły wnioskowania - zadanie 4
Na jakiej regule wnioskowania opiera się następujące rozumowanie: jeśli wiesz, że umarłeś, to umarłeś jeśli wiesz, że umarłeś, to nie umarłeś więc nie wiesz, że umarłeś Jedyne co mi to pasuje, to dowód nie wprost, ale nie mam pewności....
 Kris-0  2
 Związek reguł dowodzenia z tautologiami
mam takie zagadnienie do egzaminu i nie wiem jak to rozumieć...
 prawyakapit  1
 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
 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
 tabele semantyczne / reguły odrywania
Mam dokładnie ten sam przykład do rozwiązania i też potrzebuje pomocy poniżej to co zdołałem zrobić. Może ktoś sprawdzi i podpowie ...
 angelikka1993  1
 Reguły wnioskowania - zadanie 7
Rozumowanie: "Jeżeli dana wejściowa programu P spełnia warunek W1 i spełnia warunek W2, to program ma obliczenie skończone. Zatem jeżeli program nie ma obliczenia skończonego, to dana wejściowa programu P nie spełnia warunku W1." jest (a) p...
 flopy  1
 reguły pierwotne - sprawdzenie poprawności rozwiązania
I) (p g r ) ...
 justytka  0
 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