Ingkaran untuk kontraposisi dari p -> q ialah ...

p ∧ ¬q

Pembahasan

Kontraposisi dari implikasi p → q adalah ¬q → ¬p. Ingkaran dari kontraposisi ini adalah negasi dari (¬q → ¬p).
Ingkaran dari implikasi (A → B) adalah A ∧ ¬B.
Dalam kasus ini, A adalah ¬q dan B adalah ¬p.
Jadi, ingkaran dari (¬q → ¬p) adalah ¬q ∧ ¬(¬p).
Karena ¬(¬p) sama dengan p, maka ingkarannya adalah ¬q ∧ p, atau ditulis sebagai p ∧ ¬q.