szukanie zaawansowane
 [ Posty: 14 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 9 paź 2008, o 19:37 
Użytkownik

Posty: 657
Lokalizacja: Czewa/Wrocław
czy mógłby mi ktoś wytłumaczyć w jaki sposób można w zdaniach logicznych używać tej metody?? bo w niektórych przykładach rysowanie tabelki jest bardzo czasochłonne.. w jaki sposób się robi i w jakiej kolejności. Może łatwiej na przykładzie będzie pokazać, np na takim:

p \vee q \vee r  \Rightarrow  \neg p  \Rightarrow (q \vee r)  \wedge  \neg p

proszę o pomoc..
Góra
Mężczyzna Offline
PostNapisane: 9 paź 2008, o 21:38 
Moderator

Posty: 14238
Lokalizacja: Wrocław
raphel napisał(a):
Może łatwiej na przykładzie będzie pokazać, np na takim:

p \vee q \vee r  \Rightarrow  \neg p  \Rightarrow (q \vee r)  \wedge  \neg p

Ten przykład jest źle sformułowany. Masz dwie implikacje, więc musisz użyć nawiasów. Zatem albo
(p \vee q \vee r  \Rightarrow  \neg p ) \Rightarrow (q \vee r)  \wedge  \neg p
albo
p \vee q \vee r  \Rightarrow ( \neg p  \Rightarrow (q \vee r)  \wedge  \neg p).
JK
Góra
Mężczyzna Offline
PostNapisane: 9 paź 2008, o 21:46 
Użytkownik

Posty: 657
Lokalizacja: Czewa/Wrocław
przepisałem go z książki i był bez nawiasów..
to może na takim:
(p  \vee q  \Rightarrow  r)  \Rightarrow (p \Rightarrow r)  \vee (q \Rightarrow r)
Góra
Mężczyzna Offline
PostNapisane: 12 mar 2009, o 21:56 
Użytkownik

Posty: 6
Apropo skroconej metody zerojedynkowej, to wszystko fajno, ale mam pewien problem. Mianowicie miedzy innymi przy rownowaznosciach nalezy sprawdzac obydwie mozliwosci w trakcie sprawdzania tautologi ( czyli 1 0 0 1 , dla ktorych rownowaznosc jest fałszem) i mam takie pytanie jak sprawdzic czy zdanie \neg (p \wedge q) \Leftrightarrow  \neg p \wedge  \neg q jest tautologia

Sprawdzajac to zgodnie z zasadami wychodzi mi, że to jest w kazdym wypadku sprzecznosc (dla sprawdzania 1 \Leftrightarrow 0 i dla 0 \Leftrightarrow 1

Znalazlem rozwiazanie w jakism pdf, ale z niezrozumialych przyczyn autor odrazu zalozyl w koniunkcji np 0 moze wyjsc z 1 i 0 , co jest prawda, ale co bedzie jesli 0 wyjdzie z 0 i 0. Ciezko to wyjasnic piszac, ale jesli ktos by rozwiazywal to wiedzialby o ktorym momencie mowie

Z gory dziekuje za pomoc
Góra
Mężczyzna Offline
PostNapisane: 12 mar 2009, o 22:19 
Użytkownik

Posty: 21
zakładasz, że całe wyrażenie jest nieprawdziwe czyli 0 . i wchodzisz głębiej w zdania czyli
1. \neg (p \wedge q)= 0  \wedge  2. \neg p \wedge  \neg q =0

z 1 wynika że: (p \wedge q) = 1 czyli  p = 1  \wedge q = 1

podstawiając p i q pod 2. otrzymujemy, że 0  \wedge 0 = 0

jak widac nie ma tu żadnej sprzeczności więc nie jest to tantologia, ale musimy rozważyc jeszcze jedne przypadek kiedy:

 \neg (p \wedge q) =1  \wedge   \neg p \wedge  \neg q = 1 

i tutaj jeżeli nie znajdziemy sprzeczności to nie jest to tautologia.

-- 12 mar 2009, o 21:20 --

btw. napisz mi na maila to Ci wyslę pdfa z dokładnym opisem problemu.
Góra
Mężczyzna Offline
PostNapisane: 12 mar 2009, o 22:29 
Moderator

Posty: 14238
Lokalizacja: Wrocław
Metoda skrócona nie zawsze jest wygodna, najlepiej działa dla implikacji i alternatyw, dla równoważności już gorzej - czasem wygodniej zrobić tabelkę...

A to, co napisał tubo jest niestety źle. Zauważ, że równoważność jest nieprawdziwa dokładnie wtedy, gdy jej składniki są różne co do prawdziwości, a nie takie same (jak twierdzi tubo). Istotnie trzeba rozważyć dwa przypadki, ale zupełnie inne...

JK
Góra
Mężczyzna Offline
PostNapisane: 12 mar 2009, o 22:32 
Użytkownik

Posty: 6
Moim zdaniem sie mylisz , bo równoważność jest wtedy fałszywa (0) jesli jak chyba wiesz zdanie p =1 q=0 lub p=0 q=1 , wiec nie moge zalozyc ze zdanie ma wartosc 0 a potem i po lewej i po prawej stronie rownowaznosci zakladac 0.

-- 12 mar 2009, o 21:36 --

Moglbym wtakim razie uzyskac jakas podpowiedz ,jakie to przypadki ? Bo tak jak Pan zauwazyl Pan tubo sie mylil ( i jakos uprzedzil mnie Pan z naprostowaniem Jego bledu myslowego :))

-- 12 mar 2009, o 23:15 --

Jan Kraszewski napisał(a):
Metoda skrócona nie zawsze jest wygodna, najlepiej działa dla implikacji i alternatyw, dla równoważności już gorzej - czasem wygodniej zrobić tabelkę...

JK


Zgadzam się w całej rozciągłości, ale niestety takie mam postawione zadanie, zeby udowodnić to metodą skrocona.
Góra
Mężczyzna Offline
PostNapisane: 13 mar 2009, o 02:13 
Użytkownik

Posty: 15
Jeśli mus, to można skorzystać z tautologii:
(A \Leftrightarrow B) \Leftrightarrow [(A \Rightarrow B) \wedge (B \Rightarrow A)]

Jeśli wykaże się prawdziwość obu implikacji to równoważność A \Leftrightarrow B jest tautologią.
Góra
Mężczyzna Offline
PostNapisane: 13 mar 2009, o 03:57 
Użytkownik

Posty: 6
Dziekuje za odpowiedz, wyglada ona bystro niemniej jednak chyba ja nie jestem ,az tak bystry, bo nie wiem jak to sie ma do zadania ktore ja postawilem? Rozumiem, niektore zadania latwiej jest rozwiazac tabelka niz metoda skrocona, ale akurat to ma byc tak zrobione. Z drugiej jednak strony jak zaczne zastepowac jedne zdania drugimi i cos tam udawadniac, to jaki to ma sens? Pan Jan Kraszewski pisał o jakichs innych przypadkach niz te , o ktorych ja mowilem. Z tego wnioskuje ze da sie rozwiazac tamto zadanie nie komplikujac go zamocno
Góra
Mężczyzna Offline
PostNapisane: 13 mar 2009, o 13:09 
Użytkownik

Posty: 15
Ok, sprawdzimy czy podana przez Ciebie równoważność jest tautologią. Jak wiadomo możliwe są cztery przypadki dla takiego funktora (równoważności) A \Leftrightarrow B (w którym wyrażenie A jest równoważne Twojemu \neg (p \wedge q) a B \neg p \wedge  \neg q, mianowicie:
A=0 i B=0,
A=0 i B=1,
A=1 i B=0,
A=1 i B=1,

Z definicji równoważności wynika, że tylko i wyłącznie wtedy jest ona fałszywa gdy zachodzi drugi lub trzeci przypadek. Sprawdzimy zatem czy istnieją takie wartości zmiennych zdaniowych, dla tych przypadków, tzn czy możliwy jest taki dobór wartości p i q aby zachodził drugi lub trzeci przypadek.

Jeśli dla obu przypadków nie znajdziemy takich wartości (wykażemy sprzeczność) to całe wyrażenie jest tautologią, w przeciwnym wypadku nią nie jest.
1. A=0, B=1
Jeśli A=0 to \neg (p \wedge q) = 0 więc p \wedge q = 1 więc p=1  \wedge q=1 jeśli tak to prawa strona równoważności jest równa 0, z założenia że lewa (czyli A) jest równa 0. Wynika stąd sprzeczność z założeniem 1. - wyrażenie nie może przybrać A=0 i B=1 bo dla A=0 zawsze B=0. Więc pierwszy przypadek dla którego równoważność nie byłaby prawdziwa nie może mieć miejsca.
Teraz sprawdźmy drugi:
2. A=1, B=0
A=1 więc p \wedge q = 0, sprawdzamy teraz co wyjdzie po prawej stronie dla trzech kombinacji spełniających tą koniunkcję, jeśli p=0 i q=0 to B=1 więc sprzeczność z założeniem 2., dla p=0 i q=1, B=0, wynika z tego, że istnieją wartości zmiennych zdaniowych (mianowicie p=0 i q=1) dla których lewa strona równoważności jest prawdziwa i prawa fałszywa, co z kolei pociąga, że dla tych wartości cała równoważność jest fałszywa, czyli nie jest tautologią.
Góra
Mężczyzna Offline
PostNapisane: 13 mar 2009, o 14:03 
Użytkownik

Posty: 6
Bardzo dziękuję za wyczerpująca odpowiedz. Dowodzi o na tylko, że do równoważności ta metoda średnio się nadaje moim zdaniem, bo i tak zauważ ze sprawdziłes wszystkie możliwości , co łatwiej jest zrobić w tabelce.

A skoro jest taki przypadek zdania z równowaznościa ze trzeba sprawdzic praktycznie wszystkie mozliwości, to zawsze pojawi się wątpliwość co będzie jeśli w innym zdaniu zajdzie taki problem, a ja poprostu go przeocze. Tutaj to nie było probelmów, bo na oko widać ze nietautologia, nawet bez tabelki, ale zawsze moze sie pojawic zdanie, ktore juz tak oczywiste nie bedzie i można wywinąc na nim orła tym sposobem. Sorki za te długie i średnio logiczne zdania :). Dziekuje za pomoc
Góra
Mężczyzna Offline
PostNapisane: 13 mar 2009, o 14:41 
Użytkownik

Posty: 21
co jest źle w moim rozumowaniu? jeszcze raz opiszę wszystko dokladnie i do końca:

( \sim (p \wedge q) \Leftrightarrow  \sim p \wedge  \sim q)=0

żeby udowodnić, że nie jest to tautologia to musimy znaleźć takie jedno(może byc ich wiecej) rozwiazanie, że nie było sprzeczności dla powyższego założenia.

( \sim (p \wedge q) \Leftrightarrow  \sim p \wedge  \sim q)=0
\sim (p \wedge q)=0  \wedge ( \sim p \wedge  \sim q)=1
(p \wedge q)=1  \wedge  (\sim p=1  \wedge  \sim q=1)
(p=1  \wedge q=1)  \wedge (p=0  \wedge q=0)
jak widać powyżej mamy sprzeczność...

... więc lecimy dalej(przypadek drugi):

( \sim (p \wedge q) \Leftrightarrow  \sim p \wedge  \sim q)=0
\sim (p \wedge q)=1  \wedge ( \sim p \wedge  \sim q)=0

p \wedge q=0 dla tego rozwiązania mamy trzy możliwości:

1. p=0  \wedge  q=0  \Rightarrow ( \sim p \wedge  \sim q)  \Rightarrow 1 \wedge 1 \Leftrightarrow 1
2. p=1  \wedge q=0  \Rightarrow ( \sim p \wedge  \sim q) \Rightarrow 0 \wedge 1 \Leftrightarrow 0
3. p=0  \wedge q=1  \Rightarrow ( \sim p \wedge  \sim q) \Rightarrow 1 \wedge 0 \Leftrightarrow 0

jak widać w rozwiązaniu drugim i trzecim nie ma sprzeczności dlatego nie jest to tautologia (dla (p=1  \wedge q=0) \vee (p=0 \wedge q=1))
Góra
Mężczyzna Offline
PostNapisane: 13 mar 2009, o 21:38 
Moderator

Posty: 14238
Lokalizacja: Wrocław
Tak jest dobrze, ale zauważ, że poprzednio napisałeś coś innego (choć może myslałeś tak, jak w ostatnim poście).

tubo napisał(a):
zakładasz, że całe wyrażenie jest nieprawdziwe czyli 0 . i wchodzisz głębiej w zdania czyli
1. \neg (p \wedge q)= 0  \wedge  2. \neg p \wedge  \neg q =0
z 1 wynika że: (p \wedge q) = 1 czyli p = 1  \wedge q = 1
podstawiając p i q pod 2. otrzymujemy, że 0  \wedge 0 = 0
jak widac nie ma tu żadnej sprzeczności więc nie jest to tantologia, ale musimy rozważyc jeszcze jedne przypadek kiedy:
\neg (p \wedge q) =1  \wedge   \neg p \wedge  \neg q = 1
i tutaj jeżeli nie znajdziemy sprzeczności to nie jest to tautologia.

To, co napisałeś wyraźnie sugeruje, że próbujesz robić zadanie metodą skróconą, zakładając nie wprost nieprawdziwość zdania, potem zaś rozpatrujesz przypadki, w którym to zdanie jest prawdziwe. Dlatego zaprotestowaliśmy.

JK
Góra
Mężczyzna Offline
PostNapisane: 14 mar 2009, o 14:29 
Użytkownik

Posty: 21
Jan Kraszewski napisał(a):
Tak jest dobrze, ale zauważ, że poprzednio napisałeś coś innego (choć może myslałeś tak, jak w ostatnim poście).

tubo napisał(a):
zakładasz, że całe wyrażenie jest nieprawdziwe czyli 0 . i wchodzisz głębiej w zdania czyli
1. \neg (p \wedge q)= 0  \wedge  2. \neg p \wedge  \neg q =0
z 1 wynika że: (p \wedge q) = 1 czyli p = 1  \wedge q = 1
podstawiając p i q pod 2. otrzymujemy, że 0  \wedge 0 = 0
jak widac nie ma tu żadnej sprzeczności więc nie jest to tantologia, ale musimy rozważyc jeszcze jedne przypadek kiedy:
\neg (p \wedge q) =1  \wedge   \neg p \wedge  \neg q = 1
i tutaj jeżeli nie znajdziemy sprzeczności to nie jest to tautologia.

To, co napisałeś wyraźnie sugeruje, że próbujesz robić zadanie metodą skróconą, zakładając nie wprost nieprawdziwość zdania, potem zaś rozpatrujesz przypadki, w którym to zdanie jest prawdziwe. Dlatego zaprotestowaliśmy.

JK


no ok, za drugim razem robiłem na spokojnie i jeżeli komus to pomoze to jest dobrze
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 14 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Metoda zero-jedynkowa(tabelkowa)
Witam. Mam pytanie a mianowicie gdy w równaniu funkcji mam p,q,r,s to jak mam zapisać s w tabelce. Wiem, że p to w tabelce lecąc pionowo 11110000, q to 11001100 a r to 10101010. [b:379m4ox...
 agaciaa51  2
 Metoda zerojedynkowa, wartości logiczne
http://img33.imageshack.us/img33/905/logikaw.jpg \underbrace{ \Rightarrow \und...
 maradona  4
 wnioskowanie metoda wprost
Przeprowadz nastepujace wnioskowanie metoda wprost: p, \neg p \vee s,s \Rightarrow t \wedge q,q \Rightarrow u|-DNZu \wedge t...
 lisek2101  1
 Metoda Rezolucji - zadanie 3
Witam Czy ktoś mógłby mi wyjaśnić co to jest ta całą metodę rezolucji? Nie mogę znaleźć nic necie co by do mnie trafiło w jakiś sposób = / Mam do tego takie zadanko: Wykorzystując metodę rezolucji sprawdzić czy stwierdzenie Q jest konsekwencją pon...
 iie  0
 Zbadać metodą nie wprost prawdziwość formuły
Zbadać metodą nie wprost, czy jest twierdzeniem rachunku zdań następująca formuła: \left\{ \left \wedge \left[ \left( p \wedge q\right) \Rightarrow \left( \neg r\righ...
 tolaa19  5
 Tautologia metoda nie wprost
\left( \left( p \Rightarrow \neg s\right) \wedge \left( \neg q \vee r\right) \wedge \left( p \Leftrightarrow q\right) \right) \Rightarrow \left( \left( \neg p \wedge q \wedge s\right) \Ri...
 laewqq  6
 Udowodnienie tautologii metodą Gentzena
Mam taką tautologię: \left( p \Rightarrow \neg q \right) \Rightarrow \left(q \Rightarrow \neg p \right) Mam ją udowodnić przy użyciu formuł Gentzena(rachunek sekwent), czy ktoś mógłby mnie naprowadz...
 isaac  1
 Metoda tablic semantycznych.
(p \wedge q \Rightarrow r) \Rightarrow . Mam sprawdzić czy jest to tautologia. Metodą klamerkową mi wyszło, że tak. W odpowiedziach jest tak. Ale mam je...
 myszka9  0
 Dowodzenie twierdzeń - metoda wprost i nie wprost.
Witam, jako, że nie rozumiem kompletnie tych tematów. mógłby mi ktoś rozpisać ten przykład: uzasadnij, że dla każdej liczby rzeczywistej x prawdziwa jest nierówność \sqrt{\left( x^{2} +1\right)^{10}-1} + \sqrt{\left( x^{2}...
 rybakom  7
 Metoda zero-jedynkowa.
dziękuję mmoonniiaa-- 21 kwi 2009, o 09:39 --p q r ((p\/q)\/r) (p\/(q\/r)) ((p\/q)\/r)ó(p\/(q\/r)) 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 czy teraz dobrze:) niestety nie umiem rysować tabelki za wszelkie uwagi jestem ...
 jaryjary  6
 Metoda zero-jedynkowa - zadanie 3
Zapomniałem jak się to liczy i nie było mnie na zajęciach i nie mogę sobie przypomnąć. Prosze o zrobionie przynajmniej jednego przykładu z czego co się bierze tak mniej więcej. Reszte może sam zrobię. Udowodnij metodą zero-jedynkową powyższe tautolo...
 Math2010  1
 metoda Quina-McCluskey
Redukując funkcję boolowską wspomnianą w temacie metodą ugrzązłem na stworzeniu tablicy pokryć (jest to w II etapie metody) implikanty proste jakie otrzymałem to: (0,2) 00x0 (2,12) x010 (5,7) 01x1 (9,11) 10x1 (11,12) 101x (12,14) 1x10 Wiem,że wiersze...
 kamilosdzikos  1
 Metoda wartościowania - zadanie 2
Co to jest i na czym polega metoda wartościowania w sprawdzaniu czy zdanie jest tautologią?...
 Mariusz_Sw  0
 Metoda zero-jedynkowa - zadanie 2
sprawdz metoda zero-jedynkowa nastepujace tautologie: a) \Leftrightarrow b) \Leftrightarrow [p \vee (q \vee s)...
 mbanan17  2
 skrócona metoda- gdzie robię błąd? - zadanie 2
Witam. W zeszycie mam taki przykład, wg. którego jest to tautologia, natomiast mnie wychodzi że nie jest to tautologia. Czy przykład jest dobrze zrobiony i ja robię gdzieś błąd, czy może mam błąd w zeszycie i nie jest to tautologia? Przykład z zeszy...
 moniabc  3
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com