EN - FR - DE - ES - IT - PT -

LexiconDream

➡️ Sonuç

Kanıtlanmış bir teoremden kolayca çıkarılabilen bir ifade.

Sonuç

Bir teorem kanıtlandıktan sonra, diğer sonuçlar genellikle neredeyse anında ortaya çıkar. Bir sonuç, genellikle çok az ek çalışmayla, bir teoremden doğrudan çıkan bir ifadedir. Yeni bir teoremden ziyade doğal bir sonuçtur.

Öklid'in Elemanları, birçok sonuç önermesiyle doludur. Bir üçgenin açılarının toplamının 180 derece olduğunu kanıtladıktan sonra, bir sonuç önermesi, bir üçgenin iki dik açısı olamayacağını belirtir. Ana teorem kanıtlandıktan sonra, bu sonuç önermesi kullanışlı ve anlaşılması kolaydır.

Matematikçiler, bilgiyi düzenlemek için sonuçlardan yararlanırlar. Önemli sonuçları vurgularlar ve bunlara kolayca başvurulmasını sağlarlar. Teorem, önerme, lemma ve sonuç arasındaki ayrım kısmen vurgu meselesidir. Lemma bir basamak taşıdır; sonuç ise bir kazançtır. Her ikisi de ana ispat tarafından oluşturulan mantıksal yapıya bağlıdır.

Comments (2)

  1. Sophia
    A nice way to extend a theorem without needing a full new proof. Still have to be careful the conditions hold.
  2. David
    In proofs I sometimes skip stating the corollary because it feels obvious, but instructors always want it written out.

Leave a comment