Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Gówno-logika ziemian zwana Klasycznym Rachunkiem Zdań
Idź do strony Poprzedni  1, 2, 3 ... 53, 54, 55
 
Napisz nowy temat   Odpowiedz do tematu    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: 32177
Przeczytał: 39 tematów

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

PostWysłany: Pią 18:39, 01 Lis 2019    Temat postu:

Andy72 napisał:
Jak możesz wykazywać sprzeczność implikacji w KRZ? Może definicja Ci się nie podobać ale sprzecznośći nie wykażesz.

Wykazałem w poście wyżej.
Irbisol to wie, bowiem udowodnił że zna prawa KRZ-tu dla spójników => i ~>.

Andy, ty poczekaj chwilkę bo właśnie piszę algebrę Kubusia dla takich jak ty, którzy nie znają praw KRZ-tu np. tych praw.
Prawa Kubusia:
p=>q = ~p~>~q
p~>q = ~p=>~q

Andy, za chwilę powstanie nowy wątek:
"Wielki test algebry Kubusia"
mający na celu wykazanie, że algebra Kubusia jest zrozumiała dla uczniów I klasy LO, zatem ludzi takich jak ty, bo nie wątpię, że I klasę LO zaliczyłeś.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Pią 18:57, 01 Lis 2019    Temat postu:

Po co wymyślać co innego, jak KRZ działa?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32177
Przeczytał: 39 tematów

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

PostWysłany: Pią 19:15, 01 Lis 2019    Temat postu:

Andy72 napisał:
Po co wymyślać co innego, jak KRZ działa?

Powtórzę:
KRZ jest wewnętrznie sprzeczny co udowodniłem dwa posty wyżej.
Póki co ty tego nie rozumiesz, ale na 100% zrozumiesz - poczekaj chwilkę na "Wielki test algebry Kubusia"
Nie ma sensu abyś w koło Macieju powtarzał że KRZ nie jest wewnętrznie sprzeczna, jak ewidentnie jest.
Nie jest wewnętrznie sprzeczna algebra Boole'a bowiem inżynierowie nawet nie wiedzą co oznacza skrót KRZ, czyli totalnie nie znają gówna zwanego Klasycznym Rachunkiem Zdań.
Twardy dowód to JA, który kończyłem elektronikę na PW-wa gdzie algebra Boole'a wykładana jest na najwyższym światowym poziomie:
- minimalizacja funkcji algebry Boole'a
- walka z wyścigami i hazardem, nieodłączną cechą bramek logicznych gdzie zmiana sygnału z 0 na 1 albo odwrotnie nie odbywa się w czasie nieskończenie krótkim, co jest fizyczną oczywistością.
O ostatnim klasyczni matematycy mają ZEROWE pojęcie.

Pierwszy raz w życiu (powtórzę: w życiu) z pojęciem Klasyczny Rachunek Zdań spotkałem się 25 lat po studiach na forum śfinia.
Gdy Wuj i inni zaznajomili mnie o co chodzi w gównie zwanym KRZ to się we mnie zagotowało - bo to było najzwyklejsze robienie gówna z mojej ukochanej algebry Boole'a, którą w postaci bramek logicznych i języka asemblera w programowaniu używam non-stop od 35 już lat.

Uwaga dla Irbisola i innych:
Ja nie znam ani jednego języka wysokiego poziomu np. C+ - non stop programuję sterowniki wyłącznie w asemblerze - dokładnie dlatego techniczną algebrę Boole'a znam perfekcyjnie i nigdy nie pozwolę ośmieszyć algebry Boole'a takim potwornie śmierdzącym gównem!

Definicja implikacji w KRZ jest bowiem taka:
http://www.sfinia.fora.pl/forum-kubusia,12/jaka-jest-kubusiowa-definicja-implikacji-czesc-ii,14655.html#484181
Rafal3006 napisał:

http://www.sfinia.fora.pl/forum-kubusia,12/elementarz-algebry-boole-a-irbisol-macjan-str-10,2605-240.html#55877
macjan napisał:

rafal3006 napisał:
Zwierzątka które nie odróżniały nagrody od kary dawno wyginęły.

Tak samo jak zwierzątka, które nie odróżniały łososia od wieloryba. Czy to powód, by zdania logiczne mówiące o łososiu interpretować inaczej, niż zdania mówiące o wielorybie? Zrozum - treść zdania, czyli to, o czym ono mówi, nie może w żaden sposób wpływać na jego zapis symboliczny. Zdanie "... i ..." jest koniunkcją niezależnie od tego, co wstawimy w wykropkowane miejsca. Tak samo zdanie "jeśli ... to ..." jest implikacją.

Innymi słowy:
Żądasz ode mnie Irbisolu, bym uznał za implikacje prawdziwe najzwyklejsze gówna typu:
Jeśli 2+2=4 to Płock leży nad Wisłą
Jeśli 2+2=5 to jestem papieżem
Jeśli 2+2=5 to 2+2=4
etc

Kwadratury koła dla Irbisola:
1.
1a)
Udowodnij że w implikacji:
Jeśli 2+2=4 to Płock leży nad Wisłą
2+2=4 jest wystarczające => do tego aby Płock leżał nad Wisłą
1b)
Udowodnij że w implikacji odwrotnej:
Jeśli Płock leży nad Wisłą to 2+2=4
Położenie Płocka nad Wisłą jest wystarczające => do tego aby 2+2=4
2.
Udowodnij że w implikacji:
Jeśli 2+2=5 to jestem papieżem
2+2=5 jest wystarczające => do tego abym był papieżem
3.
Udowodnij że w implikacji:
Jeśli 2+2=5 to 2+2=4
2+2=5 jest wystarczające => do tego aby 2+2=4

Czas START!

To jest dowód debilizmu absolutnego KRZ!

P.S.
Irbisol napisał:

[link widoczny dla zalogowanych]
p => q jest warunkiem wystarczającym dla q, a q jest warunkiem koniecznym dla p.
Czyli w KRZ warunek wystarczający to implikacja, a konieczny to implikacja odwrotna: q <= p.
Tak, oni o tym doskonale wiedzą.

Irbisolu, znalazłeś link jakiegoś debila (co z tego że ma Dr.) który twierdzi że w KRZ zachodzą tożsamości:
Warunek wystarczający => = implikacja
Warunek konieczny ~> = implikacja odwrotna

Zapewniam cię że drugiego takiego debila w Wikipedii nie znajdziesz.
Czy możesz poszukać?


Ostatnio zmieniony przez rafal3006 dnia Sob 7:04, 02 Lis 2019, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Pią 19:59, 01 Lis 2019    Temat postu:

W jaki sposób z poniższych
p=>q = ~p~>~q
p~>q = ~p=>~q
wynika sprzeczność implikacji w KRZ ?


Ostatnio zmieniony przez Andy72 dnia Pią 20:00, 01 Lis 2019, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 53, 54, 55
Strona 55 z 55

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin