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
Instytut Matematyczny, Uniwersytet Wrocławski
Mężczyzna Offline
PostNapisane: 12 sty 2012, o 23:47 
Użytkownik

Posty: 451
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 - odwrotność wzorów czy istnieje?  Piotrek172  1
 Wykazać dwie reguły wnioskowania - zadanie 2  konradgmo  0
 hilbertowski system dowodzenia-delta a lematy- kiedy z czego  venomek  0
 reguły wnioskowania - zadanie 3  madziorek  1
 Reguły wnioskowania - zadanie 5  sunn2990  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com