|
Ś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.
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysł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 poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Andy72
Dołączył: 30 Sie 2010
Posty: 6690
Przeczytał: 93 tematy
Płeć: Mężczyzna
|
Wysł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 poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysł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 poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Andy72
Dołączył: 30 Sie 2010
Posty: 6690
Przeczytał: 93 tematy
Płeć: Mężczyzna
|
Wysł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 |
|
|
|
|
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
|