Imix [ SG-1 ]
Logika
Mam sprawdzić, czy układ jest wewnętrznie sprzeczny:
Zad1
Jeśli nauka nie ma granic to odpowie kiedyś na każde pytanie. Jeśli każda odpowiedź jest źródłem nowych problemów to nauka nie odpowie nigdy na każde pytanie. Każda odpowiedź jest źródłem problemów a nie nauka nie ma granic.
Zad2
Filozofia nauki nie jest ani nauką emiryczną ani działem logiki. Jeżeli filozofia nauki jest nauką humanistyczną to jest nauką empiryczną. Jeżeli filozofia nauki nie jest nauką humanistyczną to jest działem logiki.
Wystarczy abyście napisali w formie logicznej.
Xerces [ A.I. ]
No,no,no, bardzo ładne zadanie. Odpowiedź jest dość prosta, nawet nie trzeba specjalnie rysować schematu. Jestem ciekawy jakie tu padną odpowiedzi, bo ludzie mają kłopoty z logiką co widać nawet na tym forum gdzie spory procent odpowiedzi na poprzednie posty ma się nijak i nie zachowuje spójności logicznej.
Jak nikt nie odpowie to wtedy ja wlepie odpowiedź. Wątek podwieszony, ale tlumow sie nie spodziewam.
Diplo [ Generaďż˝ ]
Ciekawe zadanka. Logike mialem juz jakis czas temu i nie do konca pamietam jak sie zasiadalo do takich problemow, ja bym to zrobil jakos tak (odrazu zaznaczam ze nie mam pojecia czy to dobre podejscie do tematu):
Xerces [ A.I. ]
Diplo -> No niezupełnie. Nie wiem dlaczego pomiędzy kolejnymi zdaniami oznajmującymi stawiasz spójnik "lub".
Jeżeli ja oznajmię dwa zdania pojedyncze:
Nosze okulary. Jestem chudy.
To to znaczy ze nosze okulary i jestem chudy, a nie ze nosze okulary lub jestem chudy (czyli ze spełniam co najmniej jeden z tych warunków, a drugi może nie zachodzić).
BTW. Właśnie gdyby ode mnie miał zależeć wygląd matury z matematyki to 50% zadań na poziomie podstawowym byłoby tego rodzaju. Wtedy ludzie na pytanie:
"Każda dziewczyna na świecie ma jakiegoś chłopaka. Czy z tego wynika ze każdy chłopak ma jakąś dziewczynę?" może w końcu zaczęliby odpowiadać negatywnie. Tak samo jak na pytanie: "Czy z tego wynika, ze istnieje jakiś chłopak, który nie ma dziewczyny?"
Diplo [ Generaďż˝ ]
Xerces --> No wlasnie tego nie bylem pewien. Dzieki za poprawe.
Czyli bedzie wygladac to tak:
Imix [ SG-1 ]
Panowie a macie jakies skrypty na kompie moze? pewnie nie jak dawno to mieliscie...
bo ja nie mam notatek z wszystkich cwiczen i nie wszystko lapie...
Xerces [ A.I. ]
Jeszcze masz błąd z pierwszym zdaniu (~p -> q). Jezeli zalozyles ze zdanie p oznacza ze nauka nie ma granic to przez jego negacje zakladasz ze ma granice, wiec bedzie dobrze jak zlikwidujesz symbol negacji. Potem jeszcze musisz wykazać, że to zdanie nie jest sprzeczne czyli wskazać jakieś wartości p,q,r dla których ten cały układ zdań jest prawdziwy. Ale naprawde nie trzeba sie poslugiwac formalizmem, wystarczy uwaznie przeczytac te zdanie :).
Co do samej logiki to jedyny przedmiot matematyczny, ktory mi sie podobal.
Często potrafi zainteresować, bo bardzo przydaje się w komunikacji. Gdyby matura z tego byłaby obowiązkowa to może ludzie zaczeliby rozumiec wiadomosci.
Xerces [ A.I. ]
Imix -> Ja mam, ale te skrypty są napisane z matematycznego podejścia - czyli zamiast takich zdań jakie wlepiłeś znajdują się formuły matematyczne. Poszukaj trochę w necie - naprawde jest troche materialow na ten temat
Imix [ SG-1 ]
A jeszcze wyszperalem takie:
Jesli matematyka jest nauka empiryczna to doswiadczenie moze obalic jej twierdzenie. Jesli matem. jest nauka empir. to znajduje zastosowanie w technice. Lecz matematyka znajduje zast. w techn., a przy tym doswiad. nie moze obalic jej twierdzen.
Mi schemat wychodzi tak:
(p->q)^(p->r)^(r^~q) po podstawieniu nie bylo sprzecznosci, wiec ~KT, wiec uklad nie jest wewnetrznie sprzeczny.
A co do pierwszego, tego co robil Diplo to ja za p przyjalem, ze nauka ma granice wiec mi wyszlo:
(~p->q)^(r->~q)^(r^~p) a po podstawieniu byla sprzecznosc, wiec KT, uklad wewnetrznie sprzeczny.
Tego 2 z pierwszego posta nie potrafie... tzn nie wiem jak z nawiasami... []
Xerces [ A.I. ]
Jezeli zakladasz ze p-nauka ma granice to pierwsze zdanie jest poprawne, natomiast
a nie nauka nie ma granic.
oznaczasz jako p. Bo to zdanie przez podwojną negacje (ale dziwnie ulozone - nie popelniles bledu przy przepisywaniu?) oznacza wlasnie ze nauka ma granice czyli ostatnie zdanie będzie (r^q).
Co do drugiego.
Xerces [ A.I. ]
edit:
zdanie będzie (r^q)
zdanie będzie (r ^ p)
Imix [ SG-1 ]
Xerces ---> ech... to moja siostra przepisywala, bo ja w tym czasie bylem w bibliotece i rzeczywiscie jest blad.
Powinno byc: "Kazda odpowiedz jest zrodlem problemow, a nauka nie ma granic."
A drugie gdybys jeszcze zapisal uzywajac tych fajnych znaczkow ;)) ->, ^,~, p, q etc.
Xerces [ A.I. ]
Imix - wtedy faktycznie uklad bedzie sprzeczny, a zapis poprawny
co do drugiego
Imix [ SG-1 ]
Good tez mi wyszlo tak jak tobie i tez wyszla sprzecznosc wiec, chyba juz sie polapalem w tym...
Dzieki wielkie!
Ech... tak po notatkach widze, ze oni tu mieli jakies zbiory czy cos podobnego... Chyba okreslali czy dedukcja czy nie, bo jak sie udawalo narysowac to tak, a jak nie to nie.
Ale nie wiem o co chodzi...
I jeszcze widze, ze bedzie cos takiego jak blad logiczny w definicji, wniosku(wnioskowaniu, nie wiem mam skrot, ktory mozna dwuznacznie odczytac ;)) i wypowiedzi. W definicji i wypowiedzi to wiem w czym rzecz, ale we wnioskowaniu nie, bo nie mam z tego notatek...
Moze macie jakies tego typu rzeczy to jakis skan albo fota by sie przydala :D
wiem, wiem, ze moglem sobie od kogos skserowac, ale teraz juz za pozno jest, bo jutro Dead line