Merkitys
- 1.(Filosofia)matemaattisen logiikan haara, joka tutkii joukko-opin ja matematiikan perusteita
Liittyvät sanat
Käännökset
- engl.proof theory
Esimerkkilauseet
Oikeudenkäynnissä noudatettiin eventuaaliperiaatetta, käsittelymenetelmää ja legaalista eli lakisääntöisä todistusteoriaa.
Jos tietty logiikan järjestelmä on sekä eheä että täydellinen, vastaavat todistusteoria ja malliteoria toisiaan tässä järjestelmässä.
Englanninkieliset vastineet
- proof theory
Esiintymistiheys
150 esiintymää, 0.1 / milj.
Suomi24
0.0
Sanomalehdet
1.3
Aikakauslehdet
0.0
Wikipedia
0.1
Reddit
0.0
Tekstitykset
0.0
Taivutustiedot
Taivutusluokka 12
| Sijamuoto | Yksikkö |
|---|---|
| Nominatiivi | todistusteoria |
| Genetiivi | todistusteorian |
| Partitiivi | todistusteoriaa |
| Essiivi | todistusteoriana |
| Translatiivi | todistusteoriaksi |
| Inessiivi | todistusteoriassa |
| Elatiivi | todistusteoriasta |
| Illatiivi | todistusteoriaan |
| Adessiivi | todistusteorialla |
| Ablatiivi | todistusteorialta |
| Allatiivi | todistusteorialle |
| Abessiivi | todistusteoriatta |
Riimit
-iɑ
Kaikki riimit