Tugas : Sistem Pengaturan Optimal

Pengampu : Dr. Trihastuti Agustinah, ST., MT

Nama : Gayuh Wahyu Nugroho
NRP : 07111540000039

1. Lenma
- Definisi
Teorema sederhana yang digunakan dalam pembuktian teorema lain.
- Contoh :
Jika n adalah bilangan bulat positif, maka n – 1 bilangan positif atau n – 1 = 0.
2. Corollary
- Definisi
Teorema yang dapat dibentuk langsung dari teorema yang telah dibuktikan, atau dapat dikatakan
corollary adalah teorema yang mengikuti dari teorema lain.
- Contoh :
Jika sebuah segitiga adalah sama sisi, maka segitiga tersebut sama sudut.
3. Remarks
- Definisi
Remmark merupakan suatu teorema yang berasal dari ucapan penemunya yang terkadang belum
dapat dibuktikan kebenarannya.
- Contoh :
Teorema Aristoteles tentang manusia berevolusi.
4. Teori
- Definisi
Teori adalah proposisi yang telah terbukti benar.
- Contoh :
Untuk semua bilangan real
x, y dan z, jika x ≤ z dan y ≤ z, maka x ≤ z

5. Aksioma
- Definisi
Axioma adalah proposisi yang diasumsikan benar. Aksioma tidak memerlukan pembuktian
kebenaran lagi.
- Contoh :
Jika diberikan dua buah titik yang berbeda, maka hanya ada satu garis lurus yang melalui dua buah
titik tersebut.