pernyataan [p^r] => ~ q bernilai salah jika...

Implikasi (=>) akan bernilai salah jika pernyataan pertama benar dan pernyataan keduanya benilai salah..
b => s = salah
Maka,
[p^r] => ~q
Nilai kebenaran [p^r] harus benar :
• p bernilai benar
• r bernilai benar
Nilai kebenaran ~q harus salah.
• q bernilai benar
• ~q bernikai salah

Senoga membantu