Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Czy wprowadzić nowy znaczek := do AK?

 
Napisz nowy temat   Ten temat jest zablokowany bez możliwości zmiany postów lub pisania odpowiedzi    Forum ŚFiNiA Strona Główna -> Więzienie
Zobacz poprzedni temat :: Zobacz następny temat  

Czy wprowadzić nowy znaczek := do AK?
TAK
66%
 66%  [ 2 ]
NIE
33%
 33%  [ 1 ]
Wszystkich Głosów : 3

Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22456
Przeczytał: 32 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 10:11, 11 Maj 2014    Temat postu: Czy wprowadzić nowy znaczek := do AK?

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ł?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  

Czy wprowadzić nowy znaczek := do AK?
TAK
66%
 66%  [ 2 ]
NIE
33%
 33%  [ 1 ]
Wszystkich Głosów : 3

Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22456
Przeczytał: 32 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 22:44, 20 Lip 2014    Temat postu:

klklkl
kljhg
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  

Czy wprowadzić nowy znaczek := do AK?
TAK
66%
 66%  [ 2 ]
NIE
33%
 33%  [ 1 ]
Wszystkich Głosów : 3

Autor Wiadomość
ja krowa
Gość






PostWysłany: Nie 23:54, 20 Lip 2014    Temat postu:

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ć
Powrót do góry
Wyświetl posty z ostatnich:   
Napisz nowy temat   Ten temat jest zablokowany bez możliwości zmiany postów lub pisania odpowiedzi    Forum ŚFiNiA Strona Główna -> Więzienie Wszystkie czasy w strefie EET (Europa)
Strona 1 z 1

 
Skocz do:  
Możesz pisać nowe tematy
Możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin