Tanım
•Tanıtlamak işi, ispatlama
•İspatlama
•Öne sürülen bir iddianın doğruluğunu mantıksal yöntemle gösterme
Örnek Cümleler
Durumlardan her birini tanıtlamak.
One for each programs.
Bu işlem, var olduklarını tanıtlamaktan daha zordur.
This is more significant than it may appear.
Dört Renk Teoreminin ilk tanıtı 1.936 durumu olan bir tüketerek tanıtlama tanıtıydı.
For example, the first proof of the four color theorem was a proof by exhaustion with 1,936 cases.