ŚFiNiA

[rafal3006]

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-pisana-na-zywo-dyskusja-z-fiklitem-c-iii,6929-325.html#207571

mar3x,
Widzę że ciągle mieszasz logikę Ziemian z AK.
Tego nie wolno robić, bo musi ci wyjść i wychodzi ... masakra.

Postaraj się zrozumieć to co niżej, zapominając o jakichkolwiek tabelach zero-jedynkowych - nie ma tego w AK!
AK to logika zbiorów, logika równań logicznych.
Przy okazji zwróć uwagę co oznacza ten zapis:
p=>q - warunek wystarczający =>
... a co oznacza ten zapis:
~p~>~q - warunek konieczny ~>
To są dwa niezależne zdania a nie jedno zdanie!

Implikacja prosta:
p=>q =~p~>~q
p=>q
Zbiór p musi zawierać się w zbiorze q i nie być tożsamym ze zbiorem q
p#q
Przykład:
p=[1,2], q=[1,2,3,4,5,6]
Załóżmy dziedzinę:
D=[1,2,3,4,5,6,7,8]
Stąd mamy uzupełnienia do dziedziny:
~p=[3,4,5,6,7,8]
~q=[7,8]
Sprawdzamy lewą stronę definicji implikacji prostej:
p=>q = [1,2]=>[1,2,3,4,5,6]
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q
Sprawdzamy prawą stronę definicji implikacji prostej:
~p~>~q = [3,4,5,6,7,8]~>[7,8]
Zbiór ~p zawiera w sobie ~> zbiór ~q i nie jest tożsamy ze zbiorem ~q
ok.

Zapis który kwestionujesz jest taki:
p=>q = [1,2]=>[1,2,3,4,5,6] = [1,2]*[1,2,3,4,5,6] =[1,2]
To jest tylko notacja z AK wiążąca wektor => z koniunkcją zbiorów która jest przemienne.

Poprawny zapis w AK jest również taki:
p=>q = q<=p := p*q = q*p
Można by tu wstawić specjalny znaczek := izolujący zapis wektorowy => od koniunkcji zbiorów.
Ja tego nie robię bo jestem przeciwnikiem nadmiernego wprowadzania różnych symboli. Z kontekstu wynika że nie chodzi tu o tożsamość matematyczną, tylko o związek zapisu wektorowego => ze zbiorami.
Czy tak jest lepiej:
p=>q = [1,2]=>[1,2,3,4,5,6] := [1,2]*[1,2,3,4,5,6] =[1,2]

P.S.
... ale nad znaczkiem := można by pomyśleć, skoro to taki problem dla matematyków?

Kurcze pieczone .. a może to dobry pomysł?

[rafal3006]

klklkl
kljhg

[ja krowa]

wg Słownika Języka Polskiego Michała Arcta 1908r

implikacja (z łaciny) - wplątanie kogo w co, wciągnięcie, zaangażowanie, przypozwanie do sprawy, tkwienie

implikować (z łaciny) - wmieszać, wciągać, wtrącać