Pembuktian Soal Tautologi Tanpa Tabel Kebenaran #2
Soal tautologi. Muncul di mata pelajaran matematika SMA atau mata kuliah logika matematika. Seringkali membuat pusing dan bingung.
Maka dari itu, ayo dicoba mengerjakan contoh soal berikut.
Mari mengerjakan pembuktian tautologi tanpa tabel kebenaran!
Semoga penjelasannya mudah dipahami. :D
Soal
Buktikan tanpa tabel kebenaran bahwa bentuk berikut merupakan tautologi!
$((p \wedge \neg q) \implies \neg p ) \implies (p \implies q)$
Penyelesaian
Ingat ya bahwa:
A tautology is a proposition that is always true, regardless of the truth values of the propositional variables it contains.
Yang artinya:
Tautologi adalah proposisi yang selalu bernilai benar, apapun nilai kebenaran yang di-inputkan pada variabel proposisi tersebut.
Pokoknya, proposisi pada soal akan kita ubah dalam bentuk konjungsi (conjuction) dan disjungsi (disjuction).
Siapa tahu bentuk proposisinya bakal berubah menjadi lebih sederhana.
Dari situ nanti bakal ketahuan proposisinya bakal bernilai seperti apa.
Oh yaaa.
Ingat ya, implikasi (implication) itu bisa kita ubah menjadi bentuk disjungsi. Perhatikan di bawah ini!
$a \implies b$ ekuivalen dengan $\neg a \vee b$
Mari kita lihat proposisi pada soal lagi.
$((p \wedge \neg q) \implies \neg p ) \implies (p \implies q)$
Implikasi di posisi paling kanan diberi warna merah supaya terlihat nyentrik. :p
$((p \wedge \neg q) \implies \neg p ) \implies \color{red}{(p \implies q)}$
Implikasi yang berwarna merah itu diubah menjadi bentuk disjungsi.
$((p \wedge \neg q) \implies \neg p ) \implies \color{purple}{(\neg p \vee q)}$
Warnanya berubah jadi ungu yang menandakan perubahan yang sudah sukses dikerjakan. :D
Sekarang gantian implikasi yang letaknya paling kiri diberi warna merah.
$(\color{red}{(p \wedge \neg q) \implies \neg p}) \implies (\neg p \vee q)$
Implikasi yang berwarna merah itu diubah menjadi bentuk disjungsi.
$(\color{purple}{\neg (p \wedge \neg q) \vee \neg p} ) \implies (\neg p \vee q)$
Kemudian negasi dalam tanda kurung yang letaknya paling kiri itu diwarnai merah.
$(\color{red}{\neg (p \wedge \neg q)} \vee \neg p ) \implies (\neg p \vee q)$
Apabila negasi tersebut didistribusikan ke dalam tanda kurung akan menjadi seperti di bawah ini.
$(\color{purple}{(\neg p \vee q)} \vee \neg p ) \implies (\neg p \vee q)$
Sekarang perhatikan yang diberi warna merah.
$(\color{red}{(\neg p \vee q) \vee \neg p} ) \implies (\neg p \vee q)$
Hmmm... apa-apaan itu? Di dalam tanda kurung dan di luar tanda kurung kok disjungsi semua?
Kan bisa dibuat lebih sederhana seperti ini.
$\color{purple}{(\neg p \vee q)} \implies (\neg p \vee q)$
Nah, ini sudah jelas the end sih.
Perhatikan proposisi di atas. Bentuk implikasi, tapi kok anteseden dan konsekuennya sama?
Ya nilai kebenarannya pasti bakal selalu TRUE lah!
Jadi, terbukti sudah bahwa
$((p \wedge \neg q) \implies \neg p ) \implies (p \implies q)$
adalah tautologi.
Penutup
Semoga ocehan di atas bisa jadi sedikit bantuan untuk mengerjakan soal tautologi.
Biasalah, anak SMA atau mahasiswa baru kan belum begitu familier dengan matematika tanpa angka semacam ini. :D
Yang jelas, pas menjawab soal ujian jangan menulis macam ocehan di atas ya!
Pakai bahasa yang lebih formal lah, hahaha. :D
Yang jelas pula, dalam kehidupan nyata alias di dunia kerja nanti, permasalahan tautologi nggak ada yang "semudah" ini.
Yang di soal kan hanya ada variabel $p$ dan $q$. Kalau di dunia kerja nanti bisa belasan bahkan ratusan.
Cara mengerjakannya pula dengan bantuan komputer.
Hasilnya dijamin betul (asal logikanya betul :p) plus menghemat waktu (tidak perlu corat-coret rumus di kertas :p).
Tapi, buat anak SMA atau mahasiswa baru, sangat ada baiknya tahu dasar-dasar tautologi lah.
Jangan langsung diserahtugaskan ke komputer saja. :p
Okey....
Lanjut kerja lagi.
Cukup refreshing-nya mengerjakan soal matematikanya. :p