ŚFiNiA

idiota

"można zapytać dlaczego Ty nie posługujesz się zdaniami "Jeśli p to q" gdzie wartości logiczne p i q znane są z góry?
tzn.
Dlaczego nie napisałeś choć jednego takiego zdania na maturze?"

Ale ja takich zdań używam.
Jeśli Krzyżacy dostali łupnia pod Grunwaldem, to potęga zakonu podupadła, pisałem na maturze z historii.

idiota

fiklit

"Nikt nie oczekuje aby ktoś mówił formami zdaniowymi."

Gdyby wyrażenia okazjonalne uznać za oznaczające zmienne w zdaniach, to w języku potocznym by się nagle zaroiło od form zdaniowych. Nawet zdanie "Jestem głodny" można traktować jako G(x).

Taz

idiota

Raczej nazwa "dany dzień"...

Ogólnie to zabawne jest z rafałem jedno.
Jak on se to co se ubzdurał ubzdurał, to tłumacząc mu jego błędy ludzie naiwnie używali normalnej terminologii, której rafał nie znał i której się bał, bo w inni ludzie na nią patrząc widzieli w niej coś co z nieznanych powodów dyskredytowało jego bredzenia.
Zatem zawsze przechodził zwykły cykl, od zaprzeczania ich istnieniu (tych co te pojęcia oznaczają), dalej,że są głupie, a na koniec, że on od początku to miał na myśli (cały czas nie rozumiejąc o co chodzi).
Tak było z pojęciem zdania, wartości logicznej, funkcji prawdziwościowej, funktora, kwantyfikatora, zmiennej, a teraz funkcji zdaniowej...

rafal3006

idiota

"Z tego zdania wynika, że ty nie wiesz czy Krzyżacy dostali łupnia pod Grunwaldem."

Nie jest to prawda.

"Wszyscy wiemy że dostali łupnia więc po cholerę ci to słówko "Jeśli" na początku?"

Po to samo co zwykle - żeby pokazać związek pomiędzy faktami.

rafal3006

To jest bardziej sensowne:
Gdy Krzyżacy dostali łupnia pod Grunwaldem, potęga zakonu podupadła.

Jaką wartość logiczną ma tu następnik, przypominam że w formie zdaniowej nie wolno ci łączyć poprzednika z następnikem, nie wolno ci wnioskować!

Masz zatem gołe zdanie:
q - potęga zakonu podupadła

Poproszę o określenie prawdziwości/ fałszywości tego zdania.
Jeśli tego nie dokonasz to twoja "forma zdaniowa" leży i kwiczy, zgadza się?

Powodzenia w rozwiązywaniu kwadratury koła,
Kubuś

idiota

"To jest bardziej sensowne:
Gdy Krzyżacy dostali łupnia pod Grunwaldem, potęga zakonu podupadła. "

Niemniej tamto nie znaczy, że nie wiem, czy dostali.

A to nowe zdanie jak byś zapisał w znaczkach?

rafal3006

idiota

"Linia C wyklucza tu operator implikacji prostej."

Zatem to '=>' w tym "KL=>P" to jaki "operator"?

rafal3006

idiota

"Żaden, to jest wyłącznie warunek wystarczający, zaledwie pierwsza linia symbolicznej definicji operatora implikacji prostej."

Czyli ten napis jaki proponujesz jest nietrafny.

rafal3006

rafal3006

Historyczne przełomy w algebrze Kubusia

Kopernik:
Zatrzymał słońce ruszył Ziemię

Kubuś:
Zatrzymał szalejące zera i jedynki i ruszył zmienne

W algebrze Kubusia nie ma żadnej logiki zero-jedynkowej (bo wszystkie zmienne mamy sprowadzone do jedynek - do stanu neutralnego), w definicjach symbolicznych migają nam przeczenia przy zmiennych!

Jaka jest różnica miedzy Kopernikiem a Kubusiem?
Odkrycie Kopernika wcześniej czy później musiałoby nastąpić, natomiast odkrycie Kubusia NIE musiało nastąpić.

Algebra Kubusia to niesamowity zbieg szczęśliwych okoliczności, poczynając od momentu narodzin Kubusia który urodził się równo z narodzinami techniki cyfrowej (bramki logiczne, mikroprocesory) po fenomenalne forum Wuja Zbója śfinia.fora.pl gdzie na mocy regulaminu istnieje zakaz banowania kogokolwiek, na Wielkim Inkwizytorze Fizyku kończąc, który gdyby się dorwał do adminowania forum ateista.pl przed przybyciem Kubusia zabiłby wszystko: Kubusia (niewinnego noworodka jeszcze w łonie matki natury) oraz kluczowych partnerów w dwuletniej dyskusji na ateiście.pl w wątku NTI (Fizyk, Windziarz, Sogors, Quebab) bo do takiej dyskusji nigdy by nie doszło. Oczywiście nie byłoby wówczas kluczowego partnera w dyskusji o algebrze Kubusia, Fiklita, przybyłego z matematyki.pl.

Kluczowa dyskusja na ateiście.pl jest tu:
[link widoczny dla zalogowanych]
Dlaczego ta dyskusja była Kluczowa:
… bo Kubuś broniąc swojej Idei, logiki matematycznej wszystkich 5-cio latków i humanistów, poznawał przy okazji całą głupotę logiki „matematycznej” Ziemian. Prawie 3000 postów napisanych w ciągu 2 lat sprawiło, że Kubuś był gotowy do kluczowej dyskusji wszech czasów z Fiklitem.
Fizyku, gdy zamykałeś watek NTI było 40tys wyświetleń, teraz jest 145tys … nadal będziesz uprawiał swoje „pierzenie kotka za pomocą młotka” iż algebra Kubusia do niebotyczne brednie (określenie Idioty - prawej ręki Fizyka)

Fizyku:
Czy zgadzasz się z powyższym?
Jeszcze nie jest za późno by po prostu powiedzieć: przepraszam
… na to słówko nigdy nie jest za późno.

Część I.

Temat:
Operator chaosu i operator śmierci

4.0 Zdania typu „Jeśli p to q”

Definicja logiki w algebrze Kubusia:
Logika to matematyczny opis nieznanego np. nieznanej przyszłości lub nieznanej przeszłości

Wbrew pozorom przeszłość może być nieznana np. poszukiwanie mordercy.

Ogólna definicja zdań typu:
Jeśli p to q
Jeśli zajdzie przyczyna p to zajdzie skutek q

W naturalnej logice człowieka (także w matematyce ścisłej) przyjęły się nazwy:
p - poprzednik
q - następnik

Na zdania typu „Jeśli p to q” można spojrzeć z dwóch różnych punktów odniesienia.

Spojrzenie I
Logika matematyczna w zdaniach typu „Jeśli p to q” odpowiada na pytania:
Co się stanie jeśli zajdzie poprzednik p (p=1)?
lub
Co się stanie jeśli zajdzie poprzednik ~p (~p=1)?

Oczywiście przy okazji określa się tu również prawdziwość/fałszywość zdań wyrażonych spójnikami implikacyjnymi (=>, ~> i ~~>) występującymi wyłącznie w zdaniach typu „Jeśli p to q”.

Definicje:
1.
=> - spójnik „na pewno”, warunek wystarczający
Zbiór na podstawie wektora => zwiera się w zbiorze wskazywanym przez strzałkę wektora =>
Zdanie tożsame:
Zbiór na podstawie wektora => jest podzbiorem zbioru wskazywanego przez strzałkę wektora =>
2.
~> - spójnik „może”, warunek konieczny
Zbiór na podstawie wektora ~> zawiera w sobie zbiór wskazywany przez strzałkę wektora ~>
Zdanie tożsame:
Zbiór na podstawie wektora ~> jest nadzbiorem zbioru wskazywanego przez strzałkę wektora ~>
3.
~~> - naturalny spójnik „może”
Zbiór na podstawie wektora ~~> ma co najmniej jeden element wspólny ze zbiorem wskazywanym przez strzałkę wektora ~~>

Z powyższego wynikają tożsamości matematyczne:
p=>q
Zbiór p zawiera się => w zbiorze q = zbiór p jest podzbiorem => zbioru q
p~>q
Zbiór p zawiera w sobie ~> zbiór q = zbiór p jest nadzbiorem ~> zbioru q

Spojrzenie II.
Logika matematyczna w zdaniach „Jeśli p to q” odpowiada również na pytanie:
Kiedy zdanie „Jeśli p to q” wyrażone spójnikami „lub”(+) i „i”(*) będzie prawdziwe/fałszywe.

To są dwa różne spojrzenia na zdania typu „Jeśli p to q” których nie należy mieszać, oba są matematycznie poprawne.

Aksjomatyka algebry Kubusia:
Aksjomatyka algebry Kubusia to tabele zero-jedynkowe odpowiednich operatorów logicznych z których wyprowadzamy definicje symboliczne tych operatorów.

fiklit

Widzę, że z niesamowitym obaleniem formy zdaniowej się poddałeś.
Tak samo widzę, że odpuściłeś idiocie równoważność jako szczególny przypadek implikacji. Traktuję to jak przyznanie się do gafy.

Czytając wstęp do ostatniego posta myślałem, że Rafał odkrył różnicę między |= a |-
ale nie, ciągle te same niezrozumiałe wypowiedzi.
Rafał - używasz ciągle słowa operator, które zdefiniowałeś tak, że nie pasuje do kontekstu w którym go używasz.
"Operator to kolumna tabeli."
"Zdanie jest częścią operatora"
Jak zdanie może być częścią kolumny tabeli?

rafal3006

rafal3006

Historyczne przełomy w algebrze Kubusia

Część II

Temat:
Operator implikacji prostej

4.2 Implikacja prosta w zbiorach

Wyprowadzenie symbolicznej definicji implikacji prostej z definicji zero-jedynkowej.

fiklit

Usunięcie powielonego postu, niżej
Rafal3006

fiklit

rafal3006

fiklit