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 
 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
 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
 reguły wnioskowania - zadanie 6
wyprowadzałam dowód niewprost i doszłam do czegoś takiego : 1) p \Rightarrow p \vee q 2) p \vee q Czy z tego mogę wnioskować że p?...
 be-girl222  9
 wnioskowanie boolowskie, reguły decyzyjne. - zadanie 2
Proszę, o pomoc w rozwiązaniu bądź odpowiedzi, dzięki którym będę w staniem sam doprowadzić zadania do końca. zad1. W indukcji których z dwóch rodzajów minimalnych, prostych reguł decyzyjnych użyteczna jest macierz rozróżnialności wzg...
 gemello  0
 reguły dowodzenia, tautologie i działania na zbiorach
Mam mały problem, zbliża się egzamin poprawkowy, a ja niestety nie bardzo umię rozwiązać przykładowe zadania Niestety sama teoria mi nie pomoże, więc gdyby ktoś z Was mógłby mi pomóc rozwiązać zadania byłbym bardzo wdzięczny... Oto kilka zadań, z ...
 krisstof  6
 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
 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
 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
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com