rafal3006 napisał(a):Quebabie,Powinno być:
Mamy bezdyskusyjne prawo algebry Boole’a:
p<=>q = ~p<=>~q
(p<=>q) <=> (~p<=>~q)
Cytat:Lewa strona w twoim zapisie jest taka:To ostatnie się zgadza, ale nic nie pisałem o zbiorach.
P8 = P2 = [8,26,24 ...]
p<=>q
/\x=8n zachodzi P8(x) <=> P2(x)
Cytat:Natomiast prawa strona musi być taka:Równoważność
~P8 = ~P2 = [1,2,3..6,7 ... 9,10...]
~p<=>~q
/\x różnego od 8n zachodzi ~P8(x) <=> ~P2(x)
/\x=8n: ~P8(x) <=> ~P2(x)
jest również prawdziwa.
Jeśli tak nie uważasz, to podaj magiczną liczbę (podzielną przez 8, więc 2 odpada), która zwraca fałsz.
Cytat:Lewa strona:Nie!
p<=>q
P8 = P2 = [8,26,24 ...]
Dla zbioru wyżej zachodzi „równoważność”:
Liczba jest podzielna przez 8 wtedy i tylko wtedy gdy jest podzielna przez 2
P8<=>P2
Tu bierzemy pod uwagę wyłącznie liczby z powyższego zbioru (P8 ), inne nas nie interesują.
Prawa strona:
~p<=>~q
~P8 = ~P2 = [1,2,3..6,7 ... 9,10...]
Dla zbioru wyżej zachodzi „równoważność”:
Liczba nie jest podzielna przez 8 wtedy i tylko wtedy gdy nie jest podzielna przez 2
~P8<=>~P2=0 bo 2 - jest ta liczba w zbiorze wyżej!
Tu bierzemy pod uwagę wyłącznie liczby z powyższego zbioru (~P8 ), inne nas nie interesują.
Pod kwantyfikatorem masz mowę o iksach PODZIELNYCH PRZEZ 8! Negacja równoważności tego nie zmienia! Bierzemy pod uwagę tylko liczby podzielne przez 8 i wtedy mamy (na zbiorach, choć ja o zbiorach nic nie pisałem):
~P8 jest pusty, tu się chyba zgadzamy
~P2 to wszystkie nieparzyste liczby, ale nadal podzielne przez 8... czyli też zbiór pusty!
A zbiór pusty jest równy zbiorowi pustemu, temu chyba nie zaprzeczysz?
Ale i tak rozpatruj lepiej zdania.
Absent.