Matematiikka:Malli (matemaattinen logiikka)

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.

malli

Määritelmä (fi)

struktuuri, jossa annettu lausejoukko on tosi

Selite (fi)

Annetun lauseen tai lausejoukon malli on struktuuri, jossa kyseinen lause tai lausejoukko on tosi. Esimerkiksi lause "Kaikilla $x$ on olemassa sellainen $y$, että $x+y=0$" on tosi struktuureissa $\mathbb{\mathbb{Z}}$ ja $\mathbb{\mathbb{Q}}$ mutta ei struktuurissa $\mathbb{\mathbb{N}}$. Niinpä struktuurit $\mathbb{\mathbb{Z}}$ ja $\mathbb{\mathbb{Q}}$ ovat kyseisen lauseen malleja, mutta struktuuri $\mathbb{\mathbb{N}}$ ei ole.

Lausejoukko on konsistentti, jos sillä on malli. Ristiriitaisella lausejoukolla ei ole mallia.

Erikieliset vastineet

model

englanti (English)

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 6.2.2026: Matematiikka:Malli (matemaattinen logiikka). (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:Malli (matemaattinen logiikka).)

Siirry tarkastelemaan sivun muokkaushistoriaa →