Logika Proposisional: Dasar Penalaran

Halo semuanya! Hari ini kita akan membahas Logika Proposisional, yaitu logika yang mempelajari hubungan antar pernyataan atau proposisi. Setiap proposisi ini memiliki nilai kebenaran, yaitu Benar (B) atau Salah (S).

Sekarang perhatikan Kata Penghubung Logika. Ada tiga operator utama: pertama, Konjungsi (Dan) disimbolkan P dan Q. Kedua, Disjungsi (Atau) dengan simbol P atau Q. Dan ketiga, Implikasi (Jika... maka) dengan simbol P maka Q.

Kita akan fokus pada Implikasi, P maka Q. Di sini, P berperan sebagai sebab atau anteseden, sedangkan Q adalah akibat atau konsekuen. Perhatikan alirannya dari lingkaran P menuju lingkaran Q.

Lanjut ke Ekuivalensi atau pernyataan senilai. P maka Q setara dengan Kontraposisinya, yaitu negasi Q maka negasi P. Selain itu, ada juga Bentuk Atau, di mana P maka Q setara dengan negasi P atau Q.

Untuk Negasi atau ingkaran, ingkaran dari P maka Q adalah P dan negasi Q. Contoh sederhananya adalah: Hujan, tetapi jalan tidak basah.

Tip UTBK! Jika ada soal 'Jika P maka Q', segera cek Kontraposisinya: 'Jika bukan Q maka bukan P'. Jawaban biasanya menggunakan pola ini. Jangan lupa pelajari Modus Ponens dan Tollens di materi selanjutnya ya!

Itulah dasar logika proposisional. Semangat belajar dan sampai jumpa!