szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 9 sty 2012, o 17: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 23: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 
 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
 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
 Wykazać dwie reguły wnioskowania - zadanie 2
Witam mam problem z wykazaniem poprawności poniższych reguł wnioskowania - bardzo proszę o proste i czytelne przedstawienie "dowodu" bo słąbo to ogarniam A) \frac{P \Rightarrow Q, R \Rightarrow S}{P \wedge R \Rightarrow Q \w...
 konradgmo  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
 reguły wnioskowania
mam pytanie czy takie przekształcenie jest prawidłowe a jesli nie to jak je uproscic za pomoca reguł wnioskowania??(\sim p\vee q)\vee(\sim p\vee r)=\sim p\vee ( q\vee r)...
 Cheerful  1
 Reguła dowodzenia w H
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 \l...
 petro  0
 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
 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
 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
 Zasada rezolucji, fakty i reguły.
Mam takie dwa zadania, z logiką u mnie jest średnio. 1. Korzystając z zasady rezolucji należy odpowiedzieć na takie pytanie: Każdy człowiek jest śmiertelny. Marek jest E.T. Czy Marek jest śmiertelny? 2. Niech a,f...
 chris_f  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com