Znaleziono 45 wyników
Wyszukiwanie zaawansowane
- autor: vicossess
- 4 cze 2018, o 15:49
- Forum: Logika
- Temat: Istnienie "krótkiej" spełnialnej formuły w CNFie
- Odpowiedzi: 2
- Odsłony: 964
Hej, trafił mi się taki dowód do zrobienia: Pokaż, że dla danej formuły zdaniowej F o długości N istnieje formuła zdaniowa F' w CNF o długości O(N) , spełnialna wtedy i tylko wtedy, gdy F jest spełnialna I chyba nie rozumiem co my mamy tutaj dowieść. Jeśli F jest sprzeczna, to wystarczy za F' wziąć ...
- autor: vicossess
- 31 mar 2017, o 01:08
- Forum: Rachunek całkowy
- Temat: Pole obszaru ograniczonego krzywymi (współrzędne biegunowe)
- Odpowiedzi: 4
- Odsłony: 2381
I rzeczywiście wynik się zgadza, rachunki są znacznie prostsze. Ale pytanie: dlaczego? Może zadam pytanie nowicjusza, ale czemu przy współrzędnych biegunowych nie odejmujemy jednego równania od drugiego? Bo zaczynam się domyślać, że ja przypadkowo obliczałem objętość pod jakąś tam funkcją dwóch zmie...
- autor: vicossess
- 30 mar 2017, o 23:17
- Forum: Rachunek całkowy
- Temat: Pole obszaru ograniczonego krzywymi (współrzędne biegunowe)
- Odpowiedzi: 4
- Odsłony: 2381
Mam problem z zadaniami następującego typu: Oblicz pole obszaru ograniczonego następującymi krzywymi: y^2 - 2y + x^2 = 0 , y^2 - 4y + x^2 = 0 , y = \sqrt{3}x , \sqrt{3}y = x Ogólnie myślałem że następujące rozumowanie jest poprawne: przechodzę na współrzędne biegunowe (wtedy kąt jest z przedziału \l...
- autor: vicossess
- 23 paź 2016, o 15:16
- Forum: Logika
- Temat: Formuły z określonymi spójnikami i dowód formalny
- Odpowiedzi: 1
- Odsłony: 532
Hej, dostałem następujące zadanie: Niech \phi oraz \psi będą formułami rachunku zdań zbudowane wyłącznie ze zmiennych zdaniowych oraz spójników \vee oraz \wedge i nawiasów. Pokaż, że formuła \phi \Leftrightarrow \psi jest spełniona przez co najmniej dwa wartościowania. Intuicyjnie zadanie jest prost...
- autor: vicossess
- 19 paź 2016, o 00:13
- Forum: Logika
- Temat: Dowód spełnialności formuły
- Odpowiedzi: 14
- Odsłony: 3036
A to jest sprzeczne z dowodem w pierwszym poście, że \(\displaystyle{ \psi}\) musi być spełnialne, czyli dowód musi mieć gdzieś błąd
- autor: vicossess
- 18 paź 2016, o 22:25
- Forum: Logika
- Temat: Dowód spełnialności formuły
- Odpowiedzi: 14
- Odsłony: 3036
I chciałbym wrócić do zadania na samym początku - okazuje się (na co mój znajomy zwrócił mi uwagę), że podstawiając za formułę \phi wyrażenie p \vee q a za wyrażenie \psi formułę sprzeczną p \wedge \neg p dostajemy wnioski następujące: 1. Formuły p \vee q \Rightarrow p \wedge \neg p oraz \neg p \wed...
- autor: vicossess
- 17 paź 2016, o 01:59
- Forum: Logika
- Temat: Dowód spełnialności formuły
- Odpowiedzi: 14
- Odsłony: 3036
Oczywiście, że chodziło o bycie spełnialną - moje niedopatrzenie - istnieje wartościowanie, dla którego formuła jest prawdziwa. A rozpatrzenie 'tabelki', formalnie patrząc, jest prawidłowe? Próbowałem nie wprost, ale nie jestem przekonany do tego. Nie wprost musimy wykazać, że jeśli \psi jest formuł...
- autor: vicossess
- 16 paź 2016, o 02:09
- Forum: Logika
- Temat: Dowód spełnialności formuły
- Odpowiedzi: 14
- Odsłony: 3036
Czy definicja rekurencyjna w tym wypadku polega na takich zapisach jak poniżej? \hat{\sigma}(\phi) = \sigma(\phi) \hat{\sigma}(\neg\phi) = \begin{cases} T \Leftrightarrow \hat{\sigma}(\phi) = F \\ F \Leftrightarrow \hat{\sigma}(\phi) = T \end{cases} \hat{\sigma}(\phi_1 \Rightarrow \phi_2) = \begin{c...
- autor: vicossess
- 16 paź 2016, o 01:04
- Forum: Logika
- Temat: Dowód spełnialności formuły
- Odpowiedzi: 14
- Odsłony: 3036
Sprawa wygląda tak, że raczej muszę być bardzo formalny, więc spróbuję 'naprawić' dowód rozważając dwa przypadki: Z faktu, że \hat{\sigma} przypisuje wartości logiczne formułom zdaniowym, czyli przekształca je na zbiór dwuelementowy \left\{ T, F\right\} to są dwa przypadki 1. Jeśli \hat{\sigma}(\phi...
- autor: vicossess
- 15 paź 2016, o 21:45
- Forum: Logika
- Temat: Dowód spełnialności formuły
- Odpowiedzi: 14
- Odsłony: 3036
Dziękuję za odpowiedzi. Co prawda nikt mnie nie upewnił w sprawie poprawności dowodu w pierwszym poście, ale strzelam, że skoro moje przemyślenia teoretyczne były prawidłowe, to przemyślenia w dowodzie również
- autor: vicossess
- 13 paź 2016, o 21:24
- Forum: Logika
- Temat: Dowód spełnialności formuły
- Odpowiedzi: 14
- Odsłony: 3036
Chciałbym spytać o poprawność mojego dowodu - Zadanie brzmi tak: Które z poniższych zdań są prawdziwe dla dowolnych formuł zdaniowych \phi i \psi : Zdanie takie: Jeśli \phi \Rightarrow \psi oraz \neg \phi \Rightarrow \psi są spełnialne, to \psi jest spełnialna. Dowód: Załóżmy nie wprost, że teza jes...
- autor: vicossess
- 9 paź 2016, o 11:49
- Forum: Zbiory. Teoria mnogości
- Temat: Alfabet i liczba klas abstrakcji
- Odpowiedzi: 3
- Odsłony: 748
To jeszcze mam dwie sprawy: Pierwsza sprawa jest następująca - spotkałem się z trzema definicjami domknięcia tranzytywnego relacji R - tj. jedną słowną - Jest to najmniejszy zbiór przechodni zawierający relację R . Drugą w takiej postaci: R^{+} = \bigcup_{i = 0}^{} R^{i} a trzecią w takiej: R^{+} = ...
- autor: vicossess
- 8 paź 2016, o 01:45
- Forum: Zbiory. Teoria mnogości
- Temat: Alfabet i liczba klas abstrakcji
- Odpowiedzi: 3
- Odsłony: 748
Dostałem następujące zadanie: Niech \Sigma będzie skończonym zbiorem symboli (alfabetem) oraz niech L \subseteq \Sigma^{*} . Relacja \sim_L \subseteq \Sigma^{*} \times \Sigma^{*} jest zdefiniowana w następujący sposób v \sim_L v' wtedy i tylko wtedy, gdy dla każdego x \in \Sigma^{*} ( vx \in L \Left...