Czy Irbisol odpowie na kluczowy problem?

ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Czy Irbisol odpowie na kluczowy problem?
Idź do strony 1, 2 Następny

Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35526
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

Wysłany: Wto 12:28, 11 Lut 2020 Temat postu: Czy Irbisol odpowie na kluczowy problem?

Czy Irbisol odpowie na kluczowy problem?

Twierdzę z całą mocą, że Irbisol nigdy nie wypowie się w poruszonej tu kwestii, mimo że jest absolutnie pewne, że odpowiedź zna!

Czy mam rację Irbisolu?

Irbisolu, cel do jakiego zmierzam jest następujący:
1.
Musisz zrozumieć iż na mocy matematyki ścisłej definicje implikacji w AK i KRZ są sprzeczne.
2.
Jak zrozumiesz matematyczną sprzeczność definicji implikacji w AK i KRZ to musisz zrozumieć, że wyłącznie jedna z tych definicji może być prawdziwa, druga musi być fałszywa.

Warunkiem koniecznym sensownej dyskusji między nami jest przekroczenie przez twój mózg bariery głupoty która go otacza w postaci KRZ i zrozumienie przez ciebie przede wszystkim punktu 1.
Oczywistym dla każdego matematyka jest że jeśli zrozumiesz punkt 1, to automatycznie twoje wyróżnione na czerwono stwierdzenia staną się FAŁSZEM i dopiero wtedy możemy się bić która definicja jest tą jedyną prawdziwą, ta z AK, czy ta z KRZ - bo na 100% obie prawdziwe być nie mogą i tu z pewnością się zgadzamy.

To jest trzeci post Irbisola w tym temacie gdzie zdradził swoje zasrane pytanie!
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719.html#485999

Irbisol napisał:

rafal3006 napisał:

Kod:

Schemat 2
B
______
-----o o-----
| A |
------------- | ______ |
-----| dioda LED |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------

Jaka jest twoja definicja implikacji realizowana przez powyższy układ?
Dasz radę powtórzyć, czy już zapomniałeś?

Powtarzałem ci dziesiątki razy, debilu.
KRZ:
włączony(A) => żarówka świeci
AK:
włączony(A) |=> żarówka świeci

Każdy widzi że Irbisol od pierwszego postu w tym temacie nie robi nic innego jak spierdala od mojej odpowiedzi iż to czerwone wyżej to jego potwornie śmierdzące gówno, dowód niżej!

Z dedykacją dla płaskoziemcy Irbisola:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-625.html#504837

Irbisol napisał:

Rafal3006 napisał:

Pozwól że wytłumaczę ci jaka jest jedyna poprawna definicja implikacji na gruncie KRZ

Nie pozwalam - nie interesują mnie twoje tłumaczenia, będące de facto spierdalaniem od tematu.
Tematem jest to, że masz UDOWODNIĆ, że w układzie z dwoma równoległymi przełącznikami nie zachodzi implikacja:
włączony (A) => żarówka świeci
czy też, jak wolisz
włączony (A) |=> żarówka świeci
Możesz sobie wybrać, o której implikacji piszesz (AK czy KRZ), możesz też pisać o obu.

Ty Irbisolu twierdzisz, że definicja implikacji w algebrze Kubusia w spójnikach „i’(*) i „lub”(+):
p|=>q = (p=>q)*~(q=>p) = ~p*q, gdzie p=>q=~p+q
musi być identyczna jak w Klasycznym Rachunku Zdań:
p=>q = ~p+q

Tymczasem absolutnie każdy matematyk widzi iż nasze definicje są sprzeczne!

Dowód w rachunku zero-jedynkowym!

W algebrze Kubusia definicje równoważności i implikacji są następujące.

Definicja warunku wystarczającego => w AK:
p=>q = ~p+q

1.
Definicja równoważności w AK:
Równoważność to warunek wystarczający => zachodzący w dwie strony:
p<=>q = (p=>q)*(q=>p) =1*1 =1
p<=>q = p*q+~p*~q

2.
Implikacja prosta p|=>q w AK:
Implikacja prosta p|=>q to warunek wystarczający => zachodzący wyłącznie w jedną stronę:
p|=>q = (p=>q)*~(q=>p) =1*~(0) =1*1 =1
p|=>q = ~p*q

W algebrze Kubusia na mocy definicji zachodzi:

Warunek wystarczający =>:
p=>q =~p+q
##
Równoważność <=>:
p<=>q=p*q+~p*~q
##
Implikacja prosta p|=>q:
p|=>q = ~p*q

Gdzie:
## - różne na mocy definicji

Słucham Irbisolu:
Jakie masz zastrzeżenie do powyższych definicji w AK?
Szczęka opadła - zgadza się?

Ostatnio zmieniony przez rafal3006 dnia Śro 11:11, 12 Lut 2020, w całości zmieniany 7 razy