ŚFiNiA

idiota

"Idioto, przed zajrzeniem do Wiki byłem pewien że definicję kwantyfikatora małego mamy identyczną, bo to jest problem tak banalny, że nie można go spieprzyć.
... a jednak!"

Piszesz to któryś raz..
Zapomniałeś?

rafal3006

rafal3006

Taz

rafal3006

Taz

Proszę o nie unikanie odpowiedzi.

Powtarzam:
Czy moja wypowiedź "jeśli p, to może q" to p~>q czy p~~>q?

Reszta w tym momencie nie ma znaczenia. Nie obchodzi mnie, co dokładnie wg Ciebie znaczy ~> i ~~>, nie obchodzą mnie żadne Twoje prawa itd. Obchodzi mnie jedynie, czy potrafisz określić, w jaki sposób powinieneś zakodować moją wypowiedź.

rafal3006

fiklit

W pełni podpisuję się pod pytaniem Taza.

rafal3006

Taz

Co ma definicja kwantyfikatora małego do mojego pytania? To miałoby znaczenie, gdybym to ja miał określić, o którą wersję chodzi, ale mi chodzi właśnie o to, żebyś Ty to określił. Dlatego nie obchodzi mnie, jakich używasz definicji i czy mają sens, czy nie. Obchodzi mnie jedynie to:

Gdy wypowiadam "jeśli p, to może q", to wg Ciebie mówię p~>q czy p~~>q?

fiklit

Nie do końca rozumiem pytanie. Jeśli chodzi o to czy zgadzam się aby tak to było w AK ujęte to jasne, że się zgadzam.
Teraz czekam ....
chciałem coś zacytować ale natknąłem się na coś co mi wcześniej umknęło

rafal3006

Taz

Gdy wypowiadam "jeśli p, to może q", to wg Ciebie mówię p~>q czy p~~>q?

rafal3006

Wstęp teoretyczny!

7.0 Implikacja i równoważność

Operatory implikacji i równoważności to najważniejsze operatory logiczne naszego Wszechświata.
Królową jest implikacja, równoważność to wyjątki w morzu implikacji.

Twierdzenie o domyślnym spójniku „na pewno”=>:
W zdaniu „Jeśli p to q” spójnik implikacyjny „na pewno” => jest domyślny i zawsze można go wstawić do zdania o ile jawnie nie użyto spójnika implikacyjnego „może” (~> lub ~~>)

Definicja ogólna dania typu „Jeśli p to q”:
Jeśli zajdzie p to zajdzie q
Zdanie tożsame:
Jeśli zajdzie p to na pewno => zajdzie q
Terminologia:
p - poprzednik zdania „Jeśli p to q”
q - następnik zdania „Jeśli p to q”
Najpierw musi zajść zdarzenie p, z czego wynika zdarzenie q.

Zdania tożsame:
Jeśli będzie padało to będzie pochmurno
Jeśli będzie padało to na pewno => będzie pochmurno
P=>CH

Fundament algebry Kubusia dla zdań typu „Jeśli p to q” to definicje zaledwie trzech znaczków =>, ~> i ~~> oraz cztery precyzyjne definicje operatorów logicznych: |~~>, |=>, |~> i <=>.

Ogólne definicje spójników implikacyjnych:
p=>q - warunek wystarczający =>, wymuszam dowolne p i pojawia się q
p~>q - warunek konieczny ~>, zabieram wszystkie p i znika q
p~~>q - kwantyfikator mały ~~>, możliwe jest jednoczesne zajście p i q

Definicja spójników implikacyjnych w zbiorach:

1.
=> - warunek wystarczający (kwantyfikator duży)
Zbiór na podstawie wektora => jest podzbiorem zbioru wskazywanego przez strzałkę wektora =>
Jeśli zajdzie p to na pewno => zajdzie q
p=>q
Zbiór p jest podzbiorem zbioru q z czego wynika że:
Zajście p wystarcza => dla zajścia q
To samo zdanie zapisane kwantyfikatorem dużym:
Dla każdego elementu x, jeśli x należy do zbioru p(x) to na pewno => x należy do zbioru q(x)
/\x p(x)=>q(x)
Przykład:
A.
Jeśli dowolna liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2
Definicja warunku wystarczającego => spełniona bo:
Zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Przynależność liczby do zbioru P8 daje nam gwarancję matematyczną => iż ta liczba należy także do zbioru P2

2.
~> - warunek konieczny
Zbiór na podstawie wektora ~> jest nadzbiorem zbioru wskazywanego przez strzałkę wektora ~>
Jeśli zajdzie p to może ~> zajść q
p~>q
Zajście p jest warunkiem koniecznym ~> zajścia q
Zabieram p i znika mi możliwość zajścia q
Przykład:
A.
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8
Definicja warunku koniecznego ~> spełniona bo:
Zbiór P2=[2,4,6,8..] jest nadzbiorem ~> zbioru P8=[8,16,24..]
Zabieram zbiór P2 i znika mi zbiór P8

3.
~~> - naturalny spójnik „może” ~~> (kwantyfikator mały)
Zbiór na podstawie wektora ~~> musi mieć co najmniej jeden element wspólny ze zbiorem wskazywanym przez strzałkę wektora ~~>
Jeśli zajdzie p to może ~> zajść q
p~~>q = p*q
Tu wystarczy znaleźć jeden wspólny element zbiorów p i q co kończy dowód prawdziwości tego zdania.
To samo zdanie zapisane kwantyfikatorem małym:
\/x p(x)*q(x)
Istnieje element x należący jednocześnie do zbiorów p(x) i q(x)
Przykład:
A.
Jeśli liczba jest podzielna przez 8 to może~~> być podzielna przez 2
P8~~>P2 = P8*P2 =1 bo 8
Pokazuję jeden wspólny element zbiorów P8 i P2 co kończy dowód zdania zapisanego kwantyfikatorem małym ~~>.

http://www.sfinia.fora.pl/forum-kubusia,12/o-algebrze-boole-a,7718-450.html#238282

fiklit

A gdzie odpowiedz na pytanie Taza?

Taz

rafal3006

Taz

Nadal nie widzę odpowiedzi na moje pytanie.

Gdy wypowiadam "jeśli p, to może q", to wg Ciebie mówię p~>q czy p~~>q?

rafal3006

fiklit

Jeśli nacisnę przycisk A to może zaświecić się czerwona lampka.
~> czy ~~>

Taz

Podpisuję się pod postem Fiklita.

rafal3006

Taz

fiklit

rafal3006