ŚFiNiA

Przepraszam, ale nie będę w stanie tego kontynuować, może ktoś inny się podejmie.

OK, na razie bez ustalania przyczyny i skutku. Zobaczymy, co z tego wyjdzie.

Badamy związek przyczynowo-skutkowy.

Definicja Uniwersum:
Uniwersum to zbiór wszystkich pojęć zrozumiałych dla czł ...

p - konkretne pojęcie z obszaru Uniwersum.
~p=OK, ale o to właśnie mi chodziło. "poza" w znaczeniu "oprócz", "za wyjątkiem".

Definicja ~p:
~p to zbiór wszystkich po ...

Badamy związek przyczynowo-skutkowy.

Definicja Uniwersum:
Uniwersum to zbiór wszystkich pojęć zrozumiałych dla człowieka.

Definicja p:
p to podzbiór Uniwersum. Oznacza przyczynę.

Definicja ...

rafal3006, muszą (=>), albo: powinny (|=) to tylko dla tych działa dobrze, resztę da się pewnie poprawić, tylko że mam teraz inny dylemat.

~p i ~q w odniesieniu do dziedziny czy do Uniwersum? W ...

Badamy związek przyczynowo-skutkowy.

Definicja Uniwersum
(...)

Definicja p
p to przyczyna

Definicja q
q to skutek

Definicja ~p
~p to każde pojęcie w Uniwersum poza p

Definicja ~q
~ ...

Powinien nie jest tu idealnym określeniem. Bo to na pewno nie jest powinność. W tej chwili dokładniejszego jednak nie widzę.

~~> wprowadzał chaos. Może to, może tamto i nie wiadomo, o co chodzi.

Definicja warunku wystarczającego
Warunek wystarczający zachodzi wtedy i tylko wtedy gdy p zawiera się w q. Zachodzi gwaran ...

Nie dotrzymam słowa wtedy i tylko wtedy gdy (...) itd. To może jeszcze inaczej: kiedy ktoś komuś mówi "kłamiesz", to jest to jego ocena na podstawie tego, co widzi, jego interpretacja rzeczy ...

wielki szacun, że Ci się chce, ale nie wróżę powodzenia. Już wiele lat się ludziom chciało! Zauważ, że Rafał wciąż nazywa swoją teorię ścisłą. On nie odbiera komunikatów. Często masz wrażenie, że gdy ...

To był raczej ślepy zaułek z mojej strony. Ja się wycofuję z postulatów.

„Na pewno” = musi, na 100%, z całą pewnością etc
„może” = „może być”, nie musi, nie na 100%, nie jest pewne etcAle przecież od "może" masz "operat ...

Pamiętasz jak walczyłeś z tym:
~P3~>~P6
próbując udowodnić że tu nie zachodzi warunek konieczny ~>
… i co?
Jednak zachodzi!Ano zachodzi, chociaż jest to coś więcej niż tylko &q ...

Ja ją zaakceptowałem, ale Ty jej nie zaakceptowałeś, wobec tego AK pozostaje błędna. AK ma być jednoznaczna. Robisz obliczenia pod wynik? Nie. Osoba postronna, która miałaby się zaznajomić z AK TP=> ...

Mówisz o implikacji, a ja mówię, że TP=>SK to implikacja prosta w AK, co przeczytałem wyżej od Ciebie.

Na podstawie definicji warunku koniecznego ~>, przy której kiedy próbowałem zmieniać, mn ...

Ale przecież mamy zdanie:
TP=>SK = ~TP~>~SK (zachodzi, więc jest implikacją prostą na postawie definicji implikacji prostej)

A może jeszcze inaczej:
<-> „może”
<= „powinien” (warunek konieczny)
=> „musi” (warunek wystarczający)
~> „nie wolno”
|=> ...

"Znaczki =>, ~> i ~~> z algebry Kubusia mają pokrycie w definicjach zero-jedynkowych dwuargumentowych operatorów logicznych."
Mają, ale czy ~> oznacza "może" i "w ...

<-> „może”, (możliwość; jest przemienna)
<= „powinien” (warunek konieczny)
=> „musi” (warunek wystarczający)
~> „nie wolno”
|=> &# ...

AK jest do bólu precyzyjna, AK widzi w operatorach implikacji najzwyklejsze „rzucanie monetą:, warunek koniczny ~>.
(...)
Logika Ziemian jest fundamentalnie błędna bo w zdaniu D wyjmuje z t ...

(Propozycja)

Czas wprowadzić jednoznaczną interpretację logiki dodatniej i ujemnej:

Y = p|=>q = ~p|~>~q
"jeśli p to na pewno q", oznacza to samo co "jeśli ~p to może ale ni ...

Jeśli ~ zostaje jak jest, to ~ to jest... odwrotność.

To nie wszystko. Do liczenia równoważności zastosowałeś * a nie powinieneś używać jednego symbolu do dwóch różnych rzeczy.

(Propozycja)

* ...

Pudło, możesz mnie nazywać "humanistą". Sam wiele teorii przypomniałem sobie w trakcie dyskusji, skupiając się przede wszystkim na Twoich zapisach, w których było całe mnóstwo nieścisłości. ...