logika Zozol: Uzasadnić, że podzielność liczby całkowitej przez 2 jest warunkiem koniecznym podzielności przez 6. Czy jest to warunek wystarczający?

PW: Oczywiście że nie. Warunek konieczny brzmi: (1) Jeżeli liczba jest podzielna przez 6, to jest podzielna przez 2 (inaczej mówiąc: warunkiem koniecznym podzielności przez 6 jest podzielność przez 2, dlatego koniecznym, że jeżeli nie zachodzi podzielnośc przez 2, to nie zachodzi podzielność przez 6) Warunek dostateczny brzmiałby: (2) Jeżeli liczba jest podzielna przez 2, to jest podzielna przez 6 − jest to zdanie fałszywe, bo np. luczba 22 jest podzielna przez 2, ale nie jest podzielna przez 6. Znacznie przejrzyściej byłoby napisać symbolicznie (1) p ⇒ q (2) q ⇒ p i dla (2) podać kontrprzykład z liczbą 22.