kanıtlanım teorisi ne demek?
Syntax.
kanıtlanım
- Bir biçimsel dizgede belli bir önermenin, ilksavlar kümesinden türetilebildiğini göstermeye yarayan türetim. || Anl. tanıt, tanıtlama.
Proof.
Démonstration
kanıtlanır çıkarım
- Sonucu öncüllerinden türetilebilen çıkarım.
Provable inference.
Infèrence dèmonstrable
teorisi
Theory, speculation.