Re: mBank - zmiana opłat i prowizji od 15 lipca - Grupy dyskusyjne w eGospodarka.pl

Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!not-for-m
ail
From: "MarekZ" <b...@a...w.pl>
Newsgroups: pl.biznes.banki
Subject: Re: mBank - zmiana opłat i prowizji od 15 lipca
Date: Wed, 13 Jul 2011 13:11:39 +0200
Organization: Academic Computer Center CYFRONET AGH
Lines: 28
Message-ID: <ivjsvl$dco$1@srv.cyf-kr.edu.pl>
References: <ivjl6o$hc0$1@news.onet.pl> <ivjnp8$bue$1@alpha.perio6.com>
<p...@r...org>
<4e1d6fa9$0$2493$65785112@news.neostrada.pl>
<ivjq2i$agf$1@srv.cyf-kr.edu.pl>
<4e1d7597$0$2496$65785112@news.neostrada.pl>
NNTP-Posting-Host: ip-217-30.ists.pl
Mime-Version: 1.0
Content-Type: text/plain; format=flowed; charset="utf-8"; reply-type=response
Content-Transfer-Encoding: 8bit
X-Trace: srv.cyf-kr.edu.pl 1310553910 13720 87.239.217.30 (13 Jul 2011 10:45:10 GMT)
X-Complaints-To: n...@c...edu.pl
NNTP-Posting-Date: Wed, 13 Jul 2011 10:45:10 +0000 (UTC)
In-Reply-To: <4e1d7597$0$2496$65785112@news.neostrada.pl>
X-Priority: 3
X-MSMail-Priority: Normal
Importance: Normal
X-Newsreader: Microsoft Windows Live Mail 14.0.8089.726
X-MimeOLE: Produced By Microsoft MimeOLE V14.0.8089.726
Xref: news-archive.icm.edu.pl pl.biznes.banki:555609
[ ukryj nagłówki ]
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)

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)

która nie jest równoważna (prawo de Morgana). Równoważna byłaby z koniunkcją
w nawiasie.