Badaniami takimi zajmuje się teoria modeli, jeden z działów logiki matematycznej.
Modele języków pierwszego rzędu Niech będzie alfabetem pewnego języka pierwszego rzędu
Interpretacją lub modelem języka nazywa się dowolną parę uporządkowaną gdzie U jest niepustym zbiorem, natomiast jest funkcją określona na zbiorze wszystkich stałych pozalogicznych rozważanego języka, spełniającą następujące warunki: dla dowolnej stałej indywiduowej dla każdego predykatu -argumentowego jest n-członową relacją w zbiorze dla każdego -argumentowego symbolu funkcyjnego jest -argumentową funkcją, której argumenty i wartości należą do zbioru
Zobacz też model Herbranda
Przypisy
Bibliografia A. Piękosz: Wstęp do teorii modeli. Wydawnictwo Politechniki Krakowskiej, 2008, .
Linki zewnętrzne [dostęp 2024-03-07]. Model theory , Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18]. Model theory , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].
Kategoria:Byłe Artykuły na Medal