Matematyka.pl

Nie \(\displaystyle{ (\sqrt{3},1)}\), lecz \(\displaystyle{ (1,\sqrt{3})}\).

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=...

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...

...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,...

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...

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...

@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...

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...

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...

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...

"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 "...

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...

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...

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...

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...