Gunakan modus ponens atau modus tollens untuk mengisi titik-titik di dalam soal no.

27-30 berikut ini agar menghasilkan inferensi yang valid

27. Jika √2 merupakan bilangan rasional, maka √2 = a/b untuk suatu bilangan
bulat a dan b
Tidak benar kalau √2 = a/b untuk suatu bilangan bulat a dan b
∴ ………………………………………………………………………………………………………
28. Jika potongan program ini adalah perulangan dengan perintah while, maka isi
perulangan tidak pernah dieksekusi.
……………………………………………………………………………………………………………
∴ Isi perulangan tidak pernah dieksekusi
29. Jika logika adalah pelajaran yang mudah, maka pastilah saya seorang profesor
Saya bukan seorang professor
∴ ………………………………………………………………………………………………………
30. Jika poligon ini adalah suatu segitiga, maka jumlah sudut- sudutnya adalah 180
derajat.
Jumlah sudut poligon ini tidak 180 derajat.
∴ ………………………………………………………………………………………………………

Beberapa inferensi soal 31-35 berikut ini valid dan beberapa lainnya tidak valid.
Untuk inferensi yang valid, jelaskan aturan inferensi yang digunakan. Jika tidak valid,
jelaskan kesalahan yang terjadi.

31. Jika Adi menjawab soal dengan benar, maka ia akan memperoleh jawaban = 2
Adi memperoleh jawaban = 2
∴ Adi menjawab soal dengan benar
32. Bilangan riil ini merupakan bilangan rasional atau irrasional
Bilangan riil ini tidak rasional
∴ Bilangan riil ini adalah bilangan irrasional
33. Jika saya pergi nonton, maka saya tidak bisa menyelesaikan PR
Jika saya tidak bisa menyelesaikan PR. maka saya tidak lulus
∴ Jika saya pergi nonton, maka saya tidak lulus
34. Jika suatu bilangan lebih besar dari 2, maka kuadratnya lebih besar dari 4
Bilangan ini tidak lebih besar dari 2
∴ Kuadrat bilangan ini tidak lebih besar dari 4
35. Jika salah satu dari bilangannya habis dibagi 6, maka hasil kali kedua bilangan
pasti habis dibagi 6
Kedua bilangan tidak habis dibagi 6
∴ Hasil kali kedua bilangan tidak habis dibagi 6
36. Gunakan tabel kebenaran untuk menentukan apakah inferensi berikut ini
valid
a. p ⇒ q
q⇒p
∴ p˅q
b. p ˅ q
p ⇒ ¬q
p⇒r
∴ r
c. p
p⇒q
¬q ˅ r
∴ r
d. p ˄ ¬q ⇒ r
p˅q
q⇒p
∴ r