teorem
-
Belitleri ve/veya daha önce tanıtlanmış olan önermeleri kullanarak doğru olduğu gösterilen önerme.
İngilizce theoremFransızca théorème, mAlmanca Theorem, n
- Hipotez adı verilen koşullardan, mantık kuralları kullanılarak, vargı adı verilen önermenin çıkarımı yapılabileceğini iddia eden önerme.
-
Kanıtlanabilen önerme.
Eşanlam: kanıtsav