Gówno-logika ziemian zwana Klasycznym Rachunkiem Zdań

Ś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

Gówno-logika ziemian zwana Klasycznym Rachunkiem Zdań
Idź do strony Poprzedni 1, 2, 3 ... 34, 35, 36 ... 53, 54, 55 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: 35368
Przeczytał: 20 tematów

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

Wysłany: Pon 15:17, 11 Mar 2019 Temat postu:

Irbisol napisał:

rafal3006 napisał:

Irbisol napisał:

Downie, albo wykaż że to co napisałem nie jest implikacją (instrukcja wyżej) albo wskaż, gdzie w tej implikacji jest rzut monetą.
To wszystko. Swoje pytania - jak już pisałem- możesz sobie wsadzić w dupę, dopóki nie skończysz tego tematu.

W poście wyżej udowodniłem ci (dopisałem końcówkę) iz z punktu widzenia trzeciego obserwatora mamy tu ewidentne "rzucanie monetą"

Downie, a kto cię tu, kurwa, pyta o jakikolwiek dowód?
Masz WSKAZAĆ, w której linii tego kodu implikacji jest rzucanie monetą:

Kod:

1. if (wlaczony(A)) {
2. zarowka = true;
3. } else {
4. if (wlaczony(B))
5. zarowka = true;
6. else
7. zarowka = false;
8. }

A jeżeli uważasz, że nie jest to implikacja
włączony A => żarówka świeci
to wykaż, że
nie są spełnione zależności:
1. włączony A, żarówka na 100% świeci
2. wyłączony A, żarówka może świecić, ale nie musi

Pojąłeś, palancie, czy przez całe życie będziesz spierdalał?

Przetłumaczmy to na algorytm zrozumiały dla 7-mio latka

Kod:

U2
Z - żarówka
O--------X------------------
| |
230V O | O |
| A | B A,B - wyłączniki
O O | O |
| | |
----------------------------

Irbisolowy algorytm procedury obsługującej zadany układ jest następujący:

Kod:

1. if (A=1) - czy wciśnięty A?
2. Z=1
3. return - TAK
4. else
5. if (B=1) - czy wciśnięty B?
6. Z=1
7. return - TAK
8. else
9. Z=0 - nie jest wciśnięty ani A, ani też B (~A*~B=1)
10. return

Co ten twój algorytm ma wspólnego z ziemska implikacją?

Czekam kiedy zrozumiesz iż rozmawiamy o prawdziwości/fałszywości zdania warunkowego jak niżej!
A.
Jeśli przełącznik A jest wciśnięty to na 100% => żarówka świeci się
A=>Z =1
Włączenie A=1 jest wystarczające dla zaświecenia Z=1

Ziemskie prawo eliminacji implikacji:
1.
Y = A=>Z = ~A+Z
Kiedy zdanie 1 będzie fałszywe?
Negujemy stronami:
2.
~Y=~(A=>Z) = A*~Z
co w logice jedynek oznacza:
~Y=1 <=> A=1 i ~Z=1
Prawo Prosiaczka:
(~Y=1)=(Y=0)
Stąd zapis tożsamy:
Y=0 <=> A=1 i ~Z=1
Czytamy:
Zdanie 1 będzie fałszywe (Y=0) wtedy i tylko wtedy gdy przełącznik będzie włączony (A=1) i żarówka nie będzie się świecić (~Z=1)

Kwadratura koła dla Irbisola:
Pokaż mi w którym miejscu twój algorytm zwraca fałsz Y=0 dla A=1 i ~Z=1
oraz prawdę dla pozostałych przypadków:
Y = A=>Z = ~A+Z = A*Z + ~A*~Z + ~A*Z
Innymi słowy:
Zdanie 1 będzie prawdziwe gdy zajdą następujące zdarzenia:
A: A*Z=1*1=1 - A=1 i Z=1
lub
C: ~A*~Z=1*1=1 - ~A=1 i ~Z=1
lub
D: ~A*Z =1*1=1 - ~A=1 i Z=1

Czas START!

P.S.
Zauważ, że jak ktoś wypowiada zdanie:
A.
Jeśli przełącznik A jest wciśnięty to na 100% => żarówka świeci się
A=>Z =1
Włączenie A=1 jest wystarczające dla zaświecenia Z=1

To chce wiedzieć kiedy to zdanie będzie prawdziwe:
Y = (A=>Z) = ~A+Z
co w logice jedynek oznacza:
Y=1 <=> ~A=1 lub Z=1
oraz kiedy to zdanie będzie fałszywe:
~Y =~(A=>Z) = A*~Z
co w logice jedynek oznacza:
~Y=1 <=> A=1 i ~Z=1
Prawo Prosiaczka:
(~Y=1)=(Y=0)
Stąd zdanie tożsame:
(Y=0) <=> A=1 i ~Z=1

Ostatnio zmieniony przez rafal3006 dnia Pon 15:23, 11 Mar 2019, w całości zmieniany 2 razy