GRY-Online.pl --> Archiwum Forum

Logika

08.06.2006
15:12
[1]

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.

08.06.2006
16:12
[2]

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.

08.06.2006
16:25
[3]

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):

spoiler start

zad.1
p - "nauka nie ma granic"
q - "nauka odpowie na kazde pytanie"
r - "odpowiedz jest zrodlem problemow"

(~p -> q) v (r > ~q) v (r ^ ~p)

I teraz metoda 0 1 i chyba powinno cos wyjsc.

spoiler stop


Xerces -> Zerknij i powiedz czy dobrze rozumuje ;) Sam jestem ciekawy.

08.06.2006
16:39
[4]

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?"

08.06.2006
16:54
[5]

Diplo [ Generaďż˝ ]

Xerces --> No wlasnie tego nie bylem pewien. Dzieki za poprawe.
Czyli bedzie wygladac to tak:

spoiler start

zad.1
p - "nauka nie ma granic"
q - "nauka odpowie na kazde pytanie"
r - "odpowiedz jest zrodlem problemow"

(~p -> q) ^ (r > ~q) ^ (r ^ ~p)

spoiler stop


Co do samej logiki to jedyny przedmiot matematyczny, ktory mi sie podobal. Uczylem sie go z przyjemnoscia, egzamin to tez byla tylko formalnosc (dostalem 4,5 :D)

Drugie zadanko zostawie dla kogos innego ;) Ew. jak nikomu sie nie bedzie chcialo napisac to napisze je wieczorkiem.

08.06.2006
17:07
[6]

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...

08.06.2006
17:16
[7]

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.

08.06.2006
17:24
[8]

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

08.06.2006
17:32
[9]

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... []

08.06.2006
17:55
[10]

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.

spoiler start

Filozofia nauki jest dziedziną humanistyczną, albo nie jest. Albo, albo - nie mogą zachodzić obydwie możliwości, albo zadna. Drugie zdanie mówi ze jezeli jest nauką humanistyczną to jest nauką empiryczną. Trzecie zdanie mówi, ze jezeli nie jest nauką humanistyczną to jest działem logiki. Wiec z tych dwoch zdan wynika ze filozofia nauki jest albo dzialem logiki, albo nauką empiryczną. Ale pierwsze zdanie mówi nam ze filozofia nauki nie jest ani nauką empiryczną ani dzialem logiki. Sprzecznosc.

spoiler stop


Co do twojej odpowiedzi - poprawna. Wystarczy zalozyc ze matematyka nie jest nauką empiryczną, doswiadczenie nie moze obalic jej twierdzenie i ze znajduje zastosowanie w technice.

08.06.2006
18:09
[11]

Xerces [ A.I. ]

edit:
zdanie będzie (r^q)

zdanie będzie (r ^ p)

08.06.2006
18:22
[12]

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.

08.06.2006
18:43
[13]

Xerces [ A.I. ]

Imix - wtedy faktycznie uklad bedzie sprzeczny, a zapis poprawny

co do drugiego

spoiler start

E - filozofia nauki jest nauka empiryczna
L - filozofia nauki jest działem logiki
H - filozofia nauki jest nauką humanistyczna

(~E ^ ~L) ^ (H -> E ) ^ (~H -> L)

spoiler stop

08.06.2006
19:03
[14]

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

© 2000-2022 GRY-OnLine S.A.