Loading AI tools
Z Wikipedii, wolnej encyklopedii
Język – pewien zbiór symboli, przy użyciu których można tworzyć bardziej złożone wyrażenia (na przykład formuły, zdania matematyczne) według ściśle określonych reguł syntaktycznych. Przyjmuje się, że w danym języku L mogą występować (w dowolnej liczbie) symbole funkcyjne, relacyjne oraz symbole stałych. Zdania napisane przy użyciu języków tego typu wystarczają do opisu większości własności dowolnych struktur matematycznych oraz do wyrażenia twierdzeń mówiących o tych strukturach.
Wyrażenia języka L to termy oraz formuły. Są to ciągi symboli, które powstają według ściśle określonych reguł z symboli języka L, symboli logicznych (takich jak spójnik koniunkcji czy alternatywy), zmiennych oraz kwantyfikatorów.
Zbiór termów języka L to najmniejszy zbiór T o własnościach:
Zbiór formuł języka L to najmniejszy zbiór F o własnościach:
Zdanie to formuła języka L, w której nie występują zmienne wolne. Ze zdań możemy budować teorie, a następnie badać różne własności tych teorii (na przykład takie jak zupełność, rozstrzygalność czy kategoryczność).
Mówimy, że M jest strukturą (modelem) dla języka L, jeśli M jest zbiorem, w którym zinterpretowane zostały wszystkie symbole z języka L. Oznacza to, że:
Jeśli M jest modelem dla języka L, to możemy określić, które zdania napisane w języku L są prawdziwe w modelu M lub – inaczej mówiąc – spełniane przez model M. Definicję spełniania zdania przez model jako pierwszy podał polski logik i matematyk Alfred Tarski, powszechnie uważany za twórcę semantyki logicznej (utożsamianej zwykle z teorią modeli).
Zbiór tych wszystkich zdań napisanych w języku L, które są prawdziwe w modelu M dla języka L, tworzy teorię modelu M w języku L. Teoria ta jest teorią zupełną. Badanie zależności między modelami i ich teoriami to główny przedmiot badań obszernego działu logiki matematycznej jakim jest teoria modeli.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.