ŚFiNiA

malaavi

Rafale, jeśli = w sensie przypisania wartości (jak w programowaniu), w sensie porównania dwóch wartości i w sensie przypisania wyrażeniu jego wartości logicznej są JEDNYM ZNACZENIEM dla ciebie, to nie mamy o czym rozmawiać. Nie rozumiesz symboliki stosowanej w AK, nie rozumiesz stosowanej w LZ, cośtam sobie skrobiesz piszesz tworzysz, ale to jednak pozostanie sprzeczne na zawsze. ;)

Dołączam się do pytania zefcia, na które nie umiesz odpowiedzieć.

rafal3006

fiklit

Rafał, moim zdaniem, źle zrozumiałeś zapis prof. Newelskiego i źle go powielasz.
Po pierwsze w wyrażeniach ...=1, ...=0 w miejscu kropek stosuje jedynie zmienne (do tego zmienne w znaczeniu KRZ, czyli "~q" nie jest zmienną), a nie wyrażenia.
Po drugie stosuje to w jednym wypadku - analiza wartości w tabelce.
W jego wyrażeniu fragmenty typu "p=1" są wyrażeniami spoza KRZ.
podobnie jeśli napiszę "x+3=5 <=> x=2" to wyrażenia "x+3=5" i "x=2" nie są KRZ.
Normalnie jeśli chcemy zapiać że zdanie F jest prawdziwe to nie piszemy F=1, tylko po prostu F. Jeśli chcemy zapisać że jest fałszywe to nie F=0 tylko po prostu ~F.

Tak samo jak w normalnym języku mówimy:
Dzisiaj pada deszcz
a nie:
Dzisiaj pada deszcz jest prawdą
Mówimy
Nieprawda że dziś jest piękna pogoda
a nie:
Dziś jest piękna pogoda jest zdaniem fałszywym.

zefciu/konto zamknięte

malaavi

Rafale. Newelski ma notację jaką ma, stosuje ją konsekwentnie, nie błądzi. Natomiast ty stosujesz ją błędnie, wobec czego błądzisz. Popełniasz błędy. Mylisz się. W związku z tym pisałem już, że notacja Newelskiego cię myli i lepiej byś zrobił używając innej, która by cię nie myliła. Z całych sensownych wykładów Newelskiego pożyczyłeś jedną rzecz i nie umiesz jej stosować.

Czekamy na odpowiedź na pytanie zefcia. Bajki o rozłącznych bytach sobie daruj. Pokaż jakikolwiek przykład dla p,q, w którym jest prawdą p=>q, a zarazem nie jest prawdą q~>p. W końcu dla różnych spójników taki przykład musi istnieć.

rafal3006

malaavi

Po pierwsze w KRZ p,q są zmiennymi.

Po drugie zdecyduj się, czy mówisz o zdaniach czy o zbiorach.

Po trzecie czekamy na odpowiedź na pytanie zefcia. Miałeś podać p,q dla których zachodzi p=>q i jednocześnie nie zachodzi q~>p.
Nie umiesz, prawda? Bo tak jakby przez 10 lat rozważania tych symboli nie doszedłeś w ich analizie dość głęboko.

Dodam jeszcze po czwarte. Nie strasz mnie polibudą. Możemy się przejść na dowolną polibudę tego kraju (skąd jesteś?) i zapytać o jakość AK. Niestety wyśmiany na politechnice też nie skasujesz AK.

rafal3006

rafal3006

malaavi

Pytanie było takie:
Czy umiesz podać przykład p,q dla których jest prawdą p=>q i jednocześnie nie jest prawdą q~>p

Tak/Nie

PS. Przypisz mi jedną rzecz, której sam nie napisałem, a mnie tu więcej nie zobaczysz. Czekam na odpowiedź na pytanie.

rafal3006

Dorzucę ci malaavi jeszcze jeden znak tożsamości z AK.
p<=>q = (p~>q)*(p=>q)

To jest znak tożsamości definicyjnej.

Przykład:
TP<=>SK = (TP~>SK)*(TP=>SK)

Lewa strona tej tożsamości brzmi tak:
L.
Trójkąt jest prostokątny wtedy i tylko wtedy gdy zachodzi suma kwadratów
TP<=>SK

Prawa strona tej tożsamości brzmi tak:
P.
Do tego aby w dowolnym trójkącie zachodziła suma kwadratów potrzeba ~> i wystarcza => aby ten trójkąt był prostokątny.

Czy masz malaavi choćby cień wątpliwości że zachodzi tu tożsamość matematyczna:
L=P
Poproszę o odpowiedź:
TAK/NIE

malaavi

Pytanie było takie:
Czy umiesz podać przykład p,q dla których jest prawdą p=>q i jednocześnie nie jest prawdą q~>p

Tak/Nie

Coś czuję, że kolejny raz cię zagięto, unikasz odpowiedzi, bo już przeczuwasz kolejną klęskę AK.

rafal3006

malaavi

Pytanie było takie:
Czy umiesz podać przykład p,q dla których jest prawdą p=>q i jednocześnie nie jest prawdą q~>p

Tak/Nie

Odpowiedz albo słowem "tak", albo słowem "nie". Nie bełkocz. Dasz radę?

(jeśli nie dasz ZNÓW rady odpowiedzieć na proste pytanie, będzie +1 do oszołomstwa)

rafal3006

malaavi

Pytanie było takie:
Czy umiesz podać przykład p,q dla których jest prawdą p=>q i jednocześnie nie jest prawdą q~>p

Tak/Nie

(Dostajesz obiecany +1, a na odpowiedź i tak czekam. Możesz uznać, że przeczytałem twoje wyjaśnienia. A teraz odpowiedz na pytanie, albo żegnam AK na, powiedzmy, miesiąc, bo czekanie na odpowiedź mnie nudzi. Odpowiadasz w najbliższym poście, albo mam cię gdzieś w lipcu.)

rafal3006

malaavi

Jestem ciekawy odpowiedzi na pytanie zefcia.

Widzę jednak, że nie masz zamiaru jej udzielić, więc nie będę w lipcu pisał na tym wydzielonym fragmencie forum.
Jeśli na przełomie lipca/sierpnia tu zerknę i odpowiedzi wciąż nie będzie, to poważnie rozważę olanie AK na zawsze. A teraz papsy do sierpnia.

(Nie wszyscy kłamiemy, Rafale, zapowiedziałem lipiec bez AK i będzie lipiec bez AK

)

rafal3006

zefciu/konto zamknięte

rafal jeśli symbole "=>" i "~>" oznaczają funkcje (a z tego co mi się wydaje oznaczają, chociaż z Tobą nigdy nic nie wiadomo), to są czymś różnym tylko wówczas, gdy jakiemuś elementowi dziedziny przypisują inny element przeciwdziedziny. Inaczej są nieodróżnialne.

Jeśli więc różnica między "=>" "~>" nie polega na różnicy wartości wyrażenia, to na czym. Napisz mi to prosto - jak pięciolatkowi, który podobno rozumie.

rafal3006

zefciu/konto zamknięte

Czyli nasz Kubuś najzwyczajniej w świecie skłamał. Nie ma odpowiedzi na moje pierwsze pytanie i nie zamierzał tej odpowiedzi dać ani w tamtym poście, a nie w ogóle.

rafal3006

zefciu/konto zamknięte

rafal3006

Algebra Kubusia
Nowa Teoria Zbiorów

http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143.html#208945