Arah Logika dalam Aljabar

Arah Itu Penting

Membuktikan pernyataan "Jika $p$ maka $q$" tidak sama dengan mengujinya dari arah sebaliknya "Jika $q$ maka $p$".

Bayangkan pernyataan sehari-hari: "Jika hujan ($p$), maka jalanan basah ($q$)."

Pernyataan ini jelas benar karena hujan pasti membasahi jalan. Namun, jika kamu membalik arah logikanya menjadi "Jika jalanan basah ($q$), maka hujan ($p$)"—yang di dalam logika disebut sebagai konvers—kesimpulan itu belum tentu benar. Seperti pada gambar di atas, jalanan bisa saja basah karena baru disiram oleh mobil tangki pembersih jalan saat cuaca sedang panas terik.

Hal yang sama berlaku pada soal logika aljabar:

• Syarat sebab disebut antaseden ($p$), yaitu $2x + 5 > 9$.

• Syarat akibat disebut konsekuen ($q$), yaitu $x > 2$.

• Implikasi "Jika $p$ maka $q$" menuntut kita berangkat dari syarat $p$, lalu memeriksa apakah syarat itu menghasilkan $q$.

Solusi Aljabar Tanpa Tebak Angka

Cara paling aman menguji implikasi beraljabar adalah dengan menyederhanakan bentuk antasedennya secara formal.

Daripada menebak-nebak angka satu per satu (seperti mencoba $x = 2$ atau $x = 3$), kita bisa menyelesaikan syarat awalnya secara langsung dengan aturan aljabar biasa.

Mari kita isolasi variabel $x$ pada bagian antaseden ($2x + 5 > 9$):

1. Pindahkan konstanta: Kurangkan kedua ruas dengan $5$:

   $$2x > 9 - 5 \implies 2x > 4$$

2. Bagi koefisien: Bagi kedua ruas dengan $2$:

   $$x > \frac{4}{2} \implies x > 2$$

Ternyata, bentuk antaseden setelah disederhanakan sama persis dengan bagian konsekuen ($x > 2$). Dalam matematika, dua bentuk yang memiliki himpunan penyelesaian persis sama disebut saling ekuivalen.

Mengeliminasi Jebakan Opsi

Karena penyelesaian $p$ menghasilkan tepat bentuk $q$, maka implikasi tersebut bernilai Benar dan alasan penjelasannya harus searah.

Mari kita telaah alasan pada tiap opsi berdasarkan hasil aljabar tadi:

• Opsi E (Benar): Menyatakan implikasi bernilai Benar, karena $x > 2$ dapat dihasilkan langsung dari penyelesaian $2x + 5 > 9$. Arah penalarannya tepat dari sebab ke akibat ($p \implies q$).

• Opsi D (Salah): Mengklaim kedua pernyataan tidak ekuivalen hanya karena wujud luarnya berbeda, padahal perhitungan aljabar membuktikan keduanya setara.

• Opsi B & C (Salah): Keduanya langsung keliru karena menyatakan implikasi bernilai Salah. Opsi B terkecoh memasukkan $x = 2$ (padahal batasnya tanda $>$, bukan $\ge$), sedangkan Opsi C menduga ada nilai yang memenuhi antaseden tetapi melanggar konsekuen.