|
|
| dokaz |
| (logika) Sklepanje, ki privede od resničnih ali privzetih izrekov prek vmesnih dokaznih izrekov do izreka, ki ga je bilo potrebno dokazati. Pri direktnem dokazu izvedemo izrek iz privzetkov. Pri indirektnem dokazu dokažemo, da pride do protislovja, če izhajamo iz privzetka, da izrek ne velja. |
| < Nazaj | Naprej > |
|---|