Jika p menyatakan 'Dia gadis cantik' dan q menyatakan 'Dia

a. Tidak benar bahwa jika dia gadis cantik maka dia gadis pandai. b. Dia gadis cantik jika dan hanya jika dia tidak gadis pandai.

Pembahasan

Untuk soal ini, kita perlu menerjemahkan pernyataan logika simbolik ke dalam pernyataan verbal.

a. ~(p => q) dibaca "Tidak benar bahwa jika dia gadis cantik, maka dia gadis pandai." Ini juga bisa diartikan sebagai "Dia gadis cantik tetapi tidak pandai."

b. p <=> ~ q dibaca "Dia gadis cantik jika dan hanya jika dia tidak gadis pandai."

Jawaban ringkas: a. Tidak benar bahwa jika dia gadis cantik maka dia gadis pandai. b. Dia gadis cantik jika dan hanya jika dia tidak gadis pandai.