Pernyataan yang setara dengan ~r -> (p v q) adalah ...

r v p v q

Pembahasan

Pernyataan yang setara dengan implikasi ~r -> (p v q) adalah pernyataan yang memiliki nilai kebenaran yang sama. Kita dapat menggunakan hukum ekuivalensi dalam logika proposisi.

Hukum implikasi menyatakan bahwa A -> B ekuivalen dengan ~A v B.
Menerapkan hukum ini pada ~r -> (p v q):
A = ~r
B = (p v q)

Maka, ~r -> (p v q) ekuivalen dengan ~(~r) v (p v q).

Menurut hukum negasi ganda, ~(~r) ekuivalen dengan r.

Sehingga, pernyataan yang setara adalah r v (p v q).

Dalam bentuk yang lebih sederhana, karena operasi 'atau' bersifat asosiatif, ini juga dapat ditulis sebagai (r v p v q).

Jadi, pernyataan yang setara dengan ~r -> (p v q) adalah r v p v q.