Matematiikka:Kaava (logiikka)

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

kaava (luo nimityssivu)

Määritelmä jonkin symbolikielen symbolijono, jolle voidaan antaa merkitys tulkinnan kautta

Selite Propositiologiikassa kaava määritellään rekursiivisesti: \begin{itemize}\item jokainen propositiomuuttuja on kaava; \item jos $\varphi$ on kaava, niin $\mathrm{\neg }\varphi$ on kaava; \item jos $\varphi$ ja $\psi$ ovat kaavoja, niin $\varphi \vee \psi$, $\varphi \wedge \psi$, $\varphi \to \psi$ ja $\varphi \leftrightarrow \psi$ ovat kaavoja. \end{itemize

Erikieliset vastineet

formula

englanti (English)

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →

}