 |
Ś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: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Śro 14:07, 29 Kwi 2009 Temat postu: |
|
|
Śmiechu warta - dzisiejsza logika.
| NoBody napisał: |
definiowanie pierścienia jest poza matematyką ?
|
Tu NoBody próbuje udowodnić że istnieje liczba podzielna przez 8 i niepodzielna przez 2
| NoBody napisał: |
Jak uwzględnię wszystkie psy to mam:
| Kod: |
P 4L lub ~4L P=>(4L lub ~4L)
0 1 1
1 1 1
|
Jeżeli zwierze jest psem, to niewiadomo czy ma cztery łapy.
|
Tu NoBody próbuje dowieść że jego logika jest lepsza od Kubusiowej bo uwzględnia także psy kalekie.
O tym że są psy kalekie wie każde dziecko w przedszkolu - to nie jest logika.
| NoBody napisał: |
Dyskutujesz ze mną, i ja nie wywalam ich do kosza.
|
Tu NoBody dowodzi, że jest mądrzejszy od wykładowców logiki bo ci w dyskusjach z Kubusiem „wyrzucali kalekie psy do kosza”, a On tego nie robi
| NoBody napisał: |
heh ... dokładny opis świata rzeczywistego:
P * 4L => zwierze nie jest kalekie
|
Tu Nobody na twierdzenie Kubusia że jego logika opisuje świat rzeczywisty z dokładnością 99,9% zakładając że psów bez łap jest w ogólnej populacji 0,1% staje twardo w obronie kalekich psów.
|
|
| Powrót do góry |
|
 |
|
|
|
| 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: Nie 20:12, 03 Maj 2009 Temat postu: |
|
|
| FlauFly napisał: | | To jakiś bot? |
| idiota napisał: | myślę ze dałoby się taki napisać...
tylko nie wyobrażam sobie takiego sqrwiela informatyka.
takie coś to tylko Bug w swej dobroci nieskończonej wymyślić mug... |
Nie informatyka lecz elektronika.
Algebra Boole’a to algebra bramek logicznych, nic więcej
Kubuś to specjalista od cyfrowych układów logicznych (bramek) w których matematycy mają zerowe doświadczenie praktyczne.
Cytat z podręcznika matematyki do I klasy LO:
[link widoczny dla zalogowanych]
Twierdzenia matematyczne na ogół mają postać implikacji. Jeżeli implikacja p ⇒ q jest twierdzeniem, to jego poprzednik p nazywamy założeniem, następnik q - tezą założenia.
Jeżeli implikacja p ⇒ q jest twierdzeniem, to p jest warunkiem wystarczającym na to, aby q, a q warunkiem koniecznym na to, aby p.
Pomijam fakt, że twierdzenia matematyczne to równoważności a nie implikacje …
Prawdą z powyższego jest to:
W implikacji p=>q zachodzi warunek wystarczający między p i q zaś w drugą stronę w implikacji odwrotnej q~>p zachodzi warunek konieczny między q i p.
Nie ma specjalnej implikacji dla matematyki w której zachodzi warunek wystarczający między p i q i konieczny między q i p i jakiejś innej dla przypadków poza matematyką. Każdy kto tak myśli jest w fundamentalnym matematycznym błędzie.
Weźmy taką implikację prostą:
Jeśli zwierzę jest psem to ma 4 łapy
P=>4P
p=>q
Implikacja prosta prawdziwa bo bycie psem jest wystarczające dla czterech łap, jeśli wystarczające to pies MUSI mieć 4 łapy
gdzie:
=> - operator implikacji prostej, spójnik ‘musi’ =. miedzy p i q ze spełnionym warunkiem wystarczającym
Implikacja odwrotna do powyższej:
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P
q~>p
Cztery łapy są konieczne dla psa zatem implikacja odwrotna jest prawdziwa, jeśli 4 łapy są konieczne to ich posiadacz MOŻE być psem
gdzie:
~> - operator implikacji odwrotnej, spójnik „może” ~. między p i q ze spełnionym warunkiem koniecznym
Prawa Kubusia:
p=>q = ~p~>~q
P=>4L = ~P~>~4L - po obu stronach mamy identyczną bramkę logiczną implikacji odwrotnej, to dwie identyczne matematycznie implikacje
czyli:
Jeśli zwierzę nie jest psem to może nie mieć czterech łap
~P~>~4L
q~>p = ~q=>~p
4L~>P = ~P=>~4L - tu po obu stronach mamy identyczna bramkę logiczną implikacji odwrotnej, to dwie identyczne matematycznie implikacje
czyli:
Jeśli zwierzę nie jest psem to na pewno nie ma czterech łap
~P=>~4L
Prawa Kubusia:
A.
p=>q = ~p~>~q - zamiana operatora => na ~>
B.
p~>q = ~p=>~q - zamiana operatora ~> na =>
Definicje:
A.
p=>q = ~p+q - definicja implikacji prostej
B.
p~>q = p+~q - definicja implikacji odwrotnej
Dowód A.
~p~>~q = (~p)+~(~q) = ~p+q
Prawa strona jest identyczna jak prawa strona definicji A zatem:
p=>q = ~p~>~q
CND
Dowód B.
~p=>~q = ~(~p)+(~q) = p+~q
Prawa strona jest identyczna jak prawa strona definicji B zatem:
p~>q = ~p=>~q
CND
Definicjami implikacji prostej i odwrotnej plus prawami Kubusia doskonale posługują się wszystkie dzieci w przedszkolu.
Matematycy ograniczyli definicję algebry Boole’a wyłącznie do ślepych operatorów AND i OR. Dzieci w przedszkolu znają pełną i poprawną definicję algebry Boole’a w której operatory implikacji prostej => i implikacji odwrotnej ~> plus prawa Kubusia włączone są do definicji algebry Boole’a.
Implikacja używana przez przedszkolaków jest nieprawdopodobnie prosta, zaś ta używana przez matematyków nieprawdopodobnie skomplikowana i na dodatek fałszywa bo który matematyk wie że:
Kto nie wierzy we mnie pójdzie do piekła
~W~>P
…. a co z wierzącymi ?
Prawo Kubusia:
~W~>P = W=>~P
Kto wierzy we mnie pójdzie do nieba
W=>N
oczywiście:
~P=N
to dwa matematycznie absolutnie równoważne zdania ?
Ostatnio zmieniony przez rafal3006 dnia Nie 21:16, 03 Maj 2009, 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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
