Znaleziono 863 wyniki
- 27 sie 2023, o 21:03
- Forum: Łamigłówki i zagadki logiczne
- Temat: Skaczące żaby
- Odpowiedzi: 8
- Odsłony: 654
Re: Skaczące żaby
Nie \(\displaystyle{ (\sqrt{3},1)}\), lecz \(\displaystyle{ (1,\sqrt{3})}\).
- 27 sie 2023, o 19:43
- Forum: Łamigłówki i zagadki logiczne
- Temat: Skaczące żaby
- Odpowiedzi: 8
- Odsłony: 654
Re: Skaczące żaby
Podam rozwiązanie zadania w wersji oryginalnej. Odpowiedź jest negatywna. Dowód: Możemy założyć, że nasz sześciokąt foremny leży na płaszczyźnie \mathbb{R}^2 , ma środek w punkcie O=(0,0) oraz wierzchołek w punkcie (2,0) . Gdy żaba z punktu F skacze ponad żabą w punkcie P do punktu F_0 , to (*) F_0=...
- 21 sie 2023, o 18:28
- Forum: Indukcja matematyczna
- Temat: dowód przemienności dodawania z aksjomatów Peana
- Odpowiedzi: 2
- Odsłony: 400
Re: dowód przemienności dodawania z aksjomatów Peana
1. Klasyczny rachunek zdań nie obejmuje kwantyfikatorów, więc nie da się udowodnić przemiennosci dodawania w PA odwołując się tylko do KRZ. Trzeba użyć klasycznego rachunku logicznego (z kwantyfikatorami). 2. Twój dowód nie jest "poprawny w 100%", gdyż a) ma wady formalne w zapisie, np. de...
- 21 lip 2023, o 09:55
- Forum: Logika
- Temat: Książka nie należy do zbioru?
- Odpowiedzi: 11
- Odsłony: 866
Re: Książka
...natomiast w takiej \forall x (x \in A) \vee x \in B związana jest tylko zmienna w nawiasie, a druga to formalnie inna zmienna (notabene wolna) pomimo identycznej nazwy. Ostatnie zdanie brzmi dziwnie, bo formalnie ten sam znak, np. x, użyty w różnych miejscach danej formuły, ma to samo znaczenie,...
- 3 lip 2023, o 09:07
- Forum: Logika
- Temat: Dowodzenie zdań negatywnych
- Odpowiedzi: 3
- Odsłony: 461
Re: Dowodzenie zdań negatywnych
Moje pytania są następujące: (A) Co to za czysto logiczne powody? (B) Nie mogę się oprzeć wrażeniu, że nie rozumiem wypowiedzi autora. Z jednej strony twierdzi, że nie można dowodzić negatywnych zdań egzystencjalnych, chyba, że wynikają z innych negatywnych zdań egzystencjalnych - a z drugiej stron...
- 17 maja 2023, o 08:02
- Forum: Hyde Park
- Temat: Off-topic, czyli dyskusje na każdy temat
- Odpowiedzi: 9044
- Odsłony: 837196
Re: Off-topic, czyli dyskusje na każdy temat
Pewien youtuber zajmujący się komentowaniem eurowizji stwierdził, że ten wykonawca mógł odnieść wielki sukces na eurowizji, bo głosowaliby na niego młodzi geje i dziewczęta w wieku nastoletnim, a to są dwie drupy najbardziej zainteresowane eurowizją. Obu tym grupom podobają się młodzieńcy o delikat...
- 17 kwie 2023, o 08:20
- Forum: Hyde Park
- Temat: Off-topic, czyli dyskusje na każdy temat
- Odpowiedzi: 9044
- Odsłony: 837196
Re: Off-topic, czyli dyskusje na każdy temat
@szuler Nie tylko Premislav. Ale jeśli miałoby się oceniać poglądy Kaczynskiego w kontekście jego zbrodniczych czynów czy też jego zaburzonej osobowości, to musiałoby to włynąć na tę ocenę zdecydowanie negatywnie. Sądzę jednak, że w dyskursie o poglądach można abstrahować od takich pobocznych czynni...
- 16 kwie 2023, o 21:49
- Forum: Hyde Park
- Temat: Off-topic, czyli dyskusje na każdy temat
- Odpowiedzi: 9044
- Odsłony: 837196
Re: Off-topic, czyli dyskusje na każdy temat
Z jego pism cenię sobie "Manifest" i książkę z 2016 roku, której fragmenty czytałem. Również czytałem jego manifest i zrobił on na mnie ogromne wrażenie. Według mnie jest to dzieło wybitne i szalenie niedocenione. Wybitne? Wolne żarty! Tekst Kaczynskiego jest naiwny. Przypomina poglądy lu...
- 11 kwie 2023, o 20:55
- Forum: Zbiory. Teoria mnogości
- Temat: Odbicia podzbiorów przestrzeni trójwymiarowej względem środka układu
- Odpowiedzi: 7
- Odsłony: 605
Re: Odbicia podzbiorów przestrzeni trójwymiarowej względem środka układu
Roman Opałka się zastanowił. I tworzył bez końca swój słynny cykl obrazów, na których starannie malował w równych rządkach kolejne liczby naturalne. Oczywiście ktoś mógłby powiedzieć, że taka działalnośc jest bez sensu. I miałby w tym trochę racji, bo namalowanie obrazu z kolejnymi liczbami powiedzm...
- 8 kwie 2023, o 09:58
- Forum: Logika
- Temat: Ćwiczenie z logiki formalnej
- Odpowiedzi: 10
- Odsłony: 550
Re: Ćwiczenie z logiki formalnej
RK jest sprzeczny również w intuicjonistycznej logice pierwszego rzędu. Najprościej można to uzasadnić wskazując, że nie ma on modelu Kripkego. Można też wskazać dowód sprzeczności, np. w oparciu o aksjomaty z (*) plato.stanford.edu/entries/logic-intuitionistic/ Mianowicie: Z aksjomatów A1 - A4 wni...
- 15 mar 2023, o 22:04
- Forum: Logika
- Temat: Teoria pierwszego rzędu z równością i model
- Odpowiedzi: 3
- Odsłony: 317
Re: Teoria pierwszego rzędu z równością i model
"expansion of a model" to po polsku nie "rozszerzenie modelu", lecz "wzbogacenie modelu", do modelu z tym samym uniwersum, lecz dla większego języka np. z dodatkowym symbolami stałych, relacji czy funkcji, przez odpowiednią interpretację tychże w modeli. Natomiast "...
- 14 lut 2023, o 08:21
- Forum: Hyde Park
- Temat: Off-topic, czyli dyskusje na każdy temat
- Odpowiedzi: 9044
- Odsłony: 837196
Re: Off-topic, czyli dyskusje na każdy temat
Druga sprawa wracają do unijnego robactwa czy nie widzisz różnic jakie są gdy ktoś chce konsumować szarańczę np. św. Jan w czasach Chrystusa, a to co unia nam zapodaje na siłę: robactwo jako forma wypełniacza do mąki i innych produktów a ludzie normalni tego nie chcą np.? (W Twojej ekskluzywnej res...
- 8 lut 2023, o 09:00
- Forum: Hyde Park
- Temat: Off-topic, czyli dyskusje na każdy temat
- Odpowiedzi: 9044
- Odsłony: 837196
Re: Off-topic, czyli dyskusje na każdy temat
A tu następna mądrość unii jakby to Slup powiedział decyzyjność Niemców i Francuzów, każą żreć owady, jak nas w ciula robią: zielona.interia.pl/polityka-klimatyczna/swiat/news-unia-europejska-zatwierdzila-do-sprzedazy-dwa-nowe-jadalne-i,nId,6582871 A to dopiero początek... Arku, świetnie Cię rozumi...
- 5 lut 2023, o 09:01
- Forum: Dyskusje o matematyce
- Temat: Formalizacja logiki i teorii mnogości
- Odpowiedzi: 8
- Odsłony: 2277
Re: Formalizacja logiki i teorii mnogości
Nie, to nie ma sensu. Trzeba wyjaśnić, że w praktyce "niezależność od aksjmatów ZF(C)" oznacza relatywną niezależność, tzn. niezależność przy założeniu, że ZF(C) jest niesprzeczna. I tak np. "pewnik wyboru AC jest niezależny od ZF" znaczy dokładniej: "jeśli ZF jest niesprzec...
- 6 sty 2023, o 09:36
- Forum: Hyde Park
- Temat: Off-topic, czyli dyskusje na każdy temat
- Odpowiedzi: 9044
- Odsłony: 837196
Re: Off-topic, czyli dyskusje na każdy temat
Sprawa tęczowej aureoli Matki Boskiej była tu dyskutowana, była ona głośna w Polsce, media prawicowe i prorządowe gwałtownie protestowały, aktywistki były aresztowane, protestowali też hierarchowie Kościoła w Polsce itd. Wiem, że to stara sprawa, ale dopiero dzisiaj dowiedziałem się, że oko.press/te...