ŚFiNiA

malaavi

Czekam aż się odniesiesz. Wstyd to AK, nie jej zasadne krytykowanie.

I do Boole'a nic nie mam. To matematyk, który jak wszyscy matematycy by wyśmiał AK.

rafal3006

Odniosę sie do wszystkich twoich 23 punktów, na razie utknęliśmy na punkcie 5 - nie z mojej winy, tylko z Twojej.

Czyżbyś uważał że algebra Boole'a to wyłącznie tabele zero-jedynkowe, natomiast równania algebry Boole'a to już nie jest algebra Boole'a?

Ciekawe co na to Zefciu?

Pytanie fundamentalne:
Czy umiesz tworzyć wszystkie możliwe równania algebry Boole'a z dowolnej tabeli zero-jedynkowej?
TAK/NIE

Nie jest wstydem powiedzieć:
Nie rozumiem
bo żaden Ziemianin tego nie rozumie.

malaavi

Ja nie utknąłem na żadnym punkcie.
W 5. wyraziłem zdziwienie, że stosujesz niesymetryczny symbol dla symetrycznej relacji, jednak napisałem, że nie mam z tym problemu. Reszta twojej odpowiedzi jest nie na temat. Nie będę czytał, choćbyś sto razy wkopiował. Odnieś się do tego, o co pytam. Zabawy w kopiowanie zostaw dla pięciolatków.

rafal3006

W implikacji ten znaczek ~~> jest kierunkowy, mimo ze argumenty są tu przemienne. Na podstawie wektora ~~> zawsze mamy poprzednik, na strzałce zawsze następnik.
Jeśli zwierzę ma cztery łapy to może ~~> nie być psem
4L~~>~P = ~P<~~ 4L = 4L*~P =1 bo słoń

malaavi

"Bez potrzeby zmieniasz standardowe p i q na A i B."

Bez potrzeby ty zmieniasz całą symbolikę działań na zbiorach i na zdaniach, przy tym mieszasz jedno z drugim. Przy tym jeśli nie umiesz traktować naturalnie A,B to jesteś przygłup, dureń na poziomie podgimnazjalnym.

"Kiedy zdanie p=>q ma wartość logiczną 1?"
Gdy p zawiera się w q, gdzie p,q to ZBIORY. Przy tym kładziesz pewne ograniczenia, p nie może być pusty dla przykładu.

"Odpowiedź:
Wtedy i tylko wtedy gdy spełniona jest definicja znaczka =>: "

Nie

Zbiór się zawiera w drugim gdy się w nim zawiera. Definicję znaczka zbiory pierdolą tak samo jak ludzie, bo AK, jest bezwartościowa. ;)

W dalszej części stosujesz w sposób SPRZECZNY symbol =
O czym pisałem wcześniej.

zefciu/konto zamknięte

Kubuś czemu offtopujesz? Masz zamiar odpowiedzieć na pytania, czy nie?

Ale przyznam, że jak przeczytałem o "twierdzeniu Pytona", to się uśmiałem. Jeśli kogoś zastanawia, skąd ten "Pyton" (którego wszak w Stumilowym Lesie nie było), to odpowiem. Otóż kiedyś powiedziałem Kubusiowi, że w języku Python istnieje funkcja bool(), która przypisuje każdemu obiektowi wartość logiczną. Ta funkcja zwraca False dla zbiorów pustych, a dla niepustych - True. Kubuś przez chwilę usiłował twierdzić, że najwyraźniej Guido van Rossum posługuje się NTI...

malaavi

rafal3006

malaavi

Zadałem dawno temu pytanie, co niby znaczy
=

Wciąż nie ma odpowiedzi.
Jeśli to równość, to AK jest sprzeczna.

zefciu/konto zamknięte

malaavi

rafal3006

zefciu/konto zamknięte

rafal3006

malaavi

"Badam koniunkcję zbiorów:
P8*P2 =P8"

Moim zdaniem pisałeś, że = oznacza podstawienie, jak w programowaniu. Czyli nic nie badasz, ale dziwnej zmiennej P8*P2 podstawiasz wartość zmiennej P8. ;)

Chyba że podstawienie ma pierwszeństwo nad mnożeniem, wówczas zmiennej P2 podstawiasz P8, czyli mnożysz P8 przez P8 i NIC nie robisz z wynikiem

rafal3006

malaavi

Odpowiesz na moje pytania, to będziemy rozmawiać.

Nie odpowiesz, to sobie pogadamy o autyzmie. Jesteś autystyczny?

zefciu/konto zamknięte

rafal3006

malaavi

Odpowiedz na moje pytania, a pogadamy dalej. Nie odpowiadasz. Zadajesz własne.

Na razie proszę o opis użycia =

Bo jeśli używasz = jako przypisania, to nigdy nic nie sprawdzasz, zawsze tylko przypisujesz zmiennym wartości. Czyli nie stworzyłeś logiki, a algorytm przypisywania zmiennym wartości bez sensu.

Bez opisania znaku =, który ciągle stosujesz w sposób sprzeczny, nie pójdziemy dalej.

rafal3006

zefciu/konto zamknięte

Przypominam, że zanim Kubuś nie odpowie na pytanie:
Jak przekształcić dowolne zdanie na zbiór
Lub choćby na słabsze:
Jak przekształcić zdanie "Jeśli jutro będzie padać, to otworzę parasol" na działanie na zbiorach?
Wszystko co pisze jest bełkotem. Najpierw bierze zdania, a potem nagle mówi, że to zbiory. Mimo że po drodze nie czyni żadnego explicite przekształcenia.

Pytania kolejne:

Czy symbol "=" zawsze oznacza u Ciebie przypisanie?
Czy przypisanie mamy rozumieć tak jak w językach imperatywnych, czy tak jak w funkcyjnych?
Jak rozpoznać, co jest u Ciebie zmienną, a co wyrażeniem (skoroi p=>q to zmienna, okazuje się, że to nietrywialne).

fiklit

Napisałem dużo programów w wielu językach programowania (różnych typów), Twój zapis nie przypomina niczego z czym się dotychczas spotkałem. Mógłbyś podać na jakim języku się wzorujesz?

rafal3006

Zefciu, co ty taki w gorącej wodzie kąpany?
Na razie zajmujemy się 23 punktami malaaviego.
Z kolei u ciebie podejrzewam, że nigdy niczego nie napisałeś w symbolicznej algebrze Boole'a, czyli w języku asemblera.
Ty w swoich językach wysokiego poziomu widzisz procedury nie mając pojęcia jak jest ona fizycznie w języku asemblera zbudowana.

Twój opis procedury to:
p=>q
Zbadaj czy zbiór p zawiera się w q
Na wejściu ustawiasz:
p=P8
q=P2
Na wyjściu otrzymujesz zmienną binarną:
p=>q =1 - p zawiera się w q
p=>q =0 - p nie zawiera się q

Natomiast zapis z AK informuje jak ta procedura jest zbudowana:
p=>q = p*q =p =1
Po kolei masz tu kroki I, II i III opisane w moim poście wyżej.

Weź lepiej wspomóż malaaviego bo dostał kwadraturę koła chyba?