--> Archiwum Forum
Moshimo [ FullMetal ]
Zadanie z logiki - pomoc
Mam problem z rozwiazaniem takiego zadania:
Wszystkie moje notatki szlag trafil, nie pamietam tego w ogole :)
Ktos sie zna na logice? Prosze o pomoc..
edit. Polecenie:
Napisać zaprzeczenie wyrażenia bez użycia symbolu negacji
Moshimo [ FullMetal ]
up
Scatterhead [ łapaj dzień ]
to powinno byc tak:
istnieje takie X ze dla kazdego Y istenieje takie Z że ... (i tutaj trzeba odwrocic znaczenie nawiasu, tylko nie wiem dokladnie jak to zrobic, pozamieniac znaki rownosci na przeciwne? czy cos takiego)
jakbym mial strzelac to bym przekrecil jeden ze znakow nierownosci na przeciwny
Didier z Rivii [ life 4 sound ]
a to nei wystrarczy zamienic miejscami A z E i znaki nierownosci "odwrocic"?
nie pamietam jzu za duzo konkretow z logiki niestety bo mialem ja dwa semesty temu.. :/
Grzesiek [ - ! F a f i k ! - ]
Czy ta strzałka oznacza implikację ?
Moshimo [ FullMetal ]
Tak ta strzalka oznacza implikacje, chociaz nie wiem co oznacza nastepny znak (miedzy x^2 a y).
Co do kwantyfikatorow, to tez wydaje mi sie ze to nie bylo takie latwe
Cos mi sie kojarzy ze jak jest np. "dla wszystkich x" - to negacja tego wyglada tak "istnieje taki ~x, ze..." - ale tu wystepuje negacja :/
Joshua1990 [ Konsul ]
~AEA(x<=y => x^2 (?) y<=z) <=> EAE~(x<=y => x^2 (?) y<=z) <=> EAE (x<=y i ~(x^2 (?) y<=z)) <=> ...
oznaczylem jako A 'dla każdego x' i 'dla kazdego z', a jako E 'istnieje takie y'
tam gdzie znak zapytania (?), to ten znaczek co nie wiem co on oznacza :) jezeli to jest alternatywa lub koniunkcja to stosujesz odpowiednie prawo de Morgana i konczysz zadanie zeby zlikwidowac ostatni znak '~'.
no a zamiast znaczku koniunkcji napisałem 'i' :)
a i podaje jeszcze te prawa:
zaprzeczenie koniunkcji:
~(p i q) <=> (~p lub ~q)
zaprzeczenie alternatywy:
~(p lub q) <=> (~p i ~q)
Moshimo [ FullMetal ]
Hm no dobra zakladajac ze to jest koniunkcja lub alternatywa, jak zapisac zaprzeczenie z x^2? No i to troche dziwnie wyglada, samo x^2.
Joshua1990 [ Konsul ]
no wlasnie to jest troche dziwne, dlatego ten znaczek to chyba jednak co innego oznacza.
Dowiedz sie co i wtedy ostatnie wyrazenie bedzie wygladac:
EAE(x<=y i x^2 (odwrotnosc tego znaczka) y>z)
laki laki laki [ Centurion ]
skreśl wszystko
laki laki laki [ Centurion ]
skreśl wszystko
Moshimo [ FullMetal ]
Eh.. tam blad jest :D. To jest zwyczajne "<", czyli mamy wtedy x^2<y<=z. Czyli zaprzeczenie bedzie x^2>=y>z ??
Aha i jeszcze jedno. Implikacja zamienia sie w koniunkcje?
edit. spoko, juz widze o co chodzi :)
Joshua1990 [ Konsul ]
no zaprzeczenie wlasnie takie.
a prawo zaprzeczenia implikacji jest takie:
~(p=>q) <=> (p i ~q)
Moshimo [ FullMetal ]
Dziekuje Ci serdecznie. Pozostalym rowniez :).
To dla kumpla bylo. Mysle ze teraz sobie poradzi :)