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 

p=1 i q=1 ale p*q=0
Idź do strony Poprzedni  1, 2, 3 ... 31, 32, 33 ... 46, 47, 48  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Pią 8:17, 30 Mar 2018    Temat postu:

"Idioto, cały debilizm twojej gówno-logiki polega na tym, że zdaniu A przypisujesz wartość logiczną 1 bez jakiegokolwiek dowodu matematycznego. "

Każdy zdrowy na umyśle człowiek przypisuje temu zdaniu wartość 1 bez żadnych dowodów matematycznych.
Jakbyś przeczytał to co piszesz, to byś się bzdurności tego przestraszył.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13933
Przeczytał: 52 tematy


PostWysłany: Pią 9:48, 30 Mar 2018    Temat postu:

rafal3006 napisał:
Irbisolu, czy mozesz zabrać głos na temat fragmentu postu wyżej wyróżnionego na nibiesko?
Brednie to są, czy matematyka w służbie FIZYKI to jest?

Pewne jest że jak zwykle Irbisol powie: nie na temat
Czy mam rację?

Nie - nie masz racji. To ty pytasz nie na temat.
Tematem jest podanie takich zdań, żeby p=1 i q=1, ale p*q=0.

W tym celu zmieniłeś znaczenie operatora '*' i nie wiadomo, co on teraz oznacza. Bo wg ciebie nie oznacza logicznej koniunkcji (mimo że wcześniej oznaczał).
Po pierwsze zatem - skoro tak nawołujesz do trzymania się tematu - zdefiniuj JEDNOZNACZNIE operator '*'. Co on u ciebie oznacza?
Wyjścia masz generalnie dwa
- albo wrócisz do starej definicji i wtedy przegrasz w tym wątku,
- albo pozostaniesz przy nowej, SPRZECZNEJ z poprzednią i wypierdzielisz swoje poprzednie posty w kosmos (bo tam '*' oznacza koniunkcję logiczną)

Wybieraj.

I trzymaj się tematu zamiast zadawać mi kolejne pytania nie na temat.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Pią 10:47, 30 Mar 2018    Temat postu:

rafał się w okolice koziego rogu zagnał na własne życzenie.
W sumie to zabawne, że po tylu latach oświadczył, że koniunkcja międzyzdaniowa to jakieś ** i nie ma sensu, za to ludzie jak mówią i, a, oraz itd. to mają na myśli przecięcie zbiorów.
Ja rozumiem ratowanie własnej koncepcji, ale takim kosztem?
Choć w sumie nie ma nic, czego by rafałek dla swych bredni nie poświęcił.
To wszystko co ma.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13933
Przeczytał: 52 tematy


PostWysłany: Pią 13:49, 30 Mar 2018    Temat postu:

Też mnie to dziwi.
Obronił chatkę a stracił miasto.

Jest też opcja że zwyczajnie jeszcze to do niego nie dotarło.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Pią 14:06, 30 Mar 2018    Temat postu:

On się tym właśnie tu głównie zajmuje, żeby nic doń nie docierało za diabła.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Taz




Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów

Skąd: Warszawa
Płeć: Mężczyzna

PostWysłany: Pią 14:52, 30 Mar 2018    Temat postu:

A jak coś zaczyna docierać, to wrzuca kilka postów rozmiarów Jowisza, żeby szybko mu niewygodny tekst zniknął z oczu.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Pią 15:42, 30 Mar 2018    Temat postu:

Do tego to służy mu...
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 0:00, 01 Kwi 2018    Temat postu:

Szykuje się długa pasta...
;)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Nie 8:55, 01 Kwi 2018    Temat postu:

Czas apokalipsy, czyli Algebra Kubusia w interpretacji 5-cio latków!

Definicja algebry Boole’a:
Algebra Boole’a to tylko i wyłącznie pięć znaczków:
1 - prawda
0 - fałsz
(~) - negacja
(*) - spójnik „i”(*) z naturalnej logiki matematycznej człowieka
(+) - spójnik „lub”(+) z naturalnej logiki matematycznej człowieka

Z poziomu algebry Boole’a z definicji nie widać żadnych relacji między zbiorami p i q które wchodzą w skład równania algebry Boole’a, w szczególności nie widać relacji podzbioru => i nadzbioru ~>, czyli nie widać istoty zdań warunkowych „Jeśli p to q”.
W algebrze Boole’a znaczki podzbioru => i nadzbioru ~> są po prostu nielegalne tzn. nie ujęte w definicji algebry Boole’a.

Definicja zmiennej binarnej:
Zmienna binarna to zmienna mogąca przyjmować wyłącznie dwie wartości logiczne 0 i 1.

Fizyczną realizacją funkcji logicznej jest bramka logiczna.
Dowolna bramka logiczna ma tylko jedno wyjście, zwyczajowo oznaczane dużą literą Y oraz dowolną ilość binarnych zmiennych wejściowych zwyczajowo oznaczanych symbolami różnymi od Y, z reguły są to małe litery p,q,r,s,t..

Definicja funkcji logicznej w algebrze Boole’a:
Funkcja logiczna Y w algebrze Boole’a to równanie logiczne zmiennych binarnych z użyciem tylko i wyłącznie trzech znaczków (~), (+), (*).
Zauważmy, że funkcja wyjściowa Y również jest zmienną binarną.

Definicja symbolicznej algebry Boole’a:
Symboliczna algebra Boole’a to opis wszelkich tabel zero-jedynkowych w układzie równań logicznych Y i ~Y
1.
Y=f(x) - logika dodatnia bo Y
Po dwustronnej negacji równania Y otrzymujemy równanie ~Y będące uzupełnieniem do dziedziny dla równania Y
2.
~Y=~f(x) - logika ujemna bo ~Y

Matematycznie zachodzi:
Y+~Y =D =1 - funkcja logiczna ~Y jest uzupełnieniem do dziedziny dla funkcji logicznej Y
Y*~Y - [] =0 - w tym przypadku logika matematyczna wyrzuca nas poza przyjętą dziedzinę, z definicji będącą zbiorem pustym.

Przykład funkcji logicznej:
1.
Y=p+(q*r)
… a kiedy zajdzie ~Y?
Negujemy dwustronnie równanie 1.
~Y=~[p+(q*r)]
Uproszczone przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne:
2.
~Y=~p*(~q+~r)

W operatorach jednoargumentowych, od których zaczynamy, nie ma znaczków (*) i (+), dzięki czemu wszystko nam się znakomicie upraszcza.

Część I
Operatory jednoargumentowe w zbiorach w algebrze Boole’a


Walka dobra (algebra Kubusia) ze złem (logika matematyczna ziemian) dobiega końca. W logice matematycznej ziemian od jej zarania, czyli od 1500 lat królował Szatan opanowując umysły ziemskich matematyków, robiąc z nich ludzi obłąkanych z których śmieje się pozostała część ludzkości.
Dowód:
[link widoczny dla zalogowanych]
Gżdacz w artykule wynurzenia z szamba napisał:

Jeśli 2+2=5, to jestem papieżem

Z książki Johna D. Barrowa Kres możliwości? wypisuję cytaty, które są cytatami drugiego rzędu, bo w rzeczonej książce są to również cytaty.

Cytat pierwszy (s. 226).
Sądzę, że mistycyzm można scharakteryzować jako badanie tych propozycji, które są równoważne swoim zaprzeczeniom. Z zachodniego punktu widzenia, klasa takich propozycji jest pusta. Ze wschodniego punktu widzenia klasa ta jest pusta wtedy i tylko wtedy, kiedy nie jest pusta. (Raymond Smullyan)
Przepisałem wiernie, pozostawiając niepoprawną interpunkcję oraz nadużycie leksykalne polegające na tłumaczeniu angielskiego proposition jako propozycja, zamiast stwierdzenie.

Cytat drugi (s. 226) wymaga lekkiego wprowadzenia.
Warunkiem niesprzeczności systemu w logice klasycznej jest ścisły podział zdań na prawdziwe bądź fałszywe, bowiem ze zdania fałszywego można wywnioskować dowolne inne, fałszywe bądź prawdziwe.
Kiedy Bertrand Russell wypowiedział ten warunek na jednym z publicznych wykładów jakiś sceptyczny złośliwiec poprosił go, by udowodnił, że jeśli 2 razy 2 jest 5, to osoba pytająca jest Papieżem. Russell odparł: "Jeśli 2 razy 2 jest 5, to 4 jest 5; odejmujemy stronami 3 i wówczas 1=2. A że pan i Papież to 2, więc pan i Papież jesteście jednym."!
W ramach zadania domowego zadałem sobie wykazanie, że jeśli Napoleon Bonaparte był kobietą, to ja jestem jego ciotką. Na razie zgłaszam "bz".


Dziś w nocy Kubuś rozkazał mi (Rafałowi3006) włączyć do walki niezwyciężoną armię 5-cio latków, ekspertów algebry Kubusia, co niniejszym czynię.

Czas apokalipsy, czyli Algebra Kubusia w interpretacji 5-cio latków!

Definicja operatora jednoargumentowego w zbiorach:
Operator jednoargumentowy w zbiorach to dwa zbiory p i ~p uzupełniające się wzajemnie do dziedziny D.
p+~p =D =1 - to równanie opisuje kompletną dziedzinę operatora jednoargumentowego
p*~p =[] =0 - tu wychodzimy poza kompletną dziedzinę operatora jednoargumentowego
Wszystko co jest poza dziedziną dowolnego operatora logicznego jest z definicji zbiorem pustym (jest nierozpoznawalne), czyli ma wartość logiczną 0.



Zapiszmy wszystkie możliwe przypisania funkcji logicznej Y dla powyższego diagramu.
Zauważmy, że przypisanie funkcji logicznej Y determinuje funkcję logiczną ~Y którą jest uzupełnienie do dziedziny dla funkcji logicznej Y.
Wraz z przykładem użycia podana zostanie częstotliwość używania w języku potocznym w skali 0-10.
Kod:

A:  p  Ya ~Ya  Ya ~Ya
B: ~p ~Yb  Yb  Yb ~Yb
       01  02  03  04

Oznaczmy symbolicznie:
Y - pani dotrzyma słowa
~Y - pani nie dotrzyma słowa (skłamie)
Zapis alternatywny:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
~Y=1 - prawdą jest (=1), że pani nie dotrzyma słowa (~Y = skłamie)

01.
Operator transmisji:

1: Y=p
2: ~Y=~p

Szczegółowa, zero-jedynkowa definicja operatora transmisji.
Kod:

W mintermach opisujemy wyłącznie wynikowe jedynki w tabeli zero-jedynkowej
Operator transmisji: Y=p                     
Operator transmisji |co w mintermach |Równania
Y=p                 |oznacza         |cząstkowe
   p ~p  Y=p ~Y=~p  |                |
A: 1  0   1    0    | Ya=1<=> p=1    | Ya= p
B: 0  1   0    1    |~Yb=1<=>~p=1    |~Yb=~p
   1  2   3    4      a       b        c   d

Definicja symboliczna operatora transmisji:
Y=Ya
1.
Y=p
co w mintermach oznacza (Aabcd):
Y=1<=> p=1
… a kiedy zajdzie ~Y?
Negujemy równanie 1 dwustronnie:
Alternatywnie odczytujemy z tabeli nintermów Babcd:
~Y=~Yb
2.
~Y=~p
co w mintermach oznacza (Babcd):
~Y=1<=>~p=1

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Y = ~(~Y)
Podstawiając 1 i 2 mamy prawo podwójnego przeczenia:
Y = p =~(~p)
Związek logiki ujemnej (bo ~Y) z logiką dodatnią (bo Y):
~Y = ~(Y)
Podstawiając 2 i 1 mamy:
~Y = ~p = ~(p)

Prawo podwójnego przeczenia:
Jestem uczciwy = nie jestem nieuczciwy
U = ~(~U)

Pani:
Jutro pójdziemy do kina
Y=K
co w mintermach oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Y=1 <=> K=1
.. a kiedy pani skłamie?
Negujemy dwustronnie równanie 1.
~Y=~K
co w mintermach oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
~Y=1 <=> ~K=1
Częstotliwość używania: 10

02.
Operator negacji:

1: Y=~p
2: ~Y=p

Szczegółowa, zero-jedynkowa definicja operatora negacji.
Kod:

W mintermach opisujemy wyłącznie wynikowe jedynki w tabeli zero-jedynkowej
Operator negacji: Y=~p                     
Operator negacji    |co w mintermach |Równania
Y=p                 |oznacza         |cząstkowe
   p ~p ~Y=p  Y=~p  |                |
A: 1  0   1    0    |~Ya=1<=> p=1    |~Ya= p
B: 0  1   0    1    | Yb=1<=>~p=1    | Yb=~p
   1  2   3    4      a       b        c   d

Definicja symboliczna operatora negacji:
Y=Yb
1.
Y=~p
co w mintermach oznacza (Aabcd):
Y=1<=> ~p=1
… a kiedy zajdzie ~Y?
Negujemy równanie 1 dwustronnie:
Alternatywnie odczytujemy z tabeli nintermów Aabcd:
~Y=~Ya
2.
~Y=p
co w mintermach oznacza (Babcd):
~Y=1<=>p=1

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Y = ~(~Y)
Podstawiając 1 i 2 mamy prawo podwójnego przeczenia:
Y = ~p =~(p)
Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y)
~Y = ~(Y)
Podstawiając 2 i 1 mamy prawo podwójnego przeczenia:
~Y = p = ~(~p)

Pani:
Jutro nie pójdziemy do kina
Y=~K
co matematycznie oznacza:
Y=1 <=> ~K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Y=1<=> ~K=1
… a kiedy pani skłamie (~Y=1)?

Negujemy dwustronnie równanie 1 (lub odczytujemy z Aabcd)
~Y=K
co w mintermach oznacza:
~Y=1 <=> K=1
Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
~Y=1 <=> K=1
Częstotliwość używania: 10

03.
Operator chaosu:

1.
Y=Ya+Yb
Y = p+~p =1
2.
~Y=p*~p =0
Kod:

W mintermach opisujemy wyłącznie wynikowe jedynki w tabeli zero-jedynkowej
Operator chaosu: Y=p+~p =1                     
Definicja           |co w mintermach |Równania
zero-jedynkowa      |oznacza         |cząstkowe
   p ~p  Y=1 ~Y=0   |                |
A: 1  0   1    0    | Ya=1<=> p=1    | Ya= p
B: 0  1   1    0    | Yb=1<=>~p=1    | Yb=~p
   1  2   3    4      a       b        c   d

1.
Y = Ya+Yb
Y = p+~p =1
Negujemy 1 stronami:
2.
~Y = p*~p =0

Pani:
1.
Jutro pójdziemy do kina lub nie pójdziemy do kina
Y = K+~K =1
co matematycznie oznacza:
Y=1 <=> K=1 lub ~K=1
… a kiedy pani skłamie (~Y=1)?
Negujemy równanie 1 dwustronnie (lub odczytujemy z kolumny 03):
2.
~Y=K*~K =0
Czytamy:
Fałszem jest (=0) że pani skłamie ~Y.
Nie ma szans ustawienia na ~Y=1, zatem pani nie ma szans skłamać.
W zdaniu zawsze prawdziwym Y=K+~K pani zawsze dotrzyma słowa.
Częstotliwość używania: 2
Wartość zdania zawsze prawdziwego Y=K+~K zarówno w matematyce, jak i języku potocznym jest równa zeru.

04
Operator śmierci:

1.
Y=p*~p =0
2.
~Y=~Ya+~Yb
~Y= p+~p =1
Kod:

W mintermach opisujemy wyłącznie wynikowe jedynki w tabeli zero-jedynkowej
Operator śmierci: Y=p*~p =0                     
Definicja           |co w mintermach |Równania
zero-jedynkowa      |oznacza         |cząstkowe
   p ~p  Y=0 ~Y=1   |                |
A: 1  0   0    1    |~Ya=1<=> p=1    |~Ya= p
B: 0  1   0    1    |~Yb=1<=>~p=1    |~Yb=~p
   1  2   3    4      a       b        c   d

2.
~Y = ~Ya+~Yb
~Y = p+~p =1
Negujemy 2 stronami:
1.
Y = p*~p =0

Pani:
1.
Jutro pójdziemy do kina i nie pójdziemy do kina
Y = K*~K =0
Czytamy:
Fałszem jest (=0) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i nie pójdziemy do kina (~K=1)
Y = K*~K = (K=1)*(~K=1) = 1*1 =0 - sytuacja fizycznie niemożliwa (=0)
Nie ma tu szans na ustawienie Y=1, zatem pani nie ma szans na dotrzymanie słowa (Y=1).

… a kiedy pani skłamie (~Y=1)?
Negujemy równanie 1 dwustronnie (lub odczytujemy z ABabcd):
~Y=K+~K =1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=10 lub nie pójdziemy do kina (~K=1)
~Y = K+~K =1
Częstotliwość używania: 1
Wartość zdania zawsze prawdziwego ~Y=K+~K=1 zarówno w matematyce jak i języku potocznym jest równa zeru.


Ostatnio zmieniony przez rafal3006 dnia Nie 8:56, 01 Kwi 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 10:40, 01 Kwi 2018    Temat postu:

I znów straszne jakieś brednie długaśnie nie wiadomo o czym i nie wiadomo do kogo.
Ale się rysunki znów zjawiły.
rafałek lubi kolorowe!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Nie 15:51, 01 Kwi 2018    Temat postu:

Matematyczna sensacja wszech czasów!

Stało się!
Z punktu widzenia matematyki języka potocznego człowieka, a tym samym z każdego innego punktu widzenia (np. matematyki), wszystkie 16 operatorów logicznych zostało poprawnie matematycznie rozszyfrowane i opisane!

Spis treści
9.1 Pełna lista operatorów logicznych (16 sztuk) 1
9.1.1 Operatory typu AND(|*) 2
9.1.2 Operatory typu OR(|+) 2
9.1.3 Operatory równoważności <=> oraz „albo”($) 3
9.1.4 Operator chaosu (@) oraz śmierci (&) 3
9.1.5 Operatory związane z wejściami p i q (operatory jednoargumentowe) 4


9.1 Pełna lista operatorów logicznych (16 sztuk)

Definicja operatora logicznego w spójnikach „i”(*) i „lub”(+):
Operator logiczny w spójnikach „i”(*) i „lub”(+) to układ równań logicznych Y i ~Y opisujący kompletną kolumnę wynikową.

W logice matematycznej mamy 16 operatorów logicznych opisanych funkcją logiczną w logice dodatniej (bo Y).
Przykład:
Y=p*q
Do każdego z operatorów w logice dodatniej (bo Y) przyporządkowana jest funkcja w logice ujemnej (bo ~Y) co razem daje 32 funkcje logiczne Y i ~Y.
Funkcja logiczna związane z naszym przykładem to:
~Y=~p+~q

Z punktu widzenia algebry Boole’a (wyłącznie znaczki: 0,1,(~),(*),(+)) operatory logiczne dzielimy na:
1. [11-14] Operatory typu AND(|*)
2. [21-24] Operatory typu OR(|+)
3. [31-32] Operator równoważności (<=>) oraz „albo”($)
4. [41-42] Operatory chaosu (@) i śmierci (&)
5. [51-54] Operatory związane z wejściami p i q (operatory jednoargumentowe)

Kod:

Lista najważniejszych operatorów logicznych w naturalnej logice człowieka
              | Y=  Y=    Y=   Y=   Y=  Y=    Y=   Y=   Y=    Y=  Y=  Y=
   p  q ~p ~q | p*q p*~q ~p*q ~p*~q p+q p+~q ~p+q ~p+~q p<=>q p$q p@q p&q
A: 1  1  0  0 |  1   0     0    0    1   1     1    0     1    0   1   0
B: 1  0  0  1 |  0   1     0    0    1   1     0    1     0    1   1   0
C: 0  1  1  0 |  0   0     1    0    1   0     1    1     0    1   1   0
D: 0  0  1  1 |  0   0     0    1    0   1     1    1     1    0   1   0
Legenda:
„i”(*)   - spójnik „i” z naturalnej logiki człowieka
„lub”(+) - spójnik „lub”(+) z naturalnej logiki człowieka
p<=>q    - spójnik równoważności <=> z naturalnej logiki człowieka
p$q      - spójnik „albo”($) z naturalnej logiki człowieka (ziemski XOR)
p@q      - operator chaosu, generuje wyłącznie jedynki w kolumnie wynikowej
p&q      - operator śmierci, generuje wyłącznie zera w kolumnie wynikowej

Kod:

Lista operatorów logicznych związanych z wejściem p i wejściem q
Operatory jednoargumentowe
   p  q ~p ~q | Y=p Y=~p Y=q Y=~q
A: 1  1  0  0 |  1   0    1    0
B: 1  0  0  1 |  1   0    0    1
C: 0  1  1  0 |  0   1    1    0
D: 0  0  1  1 |  0   1    0    1


9.1.1 Operatory typu AND(|*)



Definicja w zbiorach operatora AND(|*) i OR(|+):
Zbiory p i q mają część wspólną ~~> i żaden z nich nie zawiera się w drugim

W operatorach typu AND(|*) przyporządkowujemy funkcję logiczną Y dowolnemu ze zbiorów ABCD.
Funkcję logiczną ~Y będzie wówczas opisywać suma logiczna pozostałych zbiorów.

Kod:

Operatory logiczne typu AND(|*)
                 |Punkt odniesienia:
                 |spójnik „i”(*) w zbiorach
                 |  Y=(~)p*(~)q 
A: p~~> q = p* q |  Ya ~Ya ~Ya ~Ya
B: p~~>~q = p*~q | ~Yb  Yb ~Yb ~Yb
C:~p~~> q =~p* q | ~Yc ~Yc  Yc ~Yc
D:~p~~>~q =~p*~q | ~Yd ~Yd ~Yd  Yd
   a    b   c  d |  11  12  13  14

Kod:

Operatory logiczne typu AND(|*)w spójnikach „i”(*) i „lub”(+)
                      || Y=  ~Y=    | Y=   ~Y=   | Y=   ~Y=   | Y=   ~Y=
        | p  q |~p ~q || p*q ~p+~q  | p*~q ~p+q  |~p*q  p+~q  |~p*~q  p+q
A: p* q | 1  1 | 0  0 ||  1    0    |  0     1   |  0    1    |  0     1
B: p*~q | 1  0 | 0  1 ||  0    1    |  1     0   |  0    1    |  0     1
C:~p* q | 0  1 | 1  0 ||  0    1    |  0     1   |  1    0    |  0     1
D:~p*~q | 0  0 | 1  1 ||  0    1    |  0     1   |  0    1    |  1     0
   a  b   1  2   3  4 || 11A  11B   | 12A   12B  | 13A  13B   | 14A   14B
Prawo Prosiaczka:     ||Punkt       |Punkt       |Punkt       |Punkt
(~p=1)=(p=0)          ||odniesienia |odniesienia |odniesienia |odniesienia
(~q=1)=(q=0)          ||Ya=p*q      |Yb=p*~q     |Yc=~p*q     |Yd=~p*~q



9.1.2 Operatory typu OR(|+)



Definicja w zbiorach operatora AND(|*) i OR(|+):
Zbiory p i q mają część wspólną ~~> i żaden z nich nie zawiera się w drugim

W operatorach typu OR(|+) przyporządkowujemy funkcję logiczną ~Y dowolnemu ze zbiorów ABCD.
Funkcję logiczną Y będzie wówczas opisywać suma logiczna pozostałych zbiorów.
Kod:

Operatory logiczne typu OR(|+)
                 |Punkt odniesienia:
                 |spójnik „lub”(+) w zbiorach
                 |  Y=(~)p+(~)q
A: p~~> q = p* q |  Ya  Ya  Ya ~Ya
B: p~~>~q = p*~q |  Yb  Yb ~Yb  Yb
C:~p~~> q =~p* q |  Yc ~Yc  Yc  Yc
D:~p~~>~q =~p*~q | ~Yd  Yd  Yd  Yd
   a    b   c  d |  21  22  23  24

Kod:

Operatory logiczne typu OR(|+) w spójnikach „lub”(+) i „i”(*)
                      || Y=  ~Y=    | Y=   ~Y=   | Y=   ~Y=   | Y=   ~Y=
        | p  q |~p ~q || p+q ~p*~q  | p+~q ~p*q  |~p+q  p*~q  |~p+~q  p*q
A: p* q | 1  1 | 0  0 ||  1    0    |  1     0   |  1    0    |  0     1
B: p*~q | 1  0 | 0  1 ||  1    0    |  1     0   |  0    1    |  1     0
C:~p* q | 0  1 | 1  0 ||  1    0    |  0     1   |  1    0    |  1     0
D:~p*~q | 0  0 | 1  1 ||  0    1    |  1     0   |  1    0    |  1     0
   a  b   1  2   3  4 || 21A  21B   | 22A   22B  | 23A  23B   | 24A   24B   
Prawo Prosiaczka:     ||Punkt       |Punkt       |Punkt       |Punkt
(~p=1)=(p=0)          ||odniesienia |odniesienia |odniesienia |odniesienia
(~q=1)=(q=0)          ||Yabc=p+q    |Yabd=p+~q   |Yacd=~p+q   |Ybcd=~p*~q


9.1.3 Operatory równoważności <=> oraz „albo”($)
Kod:

Operatory równoważności <=> oraz „albo”($)
A: p~~> q = p* q |  Ya ~Ya
B: p~~>~q = p*~q | ~Yb  Yb
C:~p~~> q =~p* q | ~Yc  Yc
D:~p~~>~q =~p*~q |  Yd ~Yd
   a    b   c  d |  31  32

Kod:

Operatory równoważności <=> oraz „albo”($) w spójnikach „i”(*) i „lub”(+)
                      || Y=p<=>q=  ~Y=~(p<=>q)=| Y=p$q=    ~Y=~(p$q)= 
        | p  q |~p ~q || p*q+~p*~q  p*~q+~p*q  | p*~q+~p*q  p*q+~p*~q
A: p* q | 1  1 | 0  0 ||  1          0         |  0          1
B: p*~q | 1  0 | 0  1 ||  0          1         |  1          0
C:~p* q | 0  1 | 1  0 ||  0          1         |  1          0
D:~p*~q | 0  0 | 1  1 ||  1          0         |  0          1
   a  b   1  2   3  4 || 31A        31B        | 32A        32B   
Prawo Prosiaczka:     ||Punkt                  |Punkt     
(~p=1)=(p=0)          ||odniesienia            |odniesienia 
(~q=1)=(q=0)          ||Y=p<=>q                |Y=p$q
                      || p<=>q - równoważność
                      || p$q   - spójnik „albo”($), ziemski XOR



9.1.4 Operator chaosu (@) oraz śmierci (&)
Kod:

Operatory chaosu (@) i śmierci (&)
A: p~~> q = p* q |  Ya ~Ya
B: p~~>~q = p*~q |  Yb ~Yb
C:~p~~> q =~p* q |  Yc ~Yc
D:~p~~>~q =~p*~q |  Yd ~Yd
   a    b   c  d |  41  42

Kod:

Operatory chaosu @ i śmierci & 
        | p  q |~p ~q || Y=p@q=1 ~Y=~(p@q)=0 | Y=p&q=0 ~Y=~(p&q)=1
A: p* q | 1  1 | 0  0 ||  1          0       |  0          1
B: p*~q | 1  0 | 0  1 ||  1          0       |  0          1
C:~p* q | 0  1 | 1  0 ||  1          0       |  0          1
D:~p*~q | 0  0 | 1  1 ||  1          0       |  0          1
   a  b   1  2   3  4 || 41A        41B      | 42A        42B   
Prawo Prosiaczka:     ||Punkt                |Punkt     
(~p=1)=(p=0)          ||odniesienia          |odniesienia 
(~q=1)=(q=0)          ||Y=p@q                |Y=p&q
                      ||p@q - operator chaosu (@)
                      ||p&q - operator śmierci


9.1.5 Operatory związane z wejściami p i q (operatory jednoargumentowe)
Kod:

Operatory związane z wejściami p i q
A: p~~> q = p* q |  Ya ~Ya  Ya ~Ya
B: p~~>~q = p*~q |  Yb ~Yb ~Yb  Ya
C:~p~~> q =~p* q | ~Yc  Yc  Yc ~Yc
D:~p~~>~q =~p*~q | ~Yd  Yd ~Yc  Yc
   a    b   c  d |  51  52  53  54

Kod:

Operatory związane z wejściami p i q
        | p  q |~p ~q || Y=p ~Y=~p  | Y=~p ~Y=p  | Y=q ~Y=~q  | Y=~q ~Y=q
A: p* q | 1  1 | 0  0 ||  1    0    |  0     1   |  1    0    |  0     1
B: p*~q | 1  0 | 0  1 ||  1    0    |  0     1   |  0    1    |  1     0
C:~p* q | 0  1 | 1  0 ||  0    1    |  1     0   |  1    0    |  0     1
D:~p*~q | 0  0 | 1  1 ||  0    1    |  1     0   |  0    1    |  1     0
   a  b   1  2   3  4 || 51A  51B   | 52A   52B  | 53A  53B   | 54A   54B   
Prawo Prosiaczka:     ||Punkt       |Punkt       |Punkt       |Punkt
(~p=1)=(p=0)          ||odniesienia |odniesienia |odniesienia |odniesienia
(~q=1)=(q=0)          ||Y=p         |Y=~p        |Y=q         |Y=~q


idiota napisał:
I znów straszne jakieś brednie długaśnie nie wiadomo o czym i nie wiadomo do kogo.
Ale się rysunki znów zjawiły.
rafałek lubi kolorowe!

Idioto, czy niniejszy post to też brednie?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Nie 20:19, 01 Kwi 2018, w całości zmieniany 7 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 18:39, 01 Kwi 2018    Temat postu:

To banały.
Pierwsze trzy strony podręcznika KRZ z olbrzymią redundancją.

No i jak z tym p=1 i q=1 a p*q=0?
Wywietrzało?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Nie 19:59, 01 Kwi 2018    Temat postu:

idiota napisał:

To banały.
Pierwsze trzy strony podręcznika KRZ z olbrzymią redundancją.

Rafal3006 napisał:

9.1 Pełna lista operatorów logicznych (16 sztuk)

Definicja operatora logicznego w spójnikach „i”(*) i „lub”(+):
Operator logiczny w spójnikach „i”(*) i „lub”(+) to układ równań logicznych Y i ~Y opisujący kompletną kolumnę wynikową.

Z punktu widzenia algebry Boole’a (wyłącznie znaczki: 0,1,(~),(*),(+)) operatory logiczne dzielimy na:
1. [11-14] Operatory typu AND(|*)
2. [21-24] Operatory typu OR(|+)
3. [31-32] Operator równoważności (<=>) oraz „albo”($)
4. [41-42] Operatory chaosu (@) i śmierci (&)
5. [51-54] Operatory związane z wejściami p i q (operatory jednoargumentowe)

Kod:

Lista najważniejszych operatorów logicznych w naturalnej logice człowieka
              | Y=  Y=    Y=   Y=   Y=  Y=    Y=   Y=   Y=    Y=  Y=  Y=
   p  q ~p ~q | p*q p*~q ~p*q ~p*~q p+q p+~q ~p+q ~p+~q p<=>q p$q p@q p&q
A: 1  1  0  0 |  1   0     0    0    1   1     1    0     1    0   1   0
B: 1  0  0  1 |  0   1     0    0    1   1     0    1     0    1   1   0
C: 0  1  1  0 |  0   0     1    0    1   0     1    1     0    1   1   0
D: 0  0  1  1 |  0   0     0    1    0   1     1    1     1    0   1   0
Legenda:
„i”(*)   - spójnik „i” z naturalnej logiki człowieka
„lub”(+) - spójnik „lub”(+) z naturalnej logiki człowieka
p<=>q    - spójnik równoważności <=> z naturalnej logiki człowieka
p$q      - spójnik „albo”($) z naturalnej logiki człowieka (ziemski XOR)
p@q      - operator chaosu, generuje wyłącznie jedynki w kolumnie wynikowej
p&q      - operator śmierci, generuje wyłącznie zera w kolumnie wynikowej

Kod:

Lista operatorów logicznych związanych z wejściem p i wejściem q
Operatory jednoargumentowe
   p  q ~p ~q | Y=p Y=~p Y=q Y=~q
A: 1  1  0  0 |  1   0    1    0
B: 1  0  0  1 |  1   0    0    1
C: 0  1  1  0 |  0   1    1    0
D: 0  0  1  1 |  0   1    0    1

Idioto, zgoda że banały.
ALE!
Zauważ, że kluczowym w powyższym poście jest opis kolumn wynikowych w postaci funkcji logicznej:
Y=p*q
Bez tego "Y=" wszystko się wali i jest do dupy!

Zauważ, że w logice mamy 16 operatorów które opisuje 32 funkcje logiczne, bowiem wszystkie operatory to funkcje logiczne w logice dodatniej (bo Y).
Do każdego z operatorów w logice dodatniej (bo Y) przyporządkowana jest funkcja w logice ujemnej (bo ~Y) co razem daje 32 funkcje logiczne Y i ~Y.

Podsumowując:
Wreszcie ludzkość dostała poprawny fundament logiki matematycznej, czyli poprawnie matematycznie opisane operatory logiczne.
Z faktu że napisałeś iż jest to banał wynika że rozumiesz co piszę?
Jeśli tak to brawo, nie jesteś stracony dla algebry Kubusia!
Gratulacje!


Ostatnio zmieniony przez rafal3006 dnia Nie 20:03, 01 Kwi 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13933
Przeczytał: 52 tematy


PostWysłany: Nie 20:56, 01 Kwi 2018    Temat postu:

No i znowu się zdefekował ...

Dostałeś proste pytanie: co oznacza w twojej algebrze operator '*'?
1. Koniunkcję logiczną zdań.
2. Część wspólną zbiorów.

Możesz podać jeden znak graficzny jako odpowiedź: '1' lub '2'.
Nawet tego nie potrafisz.

I tak każdy widzi, że nie masz pojęcia, co odpowiedzieć i próbujesz zasrywaniem wątku to ukryć.


Ostatnio zmieniony przez Irbisol dnia Nie 20:56, 01 Kwi 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 22:34, 01 Kwi 2018    Temat postu:

"Bez tego "Y=" wszystko się wali i jest do dupy! "

Ale to twoje y nic nie znaczy.
Jest po prostu dodatkiem,który wymyśliłeś, żeby TOBIE z twoją beznadziejną pamięcią się nie zajączkowało.
Normalni ludzie tego nie potrzebują, bo mają sprawne mózgi.

Edycja:

To co robisz to jakiś fetysz względem negacji.
Ale masz prawo mieć różne bogi.
Nawet ~.

No i nie ma zdań p=1 i q-1 żeby p^q=0...
:(


Ostatnio zmieniony przez idiota dnia Pon 0:34, 02 Kwi 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Pon 7:07, 02 Kwi 2018    Temat postu:

Definicja prawdy w logice matematycznej!

[link widoczny dla zalogowanych]
Wikipedia napisał:
Prawda – według klasycznej definicji właściwość sądów polegająca na ich zgodności z faktycznym stanem rzeczy, których dotyczą.

Stąd mamy:
Definicja prawdy w logice matematycznej:
W logice matematycznej prawda to zgodność z matematycznymi definicjami np. z definicjami znaczków =>, ~> i ~~>.

Irbisol napisał:

No i znowu się zdefekował ...

Dostałeś proste pytanie: co oznacza w twojej algebrze operator '*'?
1. Koniunkcję logiczną zdań.
2. Część wspólną zbiorów.

Możesz podać jeden znak graficzny jako odpowiedź: '1' lub '2'.
Nawet tego nie potrafisz.

I tak każdy widzi, że nie masz pojęcia, co odpowiedzieć i próbujesz zasrywaniem wątku to ukryć.

Irbisolu, wszystko rozbija się o fundamentalnie inne rozumienie przez nas dwóch znaczków:
1=?
0 =?
Ty rozumiesz znaczek 1 jako prawdę absolutną oraz 0 jako fałsz absolutny natomiast w algebrze Kubusia to jest wyjście z bloku decyzyjnego [1,0] w algorytmie programu komputerowego.

Innymi słowy:
Możemy zadawać absolutnie dowolne pytania binarne własnemu mózgowi.
Nasz mózg nie ma wyjścia i na binarne pytanie musi dać binarną odpowiedź:
1 - TAK, prawda (podejmuję decyzję na TAK)
0 - NIE, fałsz (podejmuję decyzję na NIE)
Przykład:
Czy jutro muszę => iść do kina?
Odpowiedź:
0 = NIE, nie muszę
Czy jutro mogę ~~> iść do kina?
Odpowiedź:
1 = TAK, mogę

Blok decyzyjny w programie komputerowym podejmuje decyzje binarne.
Odpowiedź bloku decyzyjnego na zadane pytanie binarne musi być binarna [1,0]

W AK działa to tak:
I
Pytanie o podzbiór =>:

Definicja znaczka =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest podzbiorem => q
Inaczej:
p=>q =0
Mamy zdanie:
A.
Jeśli dowolna liczba naturalne jest podzielna przez 8 to na 100% => jest podzielna przez 2
P8=>P2 =1
Definicja użytego w kodowaniu znaczka => wymusza tu pytanie binarne w bloku decyzyjnym:
Czy dowolna liczba naturalna podzielna przez 8 jest podzielna przez 2?
Komputerowa odpowiedź z bloku decyzyjnego:
1 =TAK
1 = prawda
Tak, bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Weźmy teraz kontrprzykład do zdania A czyli to samo zdanie z zanegowanym następnikiem kodowane kwantyfikatorem małym ~~>

II
Pytanie o istnienie części wspólnej ~~> zbiorów:

Definicja części wspólnej zbiorów:
p~~>q = p*q =1 - gdy istnieje co najmniej jeden wspólny element zbiorów p i q
Inaczej: p~~>q = p*q =0
B.
Jeśli dowolna liczba naturalna jest podzielna przez 8 to może ~~> nie być podzielna przez 2
P8~~>~P2 = P8*~P2 =[] =0
Zdanie B wymusza pytanie:
Czy istnieje ~~> co najmniej jeden element wspólny zbiorów P8 i ~P2?
Komputerowa odpowiedź z bloku decyzyjnego:
0 = NIE
0 = fałsz

III
Pytanie o istnienie części wspólnej ~~> zbiorów:

C.
Jeśli dowolna liczba naturalna jest podzielna przez 8 to może ~~> być podzielna przez 2
P8~~>P2 = P8*P2 =1 bo 8 - tu wystarczy pokazać jeden wspólny element!
Zdanie C wymusza pytanie:
Czy istnieje ~~> co najmniej jeden element wspólny zbiorów P8 i P2?
Komputerowa odpowiedź z bloku decyzyjnego:
1 = TAK
1 = prawda

IV.
Pytanie o nadzbiór ~>:

Definicja znaczka ~>:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest nadzbiorem q
Inaczej: p~>q =0
D.
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8 =1
Zdanie D wymusza pytanie:
Czy zbiór P2 jest nadzbiorem ~> zbioru P8?
Komputerowa odpowiedź z bloku decyzyjnego:
1 = TAK
1 = prawda

Kluczowe pytanie do Irbisola:
Czy w algebrze Kubusia i teorii zbiorów ziemian mamy identyczne znaczenie fundamentu teorii zbiorów dla potrzeb logiki matematycznej?

I.
Relacja podzbioru => = warunek wystarczający =>:

p=>q =1 (PRAWDA) wtedy i tylko wtedy gdy zbiór p jest podzbiorem => q
Inaczej: p=>q =0 - FAŁSZ
Przykład:
P8=>P2 =1
Zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,,4,6,8..]
Fakt przynależności dowolnej liczby do zbioru P8 jest warunkiem wystarczającym => do tego, aby ta liczba należała do zbioru P2

II.
Relacja nadzbioru ~> = warunek konieczny ~>:

p~>q =1 (PRAWDA) wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> q
Inaczej: p~>q =0 - FAŁSZ
Przykład:
P2~>P8 =1
Zbiór P2=[2,4,6,8..] jest nadzbiorem ~> zbioru P8=[8,16,24..]
Zbiór P2 jest konieczny ~> dla zbudowania zbioru P8

III.
Relacja elementu wspólnego zbiorów ~~>:

p~~>q = p*q =1 (PRAWDA) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej: p~~>q = p*q =0 (FAŁSZ)
Przykład:
P8~~>P3 = P8*P3 =1 bo 24

Powtórzę kluczowe pytanie do Irbisola:
Czy w algebrze Kubusia i teorii zbiorów ziemian mamy identyczne znaczenie fundamentu teorii zbiorów dla potrzeb logiki matematycznej?


Podpowiedź:
[link widoczny dla zalogowanych]
Wikipedia napisał:
Prawda – według klasycznej definicji właściwość sądów polegająca na ich zgodności z faktycznym stanem rzeczy, których dotyczą.

Stąd mamy:
Definicja prawdy w logice matematycznej:
W logice matematycznej prawda to zgodność z matematycznymi definicjami np. z definicjami znaczków =>, ~> i ~~>.
Mam nadzieję że ta podpowiedź ci się przyda.

http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-775.html#372557
idiota napisał:

Normalni ludzie tego nie potrzebują, bo mają sprawne mózgi.

Zgadza się,
Zbadajmy zatem czy zgadzasz się z definicją prawdy w logice matematycznej - ciut wyżej?


Ostatnio zmieniony przez rafal3006 dnia Pon 7:38, 02 Kwi 2018, w całości zmieniany 10 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Pon 8:01, 02 Kwi 2018    Temat postu:

idiota napisał:
"Bez tego "Y=" wszystko się wali i jest do dupy! "

Ale to twoje y nic nie znaczy.
Jest po prostu dodatkiem,który wymyśliłeś, żeby TOBIE z twoją beznadziejną pamięcią się nie zajączkowało.
Normalni ludzie tego nie potrzebują, bo mają sprawne mózgi.

Taa..
To sprawdźmy czy to „Y=” jest ważne czy nie jest ważne.

Pani:
1.
Jeśli jutro pójdziemy do kina to nie pójdziemy do teatru
K=>~T =1
Pójście do kina jest warunkiem wystarczającym => abyśmy jutro nie poszli do teatru
Y = K=>~T = ~K+~T
… a kiedy pani skłamie?
Negujemy zdanie 1 stronami otrzymując odpowiedź:
2.
~Y = K*T
co matematycznie oznacza:
~Y=1 <=> K=1 i T=1
… i mamy odpowiedź:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy:
Jutro pójdziemy do kina (K=1) i do teatru (T=1)

Teraz uważaj Idioto:
Czy w zdaniu wyżej możemy pominąć część wytłuszczoną zawierającą „Y=”?
TAK/NIE

Zuzia (lat 5) do Idioty:
.. a kiedy pani skłamie?
Idiota:
Jutro pójdziemy do kina i do teatru
Zuzia:
.. ale ja się pytam kiedy pani skłamie!
Czy możesz Idioto precyzyjnie na to pytanie odpowiedzieć?
Podsumowując:
Poproszę Idiotę o precyzyjną odpowiedź dla Zuzi!

P.S.
To jest kolejna podpowiedź dla Irbisola.


Ostatnio zmieniony przez rafal3006 dnia Pon 8:05, 02 Kwi 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Pon 10:19, 02 Kwi 2018    Temat postu:

Logika matematyczna bez funkcji logicznej „Y=” oraz bez „~Y=” jest wewnętrznie sprzeczna!

Najważniejszy post w historii AK z punktu widzenia aktualnej logiki „matematycznej” ziemian, bowiem dowodzi wewnętrznej, matematycznej sprzeczności tejże „logiki”.

Wniosek - roznoszący w puch logikę „matematyczną” biednych ziemian!
Logika matematyczna ziemian, która z definicji nie widzi funkcji logicznych Y i ~Y jest wewnętrznie sprzeczna!
cnd

Zobaczmy to na przykładzie odkrycia wszech czasów, czyli rozszyfrowania matematycznego znaczenia definicji operatorów logicznych (w liczbie 16 sztuk)
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-775.html#372501

Kod:

Lista najważniejszych operatorów logicznych w naturalnej logice człowieka
              | Y=  Y=    Y=   Y=   Y=  Y=    Y=   Y=   Y=    Y=  Y=  Y=
   p  q ~p ~q | p*q p*~q ~p*q ~p*~q p+q p+~q ~p+q ~p+~q p<=>q p$q p@q p&q
A: 1  1  0  0 |  1   0     0    0    1   1     1    0     1    0   1   0
B: 1  0  0  1 |  0   1     0    0    1   1     0    1     0    1   1   0
C: 0  1  1  0 |  0   0     1    0    1   0     1    1     0    1   1   0
D: 0  0  1  1 |  0   0     0    1    0   1     1    1     1    0   1   0
   1  2  3  4    a   b     c    d    e   f     g    h     i    j   k   l
Legenda:
„i”(*)   - spójnik „i” z naturalnej logiki człowieka
„lub”(+) - spójnik „lub”(+) z naturalnej logiki człowieka
p<=>q    - spójnik równoważności <=> z naturalnej logiki człowieka
p$q      - spójnik „albo”($) z naturalnej logiki człowieka (ziemski XOR)
p@q      - operator chaosu, generuje wyłącznie jedynki w kolumnie wynikowej
p&q      - operator śmierci, generuje wyłącznie zera w kolumnie wynikowej


Pani Basia w przedszkolu Nr. 1 wypowiada zdanie zgodne z „e” tzn. ze spójnikiem „lub”(+)
B1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
.. a kiedy pani Basia skłamie?
Negujemy stronami:
~Y=~K*~T
B2.
Pani Basia skłamie (~Y) wtedy i tylko wtedy gdy:
Jutro nie pójdziemy ani do kina, ani do teatru
~Y = ~K*~T

Uwaga:
Operator logiczny to układ równań logicznych B1 i B2, a nie dowolne z tych zdań!


Pani Kasia w przedszkolu Nr.2 wypowiada zdanie zgodne z „d” tzn. ze spójnikiem „i”(*).
K1.
Jutro nie pójdziemy ani do kina, ani do teatru
Y=~K*~T
… a kiedy pani Kasia skłamie?
Negujemy stronami:
K2.
~Y=K+T
Pani Kasia skłamie (~Y) wtedy i tylko wtedy gdy:
Jutro pójdziemy do kina lub pójdziemy do teatru
~Y=K+T

Uwaga:
Operator logiczny to układ równań logicznych K1 i K2, a nie dowolne z tych zdań!

Podsumowanie:
1.
Pani Basia może wypowiedzieć swoje zdanie na nieskończoną ilość matematycznych sposobów:
B1:
Jutro pójdziemy do kina lub do teatru
Y=K+T
Przykład zdania tożsamego matematycznie:
B1’
Jeśli jutro nie pójdziemy do kina to pójdziemy do teatru
Y = ~K=>T = K+T
bo definicja znaczka =>:
p=>q = ~p+q
cnd

2.
Pani Kasia również może wypowiedzieć swoje zdanie na nieskończoną ilość matematycznych sposobów:
K1:
Jutro nie pójdziemy ani do kina, ani do teatru
Y = ~K*~T

Przykład zdania tożsamego:
K1’
Prawo De Morgana:
~K*~T = ~(K+T)
Pani Kasia:
Nie może się zdarzyć ~(…) że jutro pójdziemy do kina lub do teatru

Inny przykład zdania tożsamego:
K1’’
Prawo algebry Boole’a:
p = p+ p*q
gdzie q może być czymkolwiek np.
q=r+r*p+s*p*~q …
Podstawmy:
q=C
C- cyrk
Podstawmy:
p=~K*~T
stąd mamy:
~K*~T = ~K*~T + ~K*~T*C
Stąd zdanie tożsame pani Kasi:
Jutro nie pójdziemy ani do kina, ani do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru ale pójdziemy do cyrku
Y = ~K*~T = ~K*~T + ~K*~T*C
Ogólnie:
Y = p = p+p*C
Mamy:
Y = p+p*C
co matematycznie oznacza:
Y=1 <=> p=1 lub (p*C) =1
Wystarczy że zajdzie (=1) którykolwiek człon z prawej strony i już ustawi Y=1
Stąd mamy:
Y = p*(p*C) + p*~(p*C) + ~p*(p*C)
Y = p*C + p*(~p+~C)
Y = p*C + p*~p + p*~C
Y = p*C + p*~C
Y = p*(C+~C)
Y=p
stąd mamy dowód tożsamości:
Y = p = p + p*C
Jak widać, wszystkie drogi prowadzą do Rzymu!
cnd

Podsumowanie:
Na mocy praw algebry Boole’a zdania pani Basi i Kasi możemy wypowiadać na nieskończoną ilość sposobów matematycznie tożsamych, jednak wykluczone jest abyśmy kiedykolwiek doprowadzili do tożsamości zdań:
B1 = K1
Na mocy powyższego wprowadzamy do logiki pojęcie:
## - różne na mocy definicji

Na mocy naszego przykładu jedyny zapis matematycznie poprawny to:
B1: Y=K+T ## B2: Y=~K*~T
gdzie:
## - różne na mocy definicji

Dokładnie to samo w zapisach ogólnych:
B1: Y=p+q ## B2: Y=~p*~q
gdzie:
## - różne na mocy definicji

Na mocy powyższego, znaczek różne na mocy definicji ## możemy rozciągnąć na wszystkie definicje operatorów logicznych!
Y=p*q ## Y=p*~q ## Y=~p*q ## Y=~p*~q ## Y=p+q ## Y=p+~q ## Y=~p+q ## Y=~p+~q ## Y=p<=>q ## Y=p$q ## Y=p@q ## Y=p&q

Czy ktoś ma cień wątpliwości?
… że właśnie doszło do odkrycia wszech czasów, czyli odkrycia poprawnego, matematycznego znaczenia wszystkich 16 operatorów logicznych!

… a że to wszystko są banały, to jest oczywiste nawet dla naszego Idioty!
idiota napisał:
To banały.
Pierwsze trzy strony podręcznika KRZ z olbrzymią redundancją.


Na zakończenie dowód wewnętrznej sprzeczności logiki matematycznej jeśli pominiemy w zapisie funkcję logiczną „Y=”

Pani Basia:
Y = K+T
~Y=~K*~T

Pani Kasia:
Y=~K*~T
~Y=K+T

Zauważmy, że jeśli wywalimy z powyższych zapisów funkcję logiczną „Y=” to otrzymamy:
Pani Basia:
K+T
~K*~T
Pani Kasia:
K+T
~K*~T
…no i wyszło nam, że bez funkcji logicznej „Y=” pani Basia mówi dokładnie o tym samym co pani Kasia co jest błędem czysto matematycznym, co oznacza wewnętrzną sprzeczność logiki matematycznej która nie widzi funkcji logicznej „Y=” oraz nie widzi funkcji logicznej „~Y=”

Wniosek - roznoszący w puch logikę „matematyczną” biednych ziemian!
Logika matematyczna ziemian, która z definicji nie widzi funkcji logicznych Y i ~Y jest wewnętrznie sprzeczna!
cnd

Czy ktoś nie zgadza się z niniejszym dowodem wewnętrznej sprzeczności logiki „matematycznej” ziemian?

Taz napisał:
A jak coś zaczyna docierać, to wrzuca kilka postów rozmiarów Jowisza, żeby szybko mu niewygodny tekst zniknął z oczu.

Fizyku, mamy fundamentalnie inne znaczenie znaczków [1,0] co opisałem w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-775.html#372573
stąd twoje pieprzenie kotka za pomocą młotka.

Czy możesz wypowiedzieć się w temacie dowodu wewnętrznej sprzeczności logiki „matematycznej” ziemian zaprezentowanej w tym poście?
Prawda to, czy fałsz?


Ostatnio zmieniony przez rafal3006 dnia Pon 10:32, 02 Kwi 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13933
Przeczytał: 52 tematy


PostWysłany: Pon 10:48, 02 Kwi 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:

No i znowu się zdefekował ...

Dostałeś proste pytanie: co oznacza w twojej algebrze operator '*'?
1. Koniunkcję logiczną zdań.
2. Część wspólną zbiorów.

Możesz podać jeden znak graficzny jako odpowiedź: '1' lub '2'.
Nawet tego nie potrafisz.

I tak każdy widzi, że nie masz pojęcia, co odpowiedzieć i próbujesz zasrywaniem wątku to ukryć.

Irbisolu, wszystko rozbija się o fundamentalnie inne rozumienie przez nas dwóch znaczków:
1=?
0 =?
Ty rozumiesz znaczek 1 jako prawdę absolutną oraz 0 jako fałsz absolutny natomiast w algebrze Kubusia to jest wyjście z bloku decyzyjnego [1,0] w algorytmie programu komputerowego.
(...)
Czy jutro muszę => iść do kina?
(...)Czy jutro mogę ~~> iść do kina?
(...)
Pytanie o podzbiór =>:
Definicja znaczka =>:
(...)
Pytanie o istnienie części wspólnej ~~> zbiorów:
(...)
Pytanie o nadzbiór ~>:[/b]
(...)Kluczowe pytanie do Irbisola:

I tak pierdolisz nie na temat, a ja po prostu pytam, co oznacza w TWOJEJ algebrze znaczek '*':
1. Koniunkcję logiczną zdań.
2. Część wspólną zbiorów.
?
Taka ta twoja algebra jest posrana, że nie masz pojęcia, co ten znaczek oznacza?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Pon 11:55, 02 Kwi 2018    Temat postu:

Irbisol napisał:

rafal3006 napisał:
Irbisol napisał:

No i znowu się zdefekował ...

Dostałeś proste pytanie: co oznacza w twojej algebrze operator '*'?
1. Koniunkcję logiczną zdań.
2. Część wspólną zbiorów.

Możesz podać jeden znak graficzny jako odpowiedź: '1' lub '2'.
Nawet tego nie potrafisz.

I tak każdy widzi, że nie masz pojęcia, co odpowiedzieć i próbujesz zasrywaniem wątku to ukryć.

Irbisolu, wszystko rozbija się o fundamentalnie inne rozumienie przez nas dwóch znaczków:
1=?
0 =?
Ty rozumiesz znaczek 1 jako prawdę absolutną oraz 0 jako fałsz absolutny natomiast w algebrze Kubusia to jest wyjście z bloku decyzyjnego [1,0] w algorytmie programu komputerowego.
(...)
Czy jutro muszę => iść do kina?
(...)Czy jutro mogę ~~> iść do kina?
(...)
Pytanie o podzbiór =>:
Definicja znaczka =>:
(...)
Pytanie o istnienie części wspólnej ~~> zbiorów:
(...)
Pytanie o nadzbiór ~>:[/b]
(...)Kluczowe pytanie do Irbisola:

I tak pierdolisz nie na temat, a ja po prostu pytam, co oznacza w TWOJEJ algebrze znaczek '*':
1. Koniunkcję logiczną zdań.
2. Część wspólną zbiorów.
?
Taka ta twoja algebra jest posrana, że nie masz pojęcia, co ten znaczek oznacza?


[link widoczny dla zalogowanych]
elektryk napisał:

Napięcie stałe:
Napięcie stałe to takie napięcie, którego wartość w krótkim okresie czasu nie zmienia się, lub zmiany te są niemierzalne.

Napięcie tętniące:
Napięcie tętniące, jak pokazuje rysunek, to napięcie którego wartość w krótkim czasie ulega cyklicznym, przewidywalnym zmianom.

Napięcie zmienne:
W tym przypadku wartość napięcia jest na tyle zmienna, że nie można przewidzieć jego wartości w czasie.

Napięcie przemienne:
Napięcie przemienne, często potocznie nazywane zmiennym, jest najczęściej używanym napięciem w energetyce

Powyższy cytat pokazuje że pojęcie „napięcia” nawet w obrębie tej samej dziedziny może mieć różna znaczenia.
Tak samo jest ze znaczkiem „*” w logice matematycznej:
1.
Jeśli mówimy o zbiorach to definicja znaczka „*” jest oczywista.
Definicja kwantyfikatora małego ~~>:
p~~>q = p*q =1
Definicja kwantyfikatora małego ~~> jest spełniona wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny.
Inaczej:
p~~>q = p*q =0

Rozstrzygajmy po kolei:
Zauważ, że znaczek ~~> nie oznacza tu konieczności wyznaczenia pełnego iloczynu logicznego dwóch zbiorów p*q=[x].
Algorytm działania znaczka ~~> jest identyczny jak algorytm iloczynu logicznego zbiorów p*q z tym, że przerywamy wyznaczanie części wspólnej zbiorów po napotkaniu pierwszego wspólnego elementu zbiorów p*q z rozstrzygnięciem:
p~~>q = p*q =1 - znaleziono jeden wspólny element p i q
Inaczej:
p~~>q = p*q = [] =0
Zauważ, że przy zbiorach rozłącznych definicja znaczka ~~> zmusza cię do wyznaczenia pełnego zbioru
p*q =[]
Czyli w tym przypadku jest obojętne czy twoja procedura będzie wyznaczała kompletny zbiór p*q czy też tylko szukała pierwszego elementu wspólnego.
W obu przypadkach musisz zasuwać po kompletnym, jednym ze zbiorów p albo q.

Zauważ też, że definicja kwantyfikatora małego ~~> wyłącznie skraca obliczenia i nic więcej!
Oznacza to że w znaczku ~~> możesz, ale nie musisz przerwać obliczenia po napotkaniu pierwszego wspólnego elementu o czym sygnalizuje znak tożsamości w poniższym zapisie.
p~~>q = p*q
Z punktu widzenia logiki matematycznej obie procedur ~~> i „*” są matematycznie tożsame bowiem dają identyczną odpowiedź na pytanie:
Czy zbiory p i q mają element wspólny?
Odpowiedź:
1.
TAK
Jeśli istnieje co najmniej jeden element wspólny, bez znaczenia jest tu czy będziesz miał w garści jeden wspólny element czy też kompletny zbiór p*q
2.
NIE
Jeśli zbiory p i q są rozłączne

Proponuję Irbisolu szukać po kolei punktów wspólnych między AK i LZ.

Pytanie 1.
Czy definicję znaczka „*” na gruncie teorii zbiorów mamy identyczną?

Identyczną będziemy mieli wtedy i tylko wtedy jak twoja logika matematyczna potrafi rozstrzygnąć o prawdziwości/fałszywości poniższego zdania:
B.
Jeśli dowolna liczba naturalna jest podzielna przez 8 to może ~~> nie być podzielna przez 2
P8~~>~P2 = P8*~P2 =?

Poproszę o zademonstrowanie jak twoja logika radzi sobie z dowodem zdania B.
W szczególności czy używa tu jakiejkolwiek innej definicji znaczka „*” niż definicja iloczynu logicznego zbiorów p*q


Ostatnio zmieniony przez rafal3006 dnia Pon 12:05, 02 Kwi 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Pon 12:19, 02 Kwi 2018    Temat postu:

Czyli nie umiesz odpowiedzieć na to pytanie.
Czyli rzeczywiście tak ci się wszystko rozjechało, że dzięki podwojeniu pozornemu funkcji prawdziwościowych i poplątaniu wartości argumentów nawet nie wiesz co robi *.
Zaiste, świetną logikę wymyśliłeś.

To ciekawe, bo tak naprawdę nie zrobiłeś żadnych dodatkowych narzędzi, tylko dałeś dwie nazwy na stare w zależności od tego czy stoją na nogach czy na głowie, ale twój móżdżek nie potrafi tego ogarnąć i bałagan masz prawdziwy.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Pon 12:31, 02 Kwi 2018    Temat postu:

idiota napisał:
Czyli nie umiesz odpowiedzieć na to pytanie.
Czyli rzeczywiście tak ci się wszystko rozjechało, że dzięki podwojeniu pozornemu funkcji prawdziwościowych i poplątaniu wartości argumentów nawet nie wiesz co robi *.
Zaiste, świetną logikę wymyśliłeś.

To ciekawe, bo tak naprawdę nie zrobiłeś żadnych dodatkowych narzędzi, tylko dałeś dwie nazwy na stare w zależności od tego czy stoją na nogach czy na głowie, ale twój móżdżek nie potrafi tego ogarnąć i bałagan masz prawdziwy.

Idioto, z faktu że ty poległeś na banalnym zdaniu:
P8~~>~P2 = P8*~P2=?
Nie wynika że Irbisol musi też polec.

W algebrze Kubusia na gruncie podstawowej teorii zbiorów znaczek "*" oznacza po prostu iloczyn logiczny zbiorów.
Chcę się dowidzieć czy w teorii zbiorów Irbisola mamy tu identyczne znaczenie znaczka "*"
tzn.
Czy logika matematyczna Irbisola daje radę udowodnić prawdziwość/fałszywość zdania niżej?
B.
Jeśli dowolna liczba naturalna jest podzielna przez 8 to może ~~> nie być podzielna przez 2
P8~~>~P2 = P8*~P2 =?

Poproszę o zademonstrowanie jak twoja logika radzi sobie z dowodem zdania B.
W szczególności czy używa tu jakiejkolwiek innej definicji znaczka „*” niż definicja iloczynu logicznego zbiorów p*q

Definicja iloczynu logicznego zbiorów:
Iloczyn logiczny zbiorów p*q to część wspólna zbiorów p i q bez powtórzeń

Czy znasz jakąś inną definicję znaczka "*" na gruncie naszej wspólnej, podstawowej teorii zbiorów.
Pozostałe nasze wspólne definicje to definicja podzbioru => i nadzbioru ~>.
Póki co ustaliłem ponad wszelką wątpliwość że to jedyne nasze wspólne definicje na gruncie logiki matematycznej.


Ostatnio zmieniony przez rafal3006 dnia Pon 12:46, 02 Kwi 2018, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Pon 14:23, 02 Kwi 2018    Temat postu:

W teorii zbiorów nie ma znaczka * i wiesz to.

No i ty nie wiesz czym jest dowód i nie chcesz tego wiedzieć.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32220
Przeczytał: 38 tematów

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

PostWysłany: Pon 14:54, 02 Kwi 2018    Temat postu:

idiota napisał:
W teorii zbiorów nie ma znaczka * i wiesz to.

No i ty nie wiesz czym jest dowód i nie chcesz tego wiedzieć.

W teorii zbiorów ewidentnie jest spójnik "i"(*).

Dowód:

http://www.sfinia.fora.pl/forum-kubusia,12/kubusiowa-szkola-logiki-na-zywo-dyskusja-z-volrathem,3591-25.html#69416
wykładowca logiki volrath napisał:

Kod:

Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
Wiemy, że:
             Y=?
A: P i  4L = 1 (pies)
B: P i ~4L = 0 (brak psów bez 4 łap)
C:~P i  4L = 1 (słoń)
D:~P i ~4L = 1 (mrówka)
Istnienie kalekich psów wykluczamy.

Volrath ewidentnie pokazał tu po jednym wspólnym elemencie zbiorów ACD, czyli udowodnił prawdziwość kwantyfikatora małego ~~> w tych zdaniach:
p~~>q = p*q =1 - wystarczy pokazać jeden wspólny element zbiorów p i q
Inaczej:
p~~>q = p*q =0

W zdaniu B Volrath pokazał oczywistą oczywistość, czyli fakt rozłączności zbiorów p i q
Fakty:
P = [pies] =1 - istnieje (=1) zbiór P
~4L=[mrówka ..] =1 - istnieje (=1) zbiór ~4L
Podstawiamy:
p=P
q=~4L
stąd mamy:
P~~>~4L = P*~4L = (P=1)*(~4L=1) = 0!
Czytamy:
Oba zbiory istnieją (P=1) i (~4L=1) ale są rozłączne, stąd iloczyn logiczny tych zbiorów jest zbiorem pustym [] co oznacza że nie jest (=0) spełniona definicja znaczka ~~>
cnd

Czy Irbisol to widzi iż dla zbiorów rozłącznych p i q zachodzi:
p~~>q = p*q = (p=1)*(q=1) =0

Czy ktoś ma inny pomysł na poprawną interpretację analizy zbiorów autorstwa Volratha?

P.S.
Jeśli zdaniem idioty spójnik „i”(*) z naturalnej logiki człowieka nie oznacza iloczynu logicznego zbiorów to przecież Volrath mógł sobie rzucać monetą y wynikowe 0 i 1 przyjąć w kolumnie wynikowej np. takie:
Idiota napisał:

Kod:

Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
Wiemy, że:
             Y=?
A: P i  4L = 1 (pies)
B: P i ~4L = 1 (brak psów bez 4 łap)
C:~P i  4L = 0 (słoń)
D:~P i ~4L = 1 (mrówka)
Istnienie kalekich psów wykluczamy.

Czy tak jest poprawnie Idioto?
Jeśli nie to dlaczego?


Ostatnio zmieniony przez rafal3006 dnia Pon 14:57, 02 Kwi 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13933
Przeczytał: 52 tematy


PostWysłany: Pon 19:47, 02 Kwi 2018    Temat postu:

rafal3006 napisał:
Jeśli mówimy o zbiorach to definicja znaczka „*” jest oczywista.

Nie mówimy o zbiorach. Mówimy o zdaniach logicznych.
co oznacza w twojej algebrze operator '*'?
1. Koniunkcję logiczną zdań.
2. Część wspólną zbiorów definiowanych przez te zdania.
?
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 31, 32, 33 ... 46, 47, 48  Następny
Strona 32 z 48

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie 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