~ P => Q mempunyai nilai kebenaran sama dengan....

~P => Q ekuivalen dengan P v Q.

Pembahasan

Pernyataan "~ P => Q" memiliki nilai kebenaran yang sama dengan "P v Q" (P atau Q). Ini berdasarkan pada ekuivalensi logis bahwa implikasi "A => B" ekuivalen dengan "~A v B". Dalam kasus ini, A adalah "~P" dan B adalah "Q". Maka, "~P => Q" ekuivalen dengan "~(~P) v Q", yang disederhanakan menjadi "P v Q".

Mari kita perhatikan tabel kebenaran:

P | Q | ~P | ~P => Q | P v Q
--|---|----|---------|------
T | T | F  | T       | T
T | F | F  | T       | T
F | T | T  | T       | T
F | F | T  | F       | F

Dari tabel kebenaran di atas, terlihat bahwa kolom "~P => Q" dan "P v Q" memiliki nilai kebenaran yang sama untuk semua kemungkinan nilai kebenaran P dan Q.