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 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 187, 188, 189 ... 270, 271, 272  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14250
Przeczytał: 17 tematów


PostWysłany: Śro 20:56, 07 Lut 2024    Temat postu:

Biorę prawa De Morgana, po czym uzyskuję poprzez obustronną negację czystą, niezaprzeczoną alternatywę oraz koniunkcję (z jednego i drugiego prawa) - o postaci, jak napisałem w poprzednim poście.
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Śro 21:16, 07 Lut 2024    Temat postu:

Irbisol napisał:
Biorę prawa De Morgana, po czym uzyskuję poprzez obustronną negację czystą, niezaprzeczoną alternatywę oraz koniunkcję (z jednego i drugiego prawa) - o postaci, jak napisałem w poprzednim poście.

Powtórzę:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4650.html#777233
rafal3006 napisał:

Napisz krok po kroku dojście do rozwiązania końcowego.
Ja udowodniłem krok po kroku w poście wyżej to:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4650.html#777173
Kod:

Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik
w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)
1:  Y = p* q + ~p*~q <=> 4:  Y = (~p+ q)*(p+~q)
#                            #
3: ~Y = p*~q + ~p* q <=> 2: ~Y = (~p+~q)*(p+ q)
Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negację drugiej

Czekam na twój dowód prawa Małpki i twoje końcowe rozwiązanie, analogiczne do mojego wyżej.
Inaczej piszesz "gruszki na wierzbie" ... nic nie znaczące.

Nie potrafisz przelać swoich myśli na papier?

Wittgenstein:
O czym nie można mówić, o tym trzeba milczeć. (Wovon man nicht sprechen kann, darüber muß man schweigen.)

Innymi słowy:
Napisałeś NIC w temacie dowodu prawa Małpki, bo nie jesteś w stanie przelać swoich myśli na papier.
Napisałeś tylko i wyłącznie "gruszki na wierzbie" istniejące w twojej głowie, bez dostępu kogokolwiek z zewnątrz.

Powtórzę:
Zapisz te swoje "gruszki na wierzbie" na papierze, byśmy wszyscy mogli je zobaczyć i ocenić, czy rzeczywiści zachodzi tożsamość:

"Gruszki na wierzbie" w mózgu Irbisola = matematyczny dowód prawa Małpki
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14250
Przeczytał: 17 tematów


PostWysłany: Śro 21:51, 07 Lut 2024    Temat postu:

Kod:

1. p*q + -p*-q
2. -(-p+-q) + -(p+q)
3. -((-p+-q)*(p+q))
4. -(-p*p + -p*q + -q*p + -q*q)
5. -(-p*q + -q*p)
6. (-(-p*q)*-(-q*p))
7. (p+-q)*(q+-p)

Linia 1 = linia 7
p*q + -p*-q = (p+-q)*(q+-p)


1. Postać wyjściowa.
2. De Morgan + obustronne zaprzeczenie na koniunkcjach w nawiasach.
3. De Morgan + obustronne zaprzeczenie na alternatywie z postaci wyjściowej (przekształcone w alternatywy koniunkcje pozostają).
4. Przemnożenie składników.
5. Usunięcie zer (p*-p oraz q*-q).
6. Klasyczny De Morgan z zaprzeczenia alternatywy.
7. Klasyczny De Morgan z zaprzeczenia koniunkcji w wewnętrznych nawiasach.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14250
Przeczytał: 17 tematów


PostWysłany: Śro 21:59, 07 Lut 2024    Temat postu:

A jeszcze prościej jest wymnożyć w drugą stronę:
Kod:

(p+-q)*(q+-p)
p*q + p*-q + -q*q + -q*-p
p*q + 0 + 0 + -q*-p
p*q + -q*-p
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Śro 23:50, 07 Lut 2024    Temat postu:

Irbisol napisał:
A jeszcze prościej jest wymnożyć w drugą stronę:
Kod:

(p+-q)*(q+-p)
p*q + p*-q + -q*q + -q*-p
p*q + 0 + 0 + -q*-p
p*q + -q*-p

Po pierwsze masz nieścisłość w zapisie bo powinno być:
p<=>q = (p+~q)*(q+~p)
bo mówisz o równoważności, o czym doskonale wiesz.

To jest do dupy bo funkcją logiczną którą w języku potocznym rozumie każdy 5-cio latek jest funkcja alternatywno-koniunkcyjna.
Dowód tego faktu to banał, opisany w pkt. 1.10 w algebrze Kubusia.
Funkcji koniunkcyjno-alternatywnej w języku potocznym nikt nie rozumie od 5-cio latka poczynając na najwybitniejszym matematyku kończąc - dowód w pkt. 1.10.

Wniosek:
Powszechnie znaną i rozumianą definicją równoważności p<=>q w spójnikach "i"(*) i "lub"(+) jest ta definicja:
Y = p*q *~p*~q
i dla tej funkcji alternatywno-koniunkcyjnej musisz znaleźć odpowiadającą jej funkcję koniunkcyjno-alternatywną.


Ostatnio zmieniony przez rafal3006 dnia Śro 23:56, 07 Lut 2024, w całości zmieniany 4 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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 0:10, 08 Lut 2024    Temat postu:

Czy Irbisol udowodni prawo Małpki zachodzące w logice ujemnej (bo ~Y)
.. bez akceptacji logiki dodatniej (bo Y) i ujemnej (bo ~Y)?

Dajmy mu szansę, niech się rzuci „z motyką na słońce”

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4675.html#777249
Irbisol napisał:
Kod:

1. p*q + -p*-q
2. -(-p+-q) + -(p+q)
3. -((-p+-q)*(p+q))
4. -(-p*p + -p*q + -q*p + -q*q)
5. -(-p*q + -q*p)
6. (-(-p*q)*-(-q*p))
7. (p+-q)*(q+-p)

Linia 1 = linia 7
p*q + -p*-q = (p+-q)*(q+-p)


1. Postać wyjściowa.
2. De Morgan + obustronne zaprzeczenie na koniunkcjach w nawiasach.
3. De Morgan + obustronne zaprzeczenie na alternatywie z postaci wyjściowej (przekształcone w alternatywy koniunkcje pozostają).
4. Przemnożenie składników.
5. Usunięcie zer (p*-p oraz q*-q).
6. Klasyczny De Morgan z zaprzeczenia alternatywy.
7. Klasyczny De Morgan z zaprzeczenia koniunkcji w wewnętrznych nawiasach.

Trzeba było tak od razu, przelałeś swoje myśli na papier i możemy sprawdzić poprawność twojego rozumowania.
1.
Definicja równoważności w spójnikach „i”(*) i „lub”(+) znana każdemu matematykowi
Y = p<=>q = p*q + ~p*~q
od tego wychodzimy.
2.
Y = ~(~p+~q) + ~(p+q) – prawa De Morgana, ok
3.
~x+~y = ~(x*y) – prawo De Morgna
Y = ~((~p+~q)*(p+q)) – prawo De Morgana, ok
4.
Y = ~(~p*p + ~p*q + ~q*p + ~q*q) – wymnożenie wewnętrznego wielomianu, ok
5.
Y = ~(p*~q + ~p*q) – prawa algebry Boole’a, ok
6.
~(x+y) = ~x*~y – prawo De Morgana
Y = ~(p*~q)*~(~p*q) – prawo De Morgana, ok
7.
Prawa De Morgana:
~(p*~q) = (~p+q)
~(~p*q) = (p+~q)
Stąd mamy:
7: Y = (~p+q)*(p+~q)
Zachodzi tożsamość:
1: Y = p*q + ~p*~q <=> 7: Y = (~p+q)*(p+~q)

Od dawna wiedziałem Irbisolu, że jesteś niezły w algebrze Boole’a, ale udowodniłeś zaledwie jedną połówkę prawa Małpki.

Nie jest to dowód kompletny!

Kompletny dowód wygląda tak:
Cytat z algebry Kubusia – prawo Małpki to punkt 1.11.1
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Algebra Kubusia napisał:

1.11 Algorytm Wuja Zbója przejścia do logiki przeciwnej

Algorytm Wuja Zbója przejścia do logiki przeciwnej:
1.
Y = pq+~p~q - zapis dopuszczalny w technice z pominięciem spójnika „i”(*)
Uzupełniamy brakujące nawiasy i spójniki:
1: Y = (p*q)+(~p*~q) - postać alternatywno-koniunkcyjna (alternatywa koniunkcji)
2.
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
2: ~Y = (~p+~q)*(p+q) - postać koniunkcyjno-alternatywna (koniunkcja alternatyw)
Koniec algorytmu Wuja Zbója

Kolejność wykonywania działań w algebrze Kubusia:
przeczenie (~), nawiasy, spójnik „i”(*), spójnik „lub”(+)

1.11.1 Prawo Małpki

Zastosowanie algorytmu Wuja Zbója poznamy na przykładzie.

Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)

Dowód tego prawa na naszym przykładzie równoważności jest trywialny o ile skorzystamy z algorytmu przejścia do logiki przeciwnej autorstwa Wuja Zbója.

Zaczynamy od definicji równoważności Y=p<=>q w spójnikach „i”(*) i „lub”(+):
1: Y = (p<=>q) = p*q + ~p*~q

Algorytm Wuja Zbója przejścia do logiki przeciwnej:
a)
Uzupełniamy brakujące nawiasy i spójniki:
1: Y = (p*q)+(~p*~q) - postać alternatywno-koniunkcyjna (alternatywa koniunkcji)
b)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
2: ~Y = (~p+~q)*(p+q) - postać koniunkcyjno-alternatywna (koniunkcja alternatyw)
Koniec algorytmu Wuja Zbója

Zauważmy że:
Jeśli wymnożymy wielomian 2 to otrzymamy tożsamą do niego postać alternatywno-koniunkcyjną.
Zróbmy to:
~Y = (~p+~q)*(p+q) = ~p*p + ~p*q + ~q*p + ~q*q = 0 + ~p*q + p*~q + 0 = p*~q + ~p*q
3: ~Y = p*~q + ~p*q - postać alternatywno-koniunkcyjna (alternatywa koniunkcji)

Dla funkcji logicznej 3 ponownie korzystamy z algorytmu Wuja przechodząc do logiki dodatniej (bo Y):
Mamy:
3: ~Y = (p*~q) + (~p*q)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
4: Y = (~p+q)*(p+~q) - funkcja koniunkcyjno-alternatywna (koniunkcja alternatyw)

Stąd mamy:
Kod:

Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik
w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)
1:  Y = p* q + ~p*~q <=> 4:  Y = (~p+ q)*(p+~q)
#                            #
3: ~Y = p*~q + ~p* q <=> 2: ~Y = (~p+~q)*(p+ q)
Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negację drugiej

Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
~q=~(q)
Stąd mamy:
p, q, Y muszą być wszędzie tymi samymi p, q, Y inaczej błąd podstawienia

W tak bajecznie prosty sposób udowodniliśmy prawo Małpki bez użycia tabel zero-jedynkowych.

Podsumowując:
Poproszę Irbisolu o dowód drugiej połówki prawa Małpki, trudniejszy, bo zachodzący w logice ujemnej (bo ~Y):
3: ~Y = p*~q + ~p* q <=> 2: ~Y = (~p+~q)*(p+ q)

Jak to zrobisz nie akceptując ani logiki dodatniej (bo Y), ani ujemnej (bo ~Y)?

Oczywistym jest, że punktem startowym do tego dowodu musi być tylko i wyłącznie definicja równoważności wyrażona spójnikami „i”(*) i „lub”(+) znana każdemu matematykowi:
Y = p<=>q = p*q+~p*~q

Twierdzę, że choćbyś zjadł 1000 kotletów i nie wiem jak się naprężał to nie udowodnisz prawa Małpki dla funkcji logicznej w logice ujemnej (bo ~Y), bo musiałbyś zaakceptować w logice matematycznej funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) a to jest dla ciebie nie do przyjęcia na mocy twojego gówno-dogmatu w którym wywalasz w kosmos wszelkie funkcje Y i ~Y – co zresztą udowodniłeś wyżej wywalając w kosmos funkcję logiczną w logice dodatniej (bo Y).


Ostatnio zmieniony przez rafal3006 dnia Czw 0:14, 08 Lut 2024, 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: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 8:14, 08 Lut 2024    Temat postu:

Jaja sobie robisz? Przecież to się wylicza analogicznie przez wymnożenie od drugiej strony - byłem pewien, że się domyślisz.

Kod:
(-p+-q)*(q+p)
-p*q + -p*p + -q*q + -q*p
-p*q + 0 + 0 + -q*p
p*-q + q*-p (zamieniłem kolejność w alternatywie)
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 8:35, 08 Lut 2024    Temat postu:

Irbisol napisał:
Jaja sobie robisz? Przecież to się wylicza analogicznie przez wymnożenie od drugiej strony - byłem pewien, że się domyślisz.

Kod:
(-p+-q)*(q+p)
-p*q + -p*p + -q*q + -q*p
-p*q + 0 + 0 + -q*p
p*-q + q*-p (zamieniłem kolejność w alternatywie)

Nie robię jaj, tylko sam nie wiesz co dowodzisz.
Zapiszmy twoje dowody bieżący i poprzedni w temacie równoważności:
Y = p<=>q = p*q + ~p*~q
Kod:

Dowód poprzedni:
1: p*q+~p*~q = (~p+q)*(p+~q)
Dowód bieżący:
2: p*~q + ~p*q = (p+q)*(~p+~q)

Oddzielną prawdziwość linii 1 i 2 łatwo udowodnisz korzystając z praw De Morgana, co zrobiłeś poprawnie.

Kluczowe pytanie:
Czy jest jakiś matematyczny związek między linią 1 a linią 2?

Możliwych odpowiedzi masz tu dwie:
Kod:

Odpowiedź 1.
1: p*q+~p*~q = (~p+q)*(p+~q)
##
2: p*~q + ~p*q = (p+q)*(~p+~q)
Linie 1 i 2 są różne na mocy definicji ##
Innymi słowy:
Nie istnieje matematyczny związek między liniami 1 i 2


Kod:

Odpowiedź 2.
1: p*q+~p*~q = (~p+q)*(p+~q)
“??”
2: p*~q + ~p*q = (p+q)*(~p+~q)
Istnieje matematyczny związek między liniami 1 i 2
Tu musisz matematycznie zdefiniować ten związek „??”
Czyli podać prawo logiki matematycznej wiążące linię 1 z linią 2

Jaką odpowiedź wybierasz Irbisolu?
Odpowiedź 1, czy też Odpowiedź 2
?


Ostatnio zmieniony przez rafal3006 dnia Czw 8:39, 08 Lut 2024, 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: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 9:11, 08 Lut 2024    Temat postu:

Chciałeś dowody bez logiki ujemnej (co wg ciebie jest niemożliwe), więc je dostałeś.
Coś w tym temacie masz do powiedzenia?
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 9:22, 08 Lut 2024    Temat postu:

Irbisol napisał:
Chciałeś dowody bez logiki ujemnej (co wg ciebie jest niemożliwe), więc je dostałeś.
Coś w tym temacie masz do powiedzenia?

Jednym słowem, zdecydowanie wybierasz odpowiedź 1 jakoby między liniami 1 i 2 nie było żadnego matematycznego związku?
Kod:

Odpowiedź 1.
1: p*q+~p*~q = (~p+q)*(p+~q)
##
2: p*~q + ~p*q = (p+q)*(~p+~q)
Linie 1 i 2 są różne na mocy definicji ##
Innymi słowy:
Nie istnieje matematyczny związek między liniami 1 i 2

Zgadza się?


Ostatnio zmieniony przez rafal3006 dnia Czw 9:23, 08 Lut 2024, 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: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 9:54, 08 Lut 2024    Temat postu:

Jednym słowem, trzymaj się tematu, który sam rozpocząłeś.
Miało być niemożliwe, a okazało się możliwe.
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 10:04, 08 Lut 2024    Temat postu:

Irbisol napisał:
Jednym słowem, trzymaj się tematu, który sam rozpocząłeś.
Miało być niemożliwe, a okazało się możliwe.

Jednym słowem potwierdzasz że matematycy i ty coś tam dowodzicie, ale gówno was obchodzą matematyczne związki między tym co dowodzicie.
Zgadza się?

Irbisolu, taka matematyka jest schizofreniczna bo nie widzi poprawnie rzeczywistości, czyli nie widzi matematycznych związków między twoją linią 1 a linią 2.

Potwierdzasz tym samym twój wybór odpowiedzi 1.
Kod:

Odpowiedź 1.
1: p*q+~p*~q = (~p+q)*(p+~q)
##
2: p*~q + ~p*q = (p+q)*(~p+~q)
Linie 1 i 2 są różne na mocy definicji ##
Innymi słowy:
Nie istnieje matematyczny związek między liniami 1 i 2

c.n.d

Zgadzasz się z tym niezaprzeczalnym faktem?


Ostatnio zmieniony przez rafal3006 dnia Czw 10:09, 08 Lut 2024, 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: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 11:20, 08 Lut 2024    Temat postu:

Obchodzą albo nie obchodzą. Postawiłeś zadanie dowiedzenia czegoś bez logiki ujemnej i to zadanie - podobno niemożliwe - zostało zrealizowane.
Najpierw się tym zajmij a później wymyślaj następne problemy z dupy.
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 11:53, 08 Lut 2024    Temat postu:

##

Ostatnio zmieniony przez rafal3006 dnia Czw 11:57, 08 Lut 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 98 tematów


Płeć: Mężczyzna

PostWysłany: Czw 11:55, 08 Lut 2024    Temat postu:

null

Ostatnio zmieniony przez fedor dnia Czw 11:55, 08 Lut 2024, w całości zmieniany 2 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: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 11:55, 08 Lut 2024    Temat postu:

Może ten związek widzę. Ale ten związek nie był tematem "niemożliwego" zadania, które zrealizowałem bez logiki ujemnej.
Skończ najpierw bieżący temat.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 98 tematów


Płeć: Mężczyzna

PostWysłany: Czw 11:56, 08 Lut 2024    Temat postu:

null

Ostatnio zmieniony przez fedor dnia Czw 12:04, 08 Lut 2024, 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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 12:00, 08 Lut 2024    Temat postu:

Irbisol napisał:
Może ten związek widzę. Ale ten związek nie był tematem "niemożliwego" zadania, które zrealizowałem bez logiki ujemnej.
Skończ najpierw bieżący temat.

Kończę bieżący temat:
Twoje rozwiązanie jest do dupy bo:
Co z tego że udowodniłeś poprawnie matematycznie zarówno linię 1 jak i linię 2, skoro jesteś ewidentnym schizofrenikiem bo nie widzisz matematycznego związku między twoimi liniami 1 i 2!

Podpowiem:
Jedyna poprawna odpowiedź to odpowiedź 2.
Kod:

Odpowiedź 2.
1: p*q+~p*~q = (~p+q)*(p+~q)
"??"
2: p*~q + ~p*q = (p+q)*(~p+~q)
Istnieje matematyczny związek między liniami 1 i 2
Tu musisz matematycznie zdefiniować ten związek „??”
Czyli podać prawo logiki matematycznej wiążące linię 1 z linią 2


Generuję poprawną odpowiedź:
Kod:

Odpowiedź 2.
1: p*q+~p*~q = (~p+q)*(p+~q)
#
2: p*~q + ~p*q = (p+q)*(~p+~q)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Czy zgadzasz się na matematyczny znaczek # i jego definicję wyżej?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Czw 12:05, 08 Lut 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 98 tematów


Płeć: Mężczyzna

PostWysłany: Czw 12:04, 08 Lut 2024    Temat postu:

Irbisol napisał:
Może ten związek widzę. Ale ten związek nie był tematem "niemożliwego" zadania, które zrealizowałem bez logiki ujemnej.
Skończ najpierw bieżący temat.


Wytłumacz mi przy pomocy ateizmu cuda eucharystyczne z Lanciano i Buenos Aires, których nawet badający je naukowcy nie byli w stanie podważyć. Pisze o tym nawet wroga chrześcijaństwu laicka Wikipedia:

"W 1999 r. ówczesny arcybiskup Buenos Aires, kard. Jorge Mario Bergoglio (obecny papież Franciszek) zlecił wykonanie badań naukowych. W dniu 5 października 1999 w obecności przedstawicieli kardynała dr Castanon pobrał próbkę, którą następnie przesłano do naukowców w Nowym Jorku. Celowo nie poinformowano ich, skąd pochodzi. Dr Frederick Zugibe, patolog z Rockland County w stanie Nowy Jork stwierdził, że substancja jest prawdziwym ludzkim ciałem i krwią, w której obecne jest DNA[26]. Oświadczył: „badany materiał jest fragmentem mięśnia sercowego znajdującego się w ścianie lewej komory serca, z okolicy zastawek. Ten mięsień jest odpowiedzialny za skurcze serca. (...) Mięsień sercowy jest w stanie zapalnym, znajduje się w nim wiele białych ciałek. Wskazuje to na fakt, że serce żyło w chwili pobierania wycinka (...). Co więcej, te białe ciałka wniknęły w tkankę, co wskazuje na fakt że to serce cierpiało – np. jak ktoś, kto był ciężko bity w okolicach klatki piersiowej”[27].

Dr Frederick Zugibe dodał, że w takich warunkach białe ciałka przestałyby istnieć po kilku minutach. Wtedy wyjawiono mu prawdę, skąd owa próbka pochodzi. Wtedy dr Zugibe powiedział: W jaki sposób i dlaczego konsekrowana hostia mogła zmienić swój charakter i stać się ludzkim żyjącym ciałem i krwią, pozostanie dla nauki nierozwiązalną tajemnicą, która całkowicie przerasta jej kompetencje”[27]."

Cud eucharystyczny z Lanciano:

W latach 1970–1971 relikwie przebadał profesor Odoardo Linoli. Badanie wykazało, iż jest to krew człowieka grupy AB, a cząstki ciała to fragment mięśnia sercowego[17][18]. Obie reprezentują tę samą grupę krwi, co krew znajdująca się na Całunie Turyńskim. Skład krwi odpowiada świeżej krwi ludzkiej. Odkryto również, iż zamoczona w wodzie skrzepła krew na nowo staje się płynną krwią. Badania te dowodzą, że badane relikwie rzeczywiście są pochodzenia ludzkiego[17].

W 1981 i 1991 roku przeprowadzono kolejne badania naukowe, które potwierdziły wcześniejsze ustalenia


[link widoczny dla zalogowanych]
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 12:17, 08 Lut 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Może ten związek widzę. Ale ten związek nie był tematem "niemożliwego" zadania, które zrealizowałem bez logiki ujemnej.
Skończ najpierw bieżący temat.

Kończę bieżący temat:
Twoje rozwiązanie jest do dupy bo:
Co z tego że udowodniłeś poprawnie matematycznie zarówno linię 1 jak i linię 2, skoro jesteś ewidentnym schizofrenikiem bo nie widzisz matematycznego związku między twoimi liniami 1 i 2!

Podpowiem:
Jedyna poprawna odpowiedź to odpowiedź 2.
Kod:

Odpowiedź 2.
1: p*q+~p*~q = (~p+q)*(p+~q)
"??"
2: p*~q + ~p*q = (p+q)*(~p+~q)
Istnieje matematyczny związek między liniami 1 i 2
Tu musisz matematycznie zdefiniować ten związek „??”
Czyli podać prawo logiki matematycznej wiążące linię 1 z linią 2


Generuję poprawną odpowiedź:
Kod:

Odpowiedź 2.
1: p*q+~p*~q = (~p+q)*(p+~q)
#
2: p*~q + ~p*q = (p+q)*(~p+~q)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Czy zgadzasz się na matematyczny znaczek # i jego definicję wyżej?
TAK/NIE

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4675.html#777315
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 12:25, 08 Lut 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4675.html#777315
Irbisol napisał:
Może ten związek widzę. Ale ten związek nie był tematem "niemożliwego" zadania, które zrealizowałem bez logiki ujemnej.
Skończ najpierw bieżący temat.

ok
Prawa De Morgana oddzielnie dla linii 1 i oddzielnie dla linii 2 udowodniłeś matematycznie poprawnie.
Brawo!

Póki co odpowiedź domyślna dla twojego rozwiązania jest taka:
Kod:

Odpowiedź 1.
1: p*q+~p*~q = (~p+q)*(p+~q)
##
2: p*~q + ~p*q = (p+q)*(~p+~q)
Linie 1 i 2 są różne na mocy definicji ##
Innymi słowy:
Nie istnieje matematyczny związek między liniami 1 i 2

Co robimy dalej?
Kończymy dyskusję bez rozstrzygnięcia czy jesteś schizofrenikiem widzącym fałszywą, matematyczną rzeczywistość, czy też nim nie jesteś?


Ostatnio zmieniony przez rafal3006 dnia Czw 12:31, 08 Lut 2024, 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: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 12:36, 08 Lut 2024    Temat postu:

Robimy dalej to, że teraz komentujesz, czy te moje dowody udało się jednak wykonać bez logiki ujemnej, czy się nie udał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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 12:42, 08 Lut 2024    Temat postu:

##

Ostatnio zmieniony przez rafal3006 dnia Czw 13:15, 08 Lut 2024, 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: 14250
Przeczytał: 17 tematów


PostWysłany: Czw 13:13, 08 Lut 2024    Temat postu:

Nie nawiązałeś do tej mitycznej konieczności logiki ujemnej.
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: 32945
Przeczytał: 22 tematy

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

PostWysłany: Czw 13:17, 08 Lut 2024    Temat postu:

Irbisol napisał:
Nie nawiązałeś do tej mitycznej konieczności logiki ujemnej.

Pisaliśmy jednocześnie - dodałem wyjaśnienia do mojego postu wyżej których nie widziałeś.
Dlatego wyciąłem post wyżej i publikuję niżej ten post w wersji ostatecznej, prosząc cię byś na niego rzetelnie odpowiedział.


Ostatnio zmieniony przez rafal3006 dnia Czw 13:18, 08 Lut 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 187, 188, 189 ... 270, 271, 272  Następny
Strona 188 z 272

 
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