Doğal sonuç

Matematikte ve mantıkta, doğal sonuç, daha önemli bir önermeden kolayca çıkarsanabilen ikincil öneme sahip teoremdir. Bir doğal sonuç, başka bir önerme ispatlanırken tesadüfen kanıtlanmış bir önerme olabilir. Günlük dilde, başka bir olgunun doğal ya da tesadüfi sonucu olan şeyler için kullanılır (örn., "şiddet, devrimsel sosyal değişimlerin doğal sonucudur").

Kaynakça 

Matematik terimleri
Teoremler
Önerme