(13.07.2011 13:11), MarekZ wrote:
> Użytkownik "mvoicem" <m...@g...com> napisał w wiadomości grup
> dyskusyjnych:4e1d7597$0$2496$6...@n...neostrada
.pl...
>
>> Jeżeliby chcieli mieć równoważność, to by zapisali "wtedy i tylko
>> wtedy" zamiast "jeżeli".
>>
>> Ale nawet jeżeli, to niczego to nie zmienia. Warunek "Opłata jest
>> pobierana wtedy i tylko wtedy gdy użytkownik nie wydaje kartą lub
>> użytkownik nie ma włączonej usługi".
>>
>> Nadal w przypadkach kiedy zrobił 100zł kartą ale nie ma włączonej
>> usługi, lub kiedy ma włączoną usługę ale nie zrobił 100zł kartą,
>> warunek "nie wydaje kartą lub użytkownik nie ma włączonej usługi" jest
>> prawdziwy, więc opłata jest pobierana (wg. tego zapisu).
>
> Poprawna struktura tego zdania to: p <--> ~(q \/ r)

Skąd taki pomysł? To musiałoby być zapisane tak: "opłata jest pobierana
jeżeli nie zajdzie żaden z przypadków: a)użytkownik ma włączoną usługę,
b) uzytkownik wykonał ruch za 100zł".

>
> p - pobieranie opłaty
> q - wydaje 100 zł
> r - ma włączoną usługę
>
> lub struktury równoważne
>
> Ty najwyraźniej rozważasz strukturę: p <--> (~q \/ ~r)

Oczywiście że taką. Dlaczego miałbym rozważać ~(q || r) , skoro słownie
jest zapisane (~q || ~r ) ?

p. m.