Dengan menggunakan tabel kebenaran, argument berikut; ((P→→Q)^-P)→→Q termasuk tautologi. Tautologi adalah suatu pernyataan atau argumen yang selalu benar, tidak peduli apa nilai kebenaran dari premis-premis yang terkandung di dalamnya.

Penjelasan dengan langkah-langkah:

Tautologi adalah suatu pernyataan atau argumen yang selalu benar, tidak peduli apa nilai kebenaran dari premis-premis yang terkandung di dalamnya. Dalam logika proposisional, tautologi adalah suatu formula yang benar untuk semua kemungkinan nilai kebenaran dari variabel proposisional di dalamnya. Contohnya, "Semua manusia adalah makhluk hidup" atau "Hujan itu basah".

Diketahui:

• Argument berikut; ((P→→Q)^-P)→→Q.

Ditanya:

• Argument berikut; ((P→→Q)^-P)→→Q termasuk tautologi, kontradiksi, bukan tautologi, atau bukan kontradiksi?

Jawab:

Untuk menentukan apakah argumen ((P→→Q)^-P)→→Q adalah tautologi, kontradiksi, atau bukan tautologi dan bukan kontradiksi, kita dapat menggunakan tabel kebenaran.

Tabel kebenaran untuk argumen ada pada lampiran.

Kolom pertama dan kedua pada tabel mewakili nilai kebenaran untuk P dan Q, sedangkan kolom ketiga adalah nilai kebenaran untuk -P. Kolom keempat dan kelima mewakili nilai kebenaran untuk P→→Q dan (P→→Q)^-P, dan kolom terakhir adalah nilai kebenaran untuk ((P→→Q)^-P)→→Q.

Karena pada setiap baris, nilai kebenaran untuk ((P→→Q)^-P)→→Q selalu bernilai benar (1), maka dapat disimpulkan bahwa argumen ini adalah tautologi. Dengan kata lain, kesimpulan Q selalu benar jika premis ((P→→Q)^-P) bernilai benar.

Pelajari lebih lanjut

Pelajari lebih lanjut materi tentang tautologi, pada: yomemimo.com/tugas/16868014

#BelajarBersamaBrainly #SPJ1