Nilai kebenaran dari "Harimau adalah hewan berkaki dua jika dan hanya jika kangguru adalah hewan berkaki empat" adalah __ A prightarrow q B sim p^wedge q C pvee sim q D pvee q D E sim p^wedge q

A

Di dalam logika proposisi, simbol ↔ didefinisikan sebagai "jika dan hanya jika," yang berarti pernyataan akan bernilai benar jika kedua sisi pernyataan mempunyai nilai kebenaran yang sama. Menurut soal disebutkan, p adalah "Harimau adalah hewan berkaki dua" dan q adalah "kangguru adalah hewan berkaki empat." Namun, dalam realitas yang kita ketahui, p adalah salah karena harimau memiliki empat kaki dan q adalah salah karena kangguru memiliki dua kaki kuat dan kedua kaki kecil yang tidak sering digunakan untuk berjalan atau berdiri. Oleh karena itu, p dan q keduanya salah. Jadi jika p salah dan q salah, p↔q akan bernilai benar, karena jika dan hanya jika membutuhkan kedua sisi untuk sama. Hasilnya adalah p ↔ q semuanya benar, yang menunjukkan nilai kebenaran tautologi, sesuai dengan pilihan A.