[potrzebna pomoc]zadanie

[Gorzala]

Zrobila to Ania lub Basia. Basia nie mogla jednoczesnie czytac i zrobic tego. Basia czytala. Kto to zrobil? Uzasadnij za pomoca odpowiedniego dowodu formalnego ze zmiennymi A, B, Z.

[SEBAW]

Widzisz Gorzala, ale nikogo ta zagadka nie interesuje, albo trudna się wydaje i nikt nie woli odpowiadać.

[Laser]

Obawiam sie ze to nie byla zagadka a zadanie z matmy ... a to mi smierdzi na kilometr tym na co ja cały czas bluznie czyli logika lub jakies inne cuda.

A co do odpowiedzi - zrobila to Małgosia bo Ania i Basia to MATRIX ...

[nimal]

a za to jaki fajny film by mogl powstac jakby Ania to z Basia Zrobily

[Nol]

a za to jaki fajny film by mogl powstac jakby Ania to z Basia Zrobily

Podobną rzecz skojarzyłem po przeczytaniu "zrobiła to Ania lub Basia"

[Laser]

... oj nieczyste mysli macie ... i za to Was lubie ;D

[pawelblu]

Zbior Z osoby krore to zrobily.
Zalozmy ze sa tam wszyscy ktorzy podejrzewamy o zrobienie tego.

Na poczatku mamy wiec Z = {A, B}

Mamy oprocz tego zbior C - osob ktore czytaly ksiazke.

Wezmy 2 funkcje: f , g

f(x) daje 1 jezeli osoba jest w zbiorze Z , 0 w przeciwnym przypadku
g(x) daje 1 jezeli osoba jest w zbiorze C , 0 w przeciwnym przypadku

(przyjmijmy 1 true , 0 false)

Z zalozenia wiemy ze zachodzi taka koniunkcja: - (f(B) /\ g(B)) (minus oznacza zaprzeczenie).

Taka koniunkcje mozemy zamienic na implikacje:

g(B) -> - f(B)

Wiemy ze w ziorze C znajduje sie B. Mamy wiec C={B} (moga tam byc tez inne elementy ale nas nie interesuja)

W takim razie g(B)=1

Wiemy ze g(B) -> - f(B) jest spelniona. Zeby ta implikacja byla spelniona to
-f(B) musi byc spelnione (poniewaz g(B) jest spelnione).

Jezeli -f(B) jest spelnione tzn. zaprzeczenie ze Basia to zrobila jest spelnione, to Basia napewno tego nie zrobila.

Mamy wiec zbior Z={A} po usunieciu stamtad Basi.

Na poczatku zadania wiedzielismy ze to zrobila to Basia lub Ania, wiec jak wiemy ze nie zrobila tego Basia to musiala zrobic to Ania.

Zrobila to Ania, co pewnie kazdy wiedzial po przeczytaniu tego zadania.

Stare ale oplacalo sie to zrobic