Ingkaran pernyataan (p^ q)=>q adalah...

Salah (F)

Pembahasan

Untuk menentukan ingkaran dari pernyataan (p^ q) => q, kita perlu menggunakan hukum-hukum logika. Pernyataan awal adalah implikasi: A => B, di mana A adalah (p ^ q) dan B adalah q. Ingkaran dari implikasi A => B adalah A ^ ~B. Jadi, ingkaran dari (p ^ q) => q adalah (p ^ q) ^ ~q. Sekarang, kita dapat menyederhanakan ekspresi ini. Kita tahu bahwa (p ^ q) ^ ~q dapat ditulis ulang sebagai p ^ (q ^ ~q). Karena (q ^ ~q) selalu salah (kontradiksi), maka ekspresi tersebut menjadi p ^ Salah. Konjungsi dengan 'Salah' selalu menghasilkan 'Salah'. Oleh karena itu, ingkaran dari pernyataan (p^ q) => q adalah Salah. Dalam notasi logika, ini ditulis sebagai 'F' atau '⊥'.