ŚFiNiA

[fiklit]

przeglądnąłem tylko do
"= ~(p*q)+q
=(~p+~q)+q
=~p+D = D - dziedzina "
No widzisz, mówisz o swoim wymyśle tylko.

[idiota]

Przeniesienie nawiasów to odważna matematycznie operacja, ale chyba innych to rafał nie umie przeprowadzać.

chciałbym zobaczyć, jak konkretnie rafał wyprowadza wniosek, że np. jesteś papieżem, ze zdania "jeśli 2=2+7, to Fiklit jest papieżem", ale jakbym zaczął o to pytać, to na pewno okaże się, że zanim to zostanie wyjaśnione należy bez zwłoki zająć się czymś zupełnie innym, bo bez tego nie da rady...

[rafal3006]

[fiklit]

Twoja pewność nie jest żadnym dowodem. Relacja większości liczb naturalnych też jest przechodznia, czy zatem liczby=zdania=zbiory? W AK może tak. W matematyce nie.

[idiota]

A na czym tą pewność opierasz?
Bo w normalnej logice można tym znakiem łączyć zdania, nie da się natomiast nim opisywać zbiorów. Zatem nie wiadomo na czym by miała ta pewność zasadzać.

[idiota]

Mamy chyba podobny zator w mózgu rafała jak wtedy, kiedy się upierał, że zdanie o polaku Mickiewiczu i psie o czterech nogach nie jest prawdą, bo nie istnieje czworonożny polak-pies o nazwisku Mickiewicz.
Tak sobie wbił do głowy, że nie mówi 'r' i tyle...

[rafal3006]

[idiota]

No ciekawie zabuksowało:

"Pewien jestem następujących definicji:
1.
Ziemska implikacja => = relacja podzbioru =>
2.
Definicje znaczków => i ~>:
=> - relacja podzbioru
~> - relacja nadzbioru "

za chwilę

", ja nie muszę bo mam FUNDAMENTALNIE inne definicje znaczków => i ~> - patrz post wyzej."

rafałowi się już z postu na post nie klei...

[fiklit]

No tak czasem nawet w jednym poście mu się nie klei.

Czyli jak masz swoje definicje, to mówisz o swojej teorii a nie o KRZ.

[idiota]

Które są w 100% identyczne (dla znaczków => i ~>)* jak w KRZ, tylko są z nimi FUNDAMENTALNIE różne.
To w sumie nie jest zbyt dziwne, biorąc pod uwagę, że rafał nie rozumie że coś może być np "większe lub równe" od czegoś innego.

* ktoś widział w KRZ znaczek ~>, bo jeszcze => od biedy da się spotkać, ale tego nie widziałem...

[rafal3006]

[rafal3006]

[fiklit]

Ale rafał nie napisałem, że nie gadam na inne tematy.

[rafal3006]

[Irbisol]

Dawaj żarowę

[fiklit]

Serio chce ci się to pisać, skoro wiadomo, że nie napiszesz o KRZ?

[idiota]

"krasnoludki wezmą w obroty Irbisola i raz na zawsze wybiją mu z głowy, to śmierdzące gówno, zwane KRZ."

No na pewno nie rafał, bo on odnieść się do KRZ nie potrafi, bo go to przewyższa intelektualnie.
On nadal uważa, że ze zdania "Jeśli 2+2=5 to Płock leży nad Wisłą " wynika, że Płock nad Wisłą leży, biedaczek.
I nie chce się dowiedzieć, że według KRZ NIE WYNIKA z tej implikacji to zdanie, bo by nie miał o czym pisać.

[Irbisol]

Z losowaniem też się zaplątał.
I z 1*1=1 oraz 1*1=0

[idiota]

No cóż...
Najwyraźniej nasz Frege cyzeluje te swoje algebrę zdarzeń, w której implikacja to będzie zawieranie się zbiorów zdarzeń w sobie.
Ciekawe jak to obsłuży zdania w rodzaju "Jak dziś wygra Legia, to jutro wydam przyjęcie"...
Sobie wyobrażam.

[Irbisol]

Najgorsze jest to, że on po prostu spierdala gdzie pieprz rośnie od tematów, gdzie daje dupy (a daje w każdym).
Wtedy zaczyna nowy temat, albo pierdzieli w kółko to samo co wcześniej i tak się jakoś to kręci.
Dlatego twierdzę, że z tym downem nie ma kontaktu. On nie jest responsywny, mimo że coś tam technicznie odpisuje.

[rafal3006]

[Irbisol]

[fiklit]

Nawet jeśli udaje, to (o ile nie ma generatora tych tekstów) to ja bawię się lepiej.

[idiota]

On na żywo ponoć to samo robi, nigdy nie widziałem, bo nie zamierzam na spotkaniach przy piwie o logice gadać.

[rafal3006]