ŚFiNiA

konrado5

Czy rafal3006 mógłby nie przynudzać? Bo pisze ciągle o tym samym w taki sposób, że się tego nie chce czytać.

idiota

toż to alogiczny spambot w końcu, nie?

Superstar

Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
Algebra Kubusia to bardzo prosta matematyka na poziomie 5 latka której ludzie nie rozumieją...
...
itd.

Barah/konto usunięte

On dyskutuje sam ze sobą...

konrado5

Superstar

nom ja też tego nie rozumiem, rafal3006 masz PR na poziomie Lecha K. może czas coś zmienić , a może nie.

konrado5

rafal3006: naucz się pisać krótko i treściwie, nie koloryzując do przesady wszystkiego.

rafal3006

Bardzo proszę, krótko i treściwie.

Idiota nigdy tego nie zrozumie natomiast matematycy na matematyce.pl załapali ... bronią się że to jest dobre ale w matematyce nieprzydatne - to oczywiście bzdura.

Oto cały fundament poprawnej algebry Boole'a na dwóch stronach

Definicja:
Nowa era w logice klasycznej, to zapisanie fundamentu algebry Boole’a jak niżej bez użycia idiotycznych zer i jedynek … to po prostu naturalna logika człowieka.

Algebra Kubusia
Nowa era w logice - prawidłowy fundament logiki w pigułce

Fragment z podpisu …

Autor: Kubuś - wirtualny Internetowy Miś

Kim jest Kubuś ?
Kubuś to Miś kosmita, wysłannik obcej cywilizacji, którego zadaniem było przekazanie ludziom tajemnicy implikacji. W mniemaniu Kubusia zadanie zostało wykonane, ale wcale nie jest pewne czy ludzie to załapią … cóż, będzie co ma być, niebo albo piekło.

1.0 Notacja

Notacja w algebrze Kubusia jest identyczna jak notacja technicznej algebry Boole’a czyli tej, której używają praktycy.

Symboliczna algebra Kubusia:
Y - prawda, dotrzymam słowa
~Y - fałsz, kłamstwo
Rachunek zero-jedynkowy:
1 = prawda
0 = fałsz
Twarda prawda/fałsz - zachodzi zawsze, bez żadnych wyjątków (warunek wystarczający =>)
Miękka prawda/fałsz - może zajść, ale nie musi (warunek konieczny ~>)
# - różne
* - symbol iloczynu logicznego (AND), w mowie potocznej spójnik 'i'
+ - symbol sumy logicznej (OR), w mowie potocznej spójnik "lub"
~ - przeczenie, negacja (NOT), w mowie potocznej "NIE"
~(...) - w mowie potocznej "nie może się zdarzyć że ...", "nie prawdą jest że ..."
<=> - symbol równoważności

W tym miejscu początkujący czytelnicy proszeni są o przeskok do punkt 2.0 gdzie rozpoczyna się elementarz algebry Boole’a od zupełnego zera. Rozdział 1.0 to streszczenie całego podręcznika w pigułce, oczywiście można na to zerknąć, ale z pewnością będą to dla początkującego czytelnika nic nie mówiące krzaczki.

1.1 Fundament logiki klasycznej w pigułce

Logika klasyczna zbudowana na zaprezentowanym tu fundamencie to 100%, poprawna algebra Boole’a. Niemożliwe są tu jakiekolwiek paradoksy znane w starej logice klasycznej. W poprawnej matematyce to po prostu niemożliwe.
Algebra Boole’a to algebra bramek logicznych która ma zero wspólnego z matematyką klasyczną np. całki, ekstrema funkcji itp. Prawa tu obowiązujące nie muszą pokrywać się z aksjomatami wyznaczonymi dla matematyki klasycznej,

Algebra Kubusia to symboliczna algebra Boole’a której fundamentem w obszarze implikacji są nieznane ludziom, definicje implikacji prostej => i odwrotnej ~>. Oczywiście chodzi tu o interpretacje odpowiednich tabel zero-jedynkowych, znanych od prawie 200 lat.

1.1.1 Funkcja logiczna

Definicja:
Funkcja logiczna Y to funkcja n-zmiennych binarnych połączonych operatorami AND(*) lub OR(+):
Y = A+(B*C) ….

1.1.2 Definicja logiki ujemnej

Definicja:
Logika dodatnia (Y) to odpowiedź na pytanie kiedy dotrzymam słowa (wystąpi prawda), zaś logika ujemna (~Y) to odpowiedź na pytanie kiedy skłamię (wystąpi fałsz).

Związek logiki dodatniej z logika ujemną opisuje równanie:
Y = ~(~Y) - prawo podwójnego przeczenia

1.1.3 Definicja implikacji prostej

Definicja implikacji prostej:
p=>q = ~p+q
Jeśli zajdzie p to „musi” => zajść q
p musi być warunkiem wystarczającym dla q
=> - operator implikacji prostej, spójnik „musi” ze spełnionym warunkiem wystarczającym

1.1.4 Definicja implikacji odwrotnej

Definicja implikacji odwrotnej:
p~>q = p+~q
Jeśli zajdzie p to „może” ~> zajść q
p musi być warunkiem koniecznym dla q
~> - operator implikacji odwrotnej, spójnik „może” ze spełnionym warunkiem koniecznym

Warunki wystarczający w implikacji prostej => i konieczny w implikacji odwrotnej ~> wynikają bezpośrednio z dziewiczych definicji zero-jedynkowych tych implikacji.

1.1.5 Spójniki zdaniowe

Spójniki zdaniowe:
=> - operator implikacji prostej, spójnik „musi” między p i q ze spełnionym warunkiem wystarczającym
~> - operator implikacji odwrotnej, spójnik „może” między p i q ze spełnionym warunkiem koniecznym
~~> - naturalny spójnik „może”, wystarczy jedna prawda, nie jest to implikacja odwrotna zatem warunek konieczny tu nie zachodzi

1.2 Najważniejsze prawa algebry Boole’a

Zaprezentowane tu prawa to fundament logiki człowieka:

Logika człowieka = poprawna algebra Boole’a

1.2.1 Operatory AND i OR

Operatory AND i OR - przemienność argumentów zachodzi

OR(+)
Y=p+q
~Y=~p*~q
Y=~(~Y)
stąd:
p+q = ~(~p*~q) - prawo de’Morgana

AND(*)
Y=p*q
~Y=~p+~q
Y=~(~Y)
stąd:
p*q = ~(~p+~q) - prawo de’Morgana

Prawo przejścia do logiki przeciwnej:
Negujemy argumenty i wymieniamy operatory.

1.3 Implikacja

Implikacja - przemienności argumentów nie zachodzi
Dowód pkt. 6.1

1.3.1 Prawa Kubusia

Prawa Kubusia:
p=>q = ~p~>~q - zamiana operatora => na ~>
p~>q = ~p=>~q - zamiana operatora ~> na =>
W prawach Kubusia występuje tożsamość gwarancji.

Dowód:
p=>q = ~p+q - definicja implikacji prostej
p~>q = p+~q - definicja implikacji odwrotnej
~p~>~q = (~p)+~(~q) = ~p+q = p=>q
~p=>~q = ~(~p)+(~q) = p+~q = p~>q
Doskonale widać zachodzące tożsamości w poziomie nie zachodzące ani w pionach, ani po przekątnych.

Prawo przejścia do logiki przeciwnej:
Negujemy argumenty i wymieniamy operator na przeciwny
Uwaga:
Zachodzące prawa Kubusia są dowodem implikacji z gwarancją.

1.4 Równoważność

Zero-jedynkowa definicja równoważności:
p<=>q = p*q+~p*~q
Znaczy się równanie algebry Boole’a opisujące tabelę zero-jedynkową.

Wszelkie tabele zero-jedynkowe w logice to epoka dinozaurów … czemu nikt nie zauważył iż żyjemy w XXI wieku, epoce komputerów i Internetu ?

Definicja operatorowa równoważności:
p<=>q = (p=>q)*(~p=>~q) = (p=>q)*(q=>p) - definicja operatorowa równoważności
gdzie:
p=>q, ~p=>~q, q=>p - zachodzące warunki wystarczające, nie są to implikacje

Dowód:
W równoważności zachodzi przemienność argumentów zatem:
~p=>~q = p~>q = p+~q = ~q+p = q=>p
gdzie:
~p=>~q = p~>q - prawo Kubusia

W twierdzeniach matematycznych zdecydowanie łatwiejsza jest definicja:
p<=>q = (p=>q)*(~p=>~q)
Oczywiście, udowodnienie równoważności z wykorzystaniem powyższej definicji, jest dowodem zachodzącego warunku wystarczającego w stronę q=>p czyli pewne jest że:
p<=>q = (p=>q)*(q=>p)

1.4.1 Prawo kontrapozycji

Prawo kontrapozycji:
p=>q = ~q=>~p

Dowód:
W równoważności zachodzi przemienność argumentów zatem:
~q=>~p = q~>p = q+~p = ~p+q = p=>q
gdzie:
~q=>~p = q~>p - prawo Kubusia

1.5 Prawo Sowy

Prawo Sowy
W algebrze Boole’a jeśli coś jest implikacją to nie może być równoważnością
W algebrze Boole’a jeśli coś jest równoważnością to nie może być implikacją

Implikacja i równoważność to dwa oddzielne światy matematyczne pomiędzy którymi nie zachodzą żadne związki matematyczne.

rafal3006

konrado5

A ten znowu swoje. To jest spamowanie, przecież to nie jest tematem wątku.

idiota

a nie mówiłem?

na takiego działa tylko ostracyzm.

rafal3006

idiota

wedle idioty takie sformułowania jak "prawie wszystkie cosie są jakieś"to jedyne na co stać twoją kretyńską "krystalicznie czystą, ścisłą matematykę algebry kubusia" czyli makulatura.

debil se wydumał "wyjątki od logiki"...

trzeba być tłukiem potwornym, coby tworzyć algebrę co ją FALSYFIKUJE (!!!) każdy pies z obciętą łapą.

logika nauką empiryczną...

BOGOWIE!

rafal3006

Przejdźmy zatem do szczegółów ..

Rogal to na matematce.pl moderator czyli 4200 postów i 320 pochwał. Obrażony na tw. Pitagorasa gdzie przyznał że w normalnym świecie to równoważność a nie implikacja jak to pisze w Wikipedii napisał.

idiota

nie będzie żadnych szczegółów.
logika jest ogólna i jeden pies bez łapy wystarczy by pokazać, że bredzisz.
nie dam się wciągnąć w twoje kretynizmy bo mi czasu na ciebie szkoda i jeszcze nie na temat. te bzdury sobie powielaj w swoich tematach, puki cię nie zbanuje jaki litościwy mod.
spieprzaj.

rafal3006

Co ty bredzisz idioto, co jest warta logika która ni jak ma sie do rzeczywistości np. idiotyczne przekonanie logików iż równoważność to iloczyn logiczny dwóch implikacji prostych np. Rogal co widać wyżej ...

Miałeś obalić implikacje analogiczną do psa:

P8=>P2

Rozumiem że podwinąłeś ogonek i zwiewasz, masz od Kubusie kopa na rozpęd :grin:

Dobranoc Idioto ...

wujzboj

Rafał, podaj przykład twierdzenia matematycznego, które twoim zdaniem jest równoważnością, a zdaniem podręczników - implikacją.

rafal3006

Twierdzenie Pitagorasa:

Fizyk:
ani to równoważność ani implikacja

Uczy:
To implikacja

Kubuś:
Ewidentna równoważność

Czemu Pani w szole daje uczniom zadanie, aby udowodnili iż tw. Pitagorasa to implikacja :shock:

... autentyczne, mogę link poszukać.

Eremita

rafal3006

idiota

straszne!
nie mogą istnie ć psy z tzrzema łapami bo to rozsadza rachynek debilkowi,więc je musi zignorować...
słodkie,
i jeszcze ciągle kretyn pisze o "krystalicznej logice" a widzć, że to brednie...
jak śmią istnieć trzynogie psy...

ten temat to karmienie trola.
proponuję zamknięcie.

Superstar

Pamiętajcie że złość piękności szkodzi.

rafal3006

abangel666

rafal3006