ŚFiNiA

[fiklit]

No ja też bym odpowiedział TAK.
To zastanówmy się, kiedy odpowiedź na pytanie "Czy X?" brzmi "TAK".
Wg mojej intuicji jest tak wtedy, gdy uważamy, że zdanie "X" jest prawdziwe.

W AK jest inaczej.

W przypadku powyższym uważamy, że zdanie X (K lub T) jest fałszywe, ale pomimo tego na pytanie Czy X (Czy K lub T)? odpowiadamy TAK.

Właśnie powiązanie odpowiedzi na pytanie "Czy X?" z prawdziością zdania "X", (tak - prawdziwe, nie - fałszywe). jest sednem intuicyjnego pojęcia prawdy.

[Irbisol]

[lucek]

[rafal3006]

[lucek]

[rafal3006]

[lucek]

[rafal3006]

[lucek]

czyli analiza spójności wypowiedzi, wraz z kontekstem, kończy się na ostatnim wypowiedzianym zdaniu, więc nie ma problemu nawet gdyby 1*0=1
ja to nazywam logiką "dialektyczną"

[Irbisol]

[rafal3006]

[Irbisol]

[rafal3006]

[rafal3006]

Algebra Kubusia ‘2019

Autor rzeczywisty:
Kubuś - stwórca naszego Wszechświata

Rozszyfrowali:
Rafal3006 i przyjaciele

Dziękuję wszystkim, którzy dyskutując z Rafałem3006 przyczynili się do odkrycia algebry Kubusia:
Wuj Zbój, Miki, Volrath, Macjan, Irbisol, Makaron czterojajeczny, Quebab, Windziarz, Fizyk, Idiota, Sogors, Fiklit, Yorgin, Pan Barycki, Zbigniewmiller, Mar3x, Wookie, Prosiak, Lucek, Andy72, Michał Dyszyński i inni.
Szczególnie dziękuję cierpliwemu Fiklitowi za 7 letnią dyskusję, bez niego o rozszyfrowaniu algebry Kubusia moglibyśmy wyłącznie pomarzyć.

Miejsce narodzin algebry Kubusia ze szczegółowo udokumentowaną historią jej odkrycia:
Algebra Kubusia - historia odkrycia 2006-2019


Część I
Wspólna teoria podstawowa znaczków => i ~> w algebrze Kubusia i Klasycznym Rachunku Zdań
Podstawowa teoria zbiorów


Spis treści
1.0 Wprowadzenie 2
2.0 Podstawowy rachunek zero-jedynkowy 2
2.1 Definicja negacji 3
2.1.1 Prawa Prosiaczka 3
2.2 Pojęcia podstawowe 5
2.2.1 Definicje znaczków => i ~> 5
2.2.2 Definicje znaczków różne # i różne na mocy definicji ## 7
2.3 Wykresy czasowe funkcji logicznych 8
2.4 Podstawowe właściwości znaczków => i ~> 9
2.4.1 Matematyczne związki znaczków => i ~> 10
2.4.2 Matematyczne związki znaczków ~> i => 10
2.5 Prawa logiki matematycznej dla znaczków => i ~> 11
2.5.1 Prawa Kubusia 11
2.5.2 Prawa Tygryska 12
2.5.3 Prawa kontrapozycji 12
2.6 Prawo Słonia 13
2.7 Podzbiór => i nadzbiór ~> 13
3.0 Algebra zbiorów 14
3.1 Podstawowe operacje na zbiorach 15
3.2 Znaczenie przecinka w algebrze zbiorów 16
3.3 Prawo rozpoznawalności pojęcia 17


Wstęp:
Algebra Kubusia, logika matematyczna której rzeczywistym autorem jest Kubuś, stwórca naszego Wszechświata została rozszyfrowana po 13 letniej wojnie na śmierć i życie, głownie na forum sfinia.
Dlaczego to była wojna na serio, na śmierć i życie?
Bo jedna z teorii matematycznych, algebra Kubusia albo aktualna logika matematyczne ziemskich matematyków musi po prostu umrzeć. Nie jest możliwe współistnienie tych teorii, bowiem praktycznie 100% definicji w tych konkurencyjnych systemach jest sprzecznych.

Mój upór w rozszyfrowaniu poprawnej logiki matematycznej spowodowały zdania prawdziwe w aktualnej logice matematycznej ziemian zwanej Klasycznym Rachunkiem Zdań.
Tego typu zdania prawdziwe:
Jeśli 2+2=4 to Płock leży nad Wisłą
Jeśli 2+2=5 to 2+2=4
Jeśli 2+2=5 to jestem papieżem
etc
Dla każdego, trzeźwo myślącego człowieka powyższe zdania to najzwyklejszy bełkot a nie logika matematyczna zrozumiała dla normalnego człowieka.
Dowód, iż widzą tu problem sami matematycy jest w artykule dr. Marka Kordosa.
[link widoczny dla zalogowanych]


1.0 Wprowadzenie

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć.
Alfred Hitchcock

Zakładam, że do KRZ należą wszystkie 16 znane ziemianom definicje spójników logicznych, błędnie zwane przez ziemian operatorami logicznymi.
Na mocy powyższego założenia znaczki kierunkowe => i ~> istnieją zarówno w algebrze Kubusia, jak i w Klasycznym Rachunku Zdań.
Z faktu że w oficjalnym KRZ nie ma znaczka ~> nie wynika, iż znaczek ten nie istnieje w KRZ.
Znaczek ~> istnieje w KRZ tylko nie został jeszcze przez ziemskich matematyków poprawnie matematycznie zinterpretowany - dziwne to jest bo mieli 2500 lat czasu (od Sokratesa) by ten znaczek i jego związek ze znaczkiem => zauważyć.


2.0 Podstawowy rachunek zero-jedynkowy

Dowolny ziemski matematyk który będzie kwestionował prawa podstawowego rachunku zero-jedynkowego opisujące matematyczne związki między znaczkami (spójnikami) => i ~> powinien skreślić sprzed swojego nazwiska słówko „matematyk”.
Kubuś - stwórca naszego Wszechświata

Rachunek zero-jedynkowy dzielimy na:
I.
Podstawowy rachunek zero-jedynkowy gdzie nie interesuje nas znaczenie zer i jedynek wewnątrz badanych spójników logicznych
II.
Rozszerzony rachunek zero-jedynkowy, gdzie interesuje nas również znaczenie zer i jedynek wewnątrz badanych spójników logicznych

Podstawowy rachunek zero-jedynkowy jest identyczny w algebrze Kubusia i logice ziemskich matematyków.

Podstawowy rachunek zero-jedynkowy omówimy na przykładzie znaczków (spójników) => i ~>.
Definicje zero-jedynkowe znaczków => i ~> są doskonale znane zarówno w algebrze Kubusia jak i w logice ziemskich matematyków.


2.1 Definicja negacji

Definicja zmiennej binarnej:
Zmienna binarna (zmienna dwuwartościowa) to symbol mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1

Znaczenie dwóch wyróżnionych znaczków 0 i 1 w logice matematycznej:
1 - prawda
0 - fałsz

Definicja negacji (~)

[rafal3006]

Armagedon Klasycznego Rachunku Zdań!

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1500.html#431457

[lucek]

Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)

czyli wg Ciebie to:
(p=1) = (~p=0)
1=0

bo wg mnie to:
(p=1) =~ (~p=0)
1=1

co mnie bardzo cieszy, zważywszy na fakt pozbycia się trzody z pięknego języka matematyki i wprowadzenia prawa podwójnego przeczenia z KRZ

oczywiście można wprowadzić dla "(p=1) = (~p=0) " sensowne znaczenie, ale wtedy należało by się go konsekwentnie trzymać, lub zaznaczać, zmianę znaczenia zapisu.

---- no i w ogóle brakuje definicji "=", bo na pewno nie jest to definicja klasyczna, a raczej "dialektyczna"

PS

albo:

bo wg mnie to:
[ (p=1)#(~p=0) ] = 1
1#0

[rafal3006]

[lucek]

[rafal3006]

Lucek,
To jest tożsamość logiczna
(p=1)=(~p=0)
czego dowód dałem na przykładzie:
(K=1)
Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
znaczy to samo co:
(~K=0)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)

Takie rzeczy w logice matematycznej są dopuszczalne.
[link widoczny dla zalogowanych]

[lucek]

[rafal3006]

[lucek]

[rafal3006]

[lucek]

[rafal3006]