Jak używać „jeśli i tylko wtedy” w matematyce?

Courtney Taylor

Czytając o statystyce i matematyce, jedno zdanie, które regularnie pojawia się, to wtedy i tylko wtedy. To zdanie pojawia się szczególnie w twierdzeniach matematycznych lub dowodach. Ale co dokładnie oznacza to stwierdzenie?

Co oznacza, jeśli i tylko wtedy, gdy oznacza w matematyce?

Aby zrozumieć wtedy i tylko wtedy, musimy najpierw wiedzieć, co oznacza wyrażenie warunkowe. Instrukcja warunkowa to taka, która składa się z dwóch innych instrukcji, które oznaczymy przez P i Q. Aby utworzyć instrukcję warunkową, moglibyśmy powiedzieć, że P to Q.

Oto przykłady tego rodzaju wypowiedzi:

• Jeśli na dworze pada deszcz, na spacer zabieram ze sobą parasol.
• Jeśli będziesz się intensywnie uczyć, zarobisz piątkę.
• Jeśli n jest podzielna przez 4, to n jest podzielna przez 2.

Converse i warunkowe

Trzy inne instrukcje są powiązane z każdą instrukcją warunkową. Są to tak zwane odwrotność, odwrotność i przeciwieństwo . Tworzymy te zdania, zmieniając kolejność P i Q z oryginalnego trybu warunkowego i wstawiając słowo nie dla odwrotności i przeciwieństwa.

Musimy tylko rozważyć odwrotność tutaj. To stwierdzenie pochodzi z oryginału, mówiąc, że jeśli Q, to P. Załóżmy, że zaczynamy od warunkowego, jeśli na zewnątrz pada deszcz, a następnie zabieram ze sobą parasol na spacer. Odwrotnością tego stwierdzenia jest to, że jeśli na spacer zabieram ze sobą parasol, to na zewnątrz pada deszcz.

Musimy tylko rozważyć ten przykład, aby zdać sobie sprawę, że oryginalny tryb warunkowy nie jest logicznie tym samym, co jego odwrotność. Pomieszanie tych dwóch form wypowiedzi jest znane jako a błąd zwrotny . Na spacer można zabrać parasol, chociaż na dworze może nie padać.

W innym przykładzie rozważymy warunek Jeśli liczba jest podzielna przez 4, to jest podzielna przez 2. To stwierdzenie jest oczywiście prawdziwe. Jednak odwrotność tego stwierdzenia Jeśli liczba jest podzielna przez 2, to jest podzielna przez 4 jest fałszywa. Wystarczy spojrzeć na liczbę taką jak 6. Chociaż 2 dzieli tę liczbę, 4 nie. Chociaż oryginalne stwierdzenie jest prawdziwe, jego przeciwieństwo nie jest.

Dwuwarunkowy

To prowadzi nas do dwuwarunkowego stwierdzenia, które jest również znane jako stwierdzenie „jeśli i tylko wtedy”. Niektóre zdania warunkowe mają również odwrotności, które są prawdziwe. W takim przypadku możemy sformułować tak zwane stwierdzenie dwuwarunkowe. Oświadczenie dwuwarunkowe ma postać:

Jeśli P, to Q, a jeśli Q, to P.

Od tego budowa jest nieco niezręczne, zwłaszcza gdy P i Q są ich własnymi zdaniami logicznymi, upraszczamy zdanie dwuwarunkowe, używając wyrażenia „jeśli i tylko wtedy”. Zamiast mówić „jeśli P, to Q, a jeśli Q, to P”, mówimy „P wtedy i tylko wtedy, gdy Q”. Taka konstrukcja eliminuje pewną redundancję.

Przykład statystyk

Na przykład wyrażenia wtedy i tylko wtedy, gdy dotyczy statystyk, nie szukaj dalej niż fakt dotyczący odchylenia standardowego próbki. Odchylenie standardowe próbki zbioru danych jest równe zero wtedy i tylko wtedy, gdy wszystkie wartości danych są identyczne.

Rozbijamy to dwuwarunkowe stwierdzenie na warunkowe i jego odwrotność. Widzimy wtedy, że to stwierdzenie oznacza oba z poniższych:

• Jeśli odchylenie standardowe wynosi zero, wszystkie wartości danych są identyczne.
• Jeżeli wszystkie wartości danych są identyczne, to odchylenie standardowe jest równe zeru.

Dowód dwuwarunkowości

Jeśli próbujemy udowodnić, że jest to dwuwarunkowe, w większości przypadków kończymy się podziałem. To sprawia, że ​​nasz dowód składa się z dwóch części. Jedną częścią, którą udowadniamy, jest jeśli P, to Q. Drugą częścią dowodu, którego potrzebujemy, jest jeśli Q, to P.

Warunki konieczne i wystarczające

Oświadczenia dwuwarunkowe odnoszą się do warunków, które są zarówno konieczne, jak i wystarczające. Rozważ stwierdzenie, jeśli dzisiaj jest Wielkanoc , jutro jest poniedziałek. Dzisiaj Wielkanoc wystarczy, aby jutro był poniedziałek, jednak nie jest to konieczne. Dzisiaj może być dowolna niedziela inna niż Wielkanoc, a jutro nadal będzie poniedziałek.

Skrót

Wyrażenie wtedy i tylko wtedy, gdy jest używane w piśmie matematycznym na tyle powszechnie, że ma swój własny skrót. Czasami dwuwarunkowy w zdaniu wyrażenia wtedy i tylko wtedy jest skrócony do po prostu iff. Zatem stwierdzenie P wtedy i tylko wtedy, gdy Q staje się P w przypadku Q.