ŚFiNiA

[lucek]

szaryobywatelu ty ciągłe o wnioskowaniu, a ja o tabeli - być może za tępy jestem i sam tego nie potrafię, więc bardzo proszę wpisz to co napisałeś w tablicę implikacji i pokaż, które jej które i jak jej pola wypełnia.

[szaryobywatel]

[idiota]

"I zdanie "jeśli p to z" dopuszcza możliwość świecenia żarówki przy wyłączonym przycisku."

Tak samo jak dopuszcza, że Ala ma kota, wszystkie ciała grawitują, 5 jest największą liczbą pierwszą czy niezłomny jest związek zbieraczy gałązek.

[lucek]

[lucek]

[Irbisol]

Implikacja odpowiada na pytanie, czy NIE został naruszony warunek wystarczający. Czyli czy NIE nastąpiła sprzeczność, że p=1 ale q=0.
Cała filozofia.

[lucek]

[lucek]

[idiota]

Tak, bo nauczyciel nie raczył najpierw powiedzieć dzieciom co to jest nauka formalna, na czym polega i jak się jej używa, i udaje trochę, ze logika działa na treściach zdań.
To trochę nawet działa, jak wyżej pokazano, ale po bliższym zbadaniu wprowadzać potrafi konfuzję, jak każde utożsamianie nietożsamego.

Formalizm w żołnierskich słowach przedstawił przed chwilą Irbisol.

[lucek]

[fiklit]

Lucek, pomyśl sobie czy zdanie "nie jest prawdą, że zachodzi A i nie zachodzi B" jesteś w stanie wyrazić jako "jeśli zachodzi A to zachodzi B".

[idiota]

Lucek, tu nie ma analogii, bo coś takiego jak dzielenie przez 0 nie istnieje, natomiast zdanie implikacyjne może sobie mieć fałszywy poprzednik i nic nikomu się złego nie dzieje.
Jedno co się dzieje, to tyle że przestaje nas ono obchodzić.

[Irbisol]

[lucek]

[Irbisol]

[lucek]

[fiklit]

Problem jest chyba w zrozumieniu co to znaczy że zdanie jest prawdziwe.
Może tak:
Daję Ci jakiś układ w pudełku i widzisz tylko przełącznik i światełko. Nie wiesz co jest w środku.
Ja wiem. Na razie nic Ci nie mówię. Które stany urządzenia dopuszczasz? Wszystkie 4 prawda? Nie wiesz nic jak to działa, więc żaden ze stanów nie będzie zaskoczeniem.
Teraz mówię Ci:
Jeśli włączony jest przycisk (P) to świeci się żarówka (Ż).
Które stany urządzanie dalej dopuszczasz, a które sprawią, że poczujesz się przez mnie oszukany?
P*Ż jest ok.
P*Ż to chyba by Cie zaskoczyło i uznałbyś za niezgodne z moim opisem.
~P*~Ż to chyba też się nie wyklucza z moim opisem.
~P*Ż tu też nie powinieneś czuć się oszukany.
Zgadza się?

[lucek]

[fiklit]

Tak, faktycznie o to chodziło.
Na pewno D byłby zaskakujące?
Więc uważasz, że w sytuacji, gdy np. przycisk włącza żarówkę, a ona gaśnie 5 minut po wyłączeniu przycisku, nie można o takim układzie stwierdzić "jeśli przycisk jest włączony to żarówka świeci"?

[idiota]

Przecież zdanie "Jeśli przycisk jest..." nie głosi co się dzieje kiedy przycisk nie jest...

[Irbisol]

[lucek]

[Irbisol]

Przecież masz wyżej rozpiskę dla przełączników równoległych...

[lucek]

tak, twój układ realizuje implikację co do wartości - i z takim 'generatorem losowym' czyli przyciskiem B, na który nie mam wpływu, można układ zrealizować.

[fiklit]

No to skoro w układzie irbisola o którym powiedziane jest "jeśli przycisk A jest włączony to świeci się światło" nie jest dla Ciebie zaskoczeniem sytuacja "A wyłączony i światlo sie świeci", to dlaczego w moim układzie o którym to samo jest powiedziane, jesteś zaskoczony tym samym stanem?

Wynikowe 0 mówi, że dane zdanie wyklucza taką sytuację. A 1 mówi, że to zdanie nie wyklucza takiej sytuacji.

Jedynka nie oznacza jednak, że taka sytuacja jest możliwa. Czyli nie daje pewności, że jak odpowiednio pokombinujesz to ją uzyskasz. Mówi tylko tyle, żebyś nie był zaskoczony, gdy się pojawi.

I tu jest zasadniczy błąd rafała, który uważa że 1 oznacza, że jak się dobrze pokombinuje to się sytucje daną uzyka.

Nie ma też czegoś takiego, że układ implementuje implikację. Można jedynie zapytać, czy dane zdanie (np. implikacja) prawidziwie opisuje układ. Czy do niego pasuje. Czyli czy faktycznie wyklucza tylko sytuacje niemożliwe. Bez wnika czy wyklucza wszystkie niemożliwe.