szukanie zaawansowane
 [ Posty: 33 ]  Przejdź na stronę Poprzednia strona  1, 2, 3
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 6 lut 2018, o 11:43 
Administrator

Posty: 23774
Lokalizacja: Wrocław
aolo23 napisał(a):
M_2=(\ZZ  \setminus \NN, \ \ge ,+,5),

( \exists x \in \ZZ  \setminus \NN)( \exists y \in \ZZ  \setminus \NN)(x+y =-1 \wedge x \ge y)

Reasumując term był dobrze, M_1\models\varphi jest a czy teraz jest M_2\models \neg \varphi?

No cóż, widzę pewną różnice pomiędzy 5 a -1...

JK
Góra
Mężczyzna Offline
PostNapisane: 6 lut 2018, o 12:01 
Użytkownik

Posty: 306
Lokalizacja: Polska
Okej zgadzam się ale jak poprawię w modelu 5 na -1będzie dobrze?
Góra
Mężczyzna Offline
PostNapisane: 6 lut 2018, o 13:17 
Administrator

Posty: 23774
Lokalizacja: Wrocław
Będzie dobrze.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 33 ]  Przejdź na stronę Poprzednia strona  1, 2, 3


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Model nieskończony dla zadanej struktury języka  Galvatron  7
 Opis języka generowanego przez gramatykę  tonyhouk  2
 Wyznaczanie języka dla danej gramatyki bezkontekstowej - zadanie 2  Rulon666  0
 Udowodnij nieregularność języka  pieda3  3
 Zapis zdań języka polskiego z użyciem logiki predykatów  bajserek1  5
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl