ŚFiNiA

malaavi, zgadzam się z Tobą. W ogóle bardzo spodobało mi Twoje porównanie poczynań Rafała z kultem Cargo. Idealnie oddaje to również moje odczucia.

Twoja chęć zostawienia w pudełku jedynie B1 i L3 to już nawet nie przejaw marzenia o wszechwiedzy ale wręcz o wszechmocy.

Nie wiedziałeś tego, bo Ci nie powiedziałem, ale to pudełko jest tak zrobi ...

Te rzeczy można wywnioskować z "jeśli B1 to L3".
Ale przecież jest pytanie co jeśli ~B1.
No tu możemy jedynie stwierdzić, że L3+~L3

"Oczywiste jest, że KRZ leży i kwiczy, tak lud ...

Rafał moim zdaniem za bardzo zakładasz wszechwiedzę. Nie robisz rozróżnienia między wiedzą dostępną i zewnętrzną. Logika klasyczna polega na operowaniu na jedynie części wiedzy i wyciąganiu z tego now ...

Wszystkie ataki Rafała na logikę klasyczną to atakowanie słomianej kukły. Rafał nie pisze o logice klasycznej tylko o swoim (błędnym) jej rozumieniu.

Co do zadania, które rozwiązał mar3x - dla mnie takie zadania to strata czasu.
mar3x rozwiązał je analizując konkretne dwa zbiory. Swojego rozwiązania nie oparł jedynie na własnościach ~~>. Więc p ...

Napisałem że dzięki 20-miesięcznej dyskusji z fiklitem w AK dokonał się nieprawdopodobny skok jakościowy. Ja nie zauważyłem jakiś postępów. Coś tam się kręci, zmienia, kotłuje, ale jakościowo... no wł ...

Z chęcią odniósłbym się do tego co piszesz, ale ja nie rozumiem co piszesz. Wiem, że większość fachowych terminów u Ciebie oznacza co innego niż normalnie, a Ty nie chcesz lub nie potrafisz ich zdefin ...

Rafał, może Ci ułatwię.
W Twoim p=>q=*q=p
prawdopodobnie chodzi o
p=>q := (p*q=p)

Definicja warunku wystarczającego =>:
A: p=>q - zbiór na podstawie wektora => zawiera się w zbiorze wskazywanym przez strzałkę wektora =>

Definicja tożsama w zbiorach:
B: p*q=p
...

To jeszcze jedno i chyba będziemy w domu.
Jak rozumiesz zdanie "każdy element zbioru A ma własność Q"?
Czy jest to równoznaczne z tym że "nie istnieje element zbioru A który nie ma wł ...

Dlatego pytam jak ty to rozumiesz. Chcesz żeby ktoś napisał to co masz na myśli w normalny sposób? to musisz wyjaśnić co masz na myśli. Na razie wyrażasz to słowami, które dla nas znaczą co innego niż ...

Chodzi mi o matematyczny opis powyższej definicji implikacji prostej na gruncie logiki Ziemian.
Definicja implikacji prostej w AK:
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbior ...

Rafał, zauważ, że właśnie próbujemy zrozumieć, co chciałeś przekazać we wspomnianych zdaniach B,C,D. Nie potrafisz tego wytłumaczyć. Wiesz to dosyć głupie z Twojej strony, wymagać zapisania czegoś, al ...

Od 35 lat piszę programy wyłącznie w języku asemblera, czyli w symbolicznej algebrze Boole'a - to jedyny język programowania gdzie nikt nie nakłada na ciebie żadnych ograniczeń, ani sprzętowych, ani p ...

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?

Eureka! że tak powiem. To jest jeden wielki wkręt. Kubuś/Rafał to jest system przechodzący test Turinga. Zauważmy jak Rafał ładnie uzupełnia swój słownik o nowe "fajne" zwroty. Ostatnio chyb ...

Ja też bym chętnie zobaczył jedną sensowną i zrozumiałą odpowiedź Rafała. Ale nie wierzę, że taka się pojawi.

Malaavi nie jestem całkiem humanistą, jestem zwykłym informatykiem.
Ja traktuję pojęcie prawdziwości zdania raczej jako jako ścisły twór z KRZ, który nie do końca odpowiada intuicyjnemu rozumieniu ję ...

@malaavi to ja tak w skrócie opiszę parę pułapek w rozmowach z Rafałem

Przede wszystkim Rafał lubi sobie zapożyczać utarte nazwy i stosować je wg własnego uznania. W dyskusji o logice klasycznej lu ...

Skoro nie rozumiesz banału oczywistego dla każdego, to go powtarzam

(...)
W całej literaturze światowej nie znajdziesz ani jednego zdania "jeśli p to q" w którym wartości logiczne p i ...

a nie jak w logice Ziemian ni pies ni wydra, nie wiadomo co to jest ten znaczek =>.
Oh, czyli w końcu przyznajesz, że nie rozumiesz podstaw KRZ. To może teraz przestaniesz krytykować i wrócisz do ...

czy jeśli zdanie jest implikacją prostą to "jest warunkiem wystarczającym".

To wytłuszczone zdanie jest matematycznie fałszywe.

Definicja warunku wystarczającego:
p=>q
Zbiór n ...

- p=>q jest implikacją prostą wtedy i tylko wtedy gdy p->q=1
- p<=q jest implikacją odwrotną wtedy i tylko wtedy gdy p<-q=1
- p<=>q jest równoważnością wtedy i tylko wtedy, gdy z ...