Znaleziono 1926 wyników

autor: matinf
21 paź 2016, o 21:50
Forum: Logika
Temat: W jakich strukturach prawdziwa jest formuła ?
Odpowiedzi: 8
Odsłony: 456

W jakich strukturach prawdziwa jest formuła ?

Ok, Jak rozumiem x jest ustalonym elementem struktury. Nie, x jest zmienną. W ogóle to przede wszystkim pojęcie spełniania w strukturze dotyczy zdań, a nie formuł ze zmienną wolną x . (Zdanie (formalne) to formuła bez zmiennych wolnych.) W przypadku jednak, gdy formuła \vaphi ma zmienne wolne, przy...
autor: matinf
21 paź 2016, o 21:44
Forum: Logika
Temat: pokazać nietatutologię, liczba skończonych modeli dla formuł
Odpowiedzi: 12
Odsłony: 483

pokazać nietatutologię, liczba skończonych modeli dla formuł

Najpierw język.... Język L to zestaw symboli funkcyjnych, relacyjnych i stałych. (czyli tak naprawdę alfabet określonego języka). Teraz model... MOdel dla języka L to układ M=(X,\dots) , gdzie X\neq\emptyset to tzw. uniwersum (dziedzina) modelu M , zaś \dots oznacza konretne funkcje i relacje okreś...
autor: matinf
20 paź 2016, o 18:46
Forum: Logika
Temat: pokazać nietatutologię, liczba skończonych modeli dla formuł
Odpowiedzi: 12
Odsłony: 483

pokazać nietatutologię, liczba skończonych modeli dla formuł

A do innych kwestii się nie odniesiesz ?
autor: matinf
19 paź 2016, o 19:58
Forum: Logika
Temat: pokazać nietatutologię, liczba skończonych modeli dla formuł
Odpowiedzi: 12
Odsłony: 483

pokazać nietatutologię, liczba skończonych modeli dla formuł

Pokaż, że zdanie \exists_x\exists_y\exists_u\exists_v ((\neg(u=x)\vee\neg (v=y))\wedge (f(x,y)=f(u,v)) nie jest tautologią. Ile nieizomorficznych modeli skończonych ma to zdanie ? Nie jest to tautologia, bo: f(x,y)=x+y . x=1,y=2,u=3,v=4 . Natomiast co do modeli skończonych nieizomorficznych - ile ic...
autor: matinf
19 paź 2016, o 19:39
Forum: Logika
Temat: W jakich strukturach prawdziwa jest formuła ?
Odpowiedzi: 8
Odsłony: 456

W jakich strukturach prawdziwa jest formuła ?

Ok,
w takim razie odpowiedzią jest tu wg mnie: Kazda struktura o mocy co najmniej dwa.
Jak rozumiem \(\displaystyle{ x}\) jest ustalonym elementem struktury.

A co w przypadku \(\displaystyle{ \exists_x x\neq x}\) ? Istnieje taka struktura ? Wg mnie nie istnieje.
autor: matinf
19 paź 2016, o 16:31
Forum: Logika
Temat: W jakich strukturach prawdziwa jest formuła ?
Odpowiedzi: 8
Odsłony: 456

W jakich strukturach prawdziwa jest formuła ?

Cześć, W jakich strukturach prawdziwa jest formuła ? \exists_{y} (y\neq x) Przede wszystkim nie rozumiem co to znaczy struktura ? Czy to jest zbiór dla zmiennych ? Tzn skąd bierzemy zmienne x, y . Np. \RR, \NN ? Pytanie w jakich strukturach jest prawdziwa formuła ? No w takich, które mają co najmnie...
autor: matinf
7 paź 2016, o 19:00
Forum: Logika
Temat: Pokazać że dla każdej formuly w CNF istnieje równoważna 3CNF
Odpowiedzi: 0
Odsłony: 203

Pokazać że dla każdej formuly w CNF istnieje równoważna 3CNF

Cześć,
Pokazać, że dla każdej formuły \(\displaystyle{ \phi}\) w CNF istnieje \(\displaystyle{ \psi}\) w 3CNF która jest spełnialna wtw gdy \(\displaystyle{ \phi}\) jest spełnialne.

Nie mam pojęcia jak mam zacząć to rozwiązywać.
Możecie dać podpowiedź ?
autor: matinf
16 wrz 2016, o 21:36
Forum: Własności i granice ciągów
Temat: Czy można w taki sposób liczyć granicę ?
Odpowiedzi: 4
Odsłony: 285

Czy można w taki sposób liczyć granicę ?

Igor V pisze:A nie przypadkiem : \(\displaystyle{ \left(\left( 1+\frac{1}{k^2} \right)^{k^2}\right)^{\frac{1}{k}}}\) ?
Tak, oczywiście o to chodzło.

To jest w porządku ?
autor: matinf
16 wrz 2016, o 21:01
Forum: Własności i granice ciągów
Temat: Czy można w taki sposób liczyć granicę ?
Odpowiedzi: 4
Odsłony: 285

Czy można w taki sposób liczyć granicę ?

Cześć, \left( 1+\frac{1}{4^n} \right)^{2^n} k=2^n . \left( 1+\frac{1}{4^n} \right)^{2^n} \left(\left( 1+\frac{1}{k^2} \right)^{k^2}\right)^{\frac{1}{k^2}} I teraz czy prawidłowe jest takie podejście: \frac{1}{k^2}\to 0 \left( 1+\frac{1}{k^2} \right)^{k^2}\to e Zatem: \left(\left( 1+\frac{1}{k^2} \ri...
autor: matinf
15 wrz 2016, o 00:22
Forum: Zbiory. Teoria mnogości
Temat: Liczby porządkowe - niezrozumienie pewnych pojęć
Odpowiedzi: 16
Odsłony: 702

Liczby porządkowe - niezrozumienie pewnych pojęć

Panowie, dzięki wielkie
Rozumiem już znacznie lepiej.
autor: matinf
14 wrz 2016, o 22:35
Forum: Algebra liniowa
Temat: Warunki równoważne do nieosobliwości macierzy
Odpowiedzi: 3
Odsłony: 275

Warunki równoważne do nieosobliwości macierzy

Cześć,
czy się na pewno nie mylę:
Macierz \(\displaystyle{ M}\) jest nieosobliwa:, wtedy równoważnie:
(1) Kolumny tej macierzy są liniowo niezależne
(2) \(\displaystyle{ ker(A) = \{0\}}\)
(3) \(\displaystyle{ \dim (Im A) + \dim(ker A) = n}\)
autor: matinf
14 wrz 2016, o 11:03
Forum: Zbiory. Teoria mnogości
Temat: Liczby porządkowe - niezrozumienie pewnych pojęć
Odpowiedzi: 16
Odsłony: 702

Liczby porządkowe - niezrozumienie pewnych pojęć

To może zacznijmy od tego: co to dla Ciebie jest "typ \omega+1 " ? To jest dobre pytanie. Tak jak mówiłeś, to długość dobrego porządku. Najłatwiej jest o tym myśleć na zasadzie kontrastu z 1+\omega Mając ***********....* mamy reprezentację graficzną porządku \{1-1/n:n\in\NN\}\cup \{2\} . Nie rozumi...
autor: matinf
13 wrz 2016, o 17:56
Forum: Rachunek całkowy
Temat: Zbieżność całki - rozważania
Odpowiedzi: 11
Odsłony: 451

Zbieżność całki - rozważania

No ok, napiszę definicję:
\(\displaystyle{ \int_0^{\infty}u^{\alpha}du = \lim_{r\to\infty} \int_0^{r}u^{\alpha}du=...}\)
Możesz pokazać jak to dokończyć ?
autor: matinf
13 wrz 2016, o 11:35
Forum: Zbiory. Teoria mnogości
Temat: Liczby porządkowe - niezrozumienie pewnych pojęć
Odpowiedzi: 16
Odsłony: 702

Liczby porządkowe - niezrozumienie pewnych pojęć

\(\displaystyle{ \{1-1/n:n\in\NN\}\cup \{2\}}\). Spróbuj mi wytlumaczyć, dlaczego to ma typ \(\displaystyle{ \omega+1}\).
Na razie nie jestem gotów, żeby odpowiedzieć na Twoje pytanie.
autor: matinf
13 wrz 2016, o 11:13
Forum: Rachunek całkowy
Temat: Zbieżność całki - rozważania
Odpowiedzi: 11
Odsłony: 451

Zbieżność całki - rozważania

Cześć, Chcę rozważyć zbieżność całki \int_{0}^{\infty} x^{\alpha}dx w zależności od parametru \alpha\in\RR . Najpierw jaka tu jest intuicja. Np. \alpha=2 . Wówczas mamy parabole. Pole pod wykresem takiej funkcji - im dalej os osi Y na prawo, tym pole staje się większe. Widać zatem, że to nie zbiega....