Aljabar

Tambah Kedua Sisi

Adding the same quantity to both sides

Bentuk

a=b    ⊢    a+c=b+ca = b \;\;\vdash\;\; a + c = b + c
Premis-premisnya di kiri, dibaca “maka”, dan kesimpulannya di kanan.

Butuh 1 premis.

Kenapa boleh

Kesamaan berarti kedua sisinya nilai yang sama. Menambahkan cc yang sama ke dua-duanya menjaga keduanya tetap sama — ini yang membuat “pindah ruas” boleh, dengan tanda yang dibalik.

Contoh

Dari x−3=5x - 3 = 5, tambahkan 33 ke kedua sisi: x−3+3=5+3x - 3 + 3 = 5 + 3, jadi x=8x = 8.

Jebakan

Harus ditambahkan ke kedua sisi, dan yang ditambahkan harus benar-benar sama. Menambahkan cc ke kiri dan dd ke kanan mengubah penyelesaiannya.

Dipakai di

Belum ada pembuktian yang memakai aturan ini — daftarnya akan terisi sendiri begitu teorema mulai ditulis, karena setiap langkah mencatat aturan yang dipakainya.

Aturan lain di Aljabar