Invers dari pernyataan (p^ ~ q) => p adalahA. ~ p => (p ^ ~

Invers dari (p ∧ ~ q) => p adalah (~ p ∨ q) => ~ p.

Pembahasan

Invers dari pernyataan \((p \land \neg q) \Rightarrow p\) adalah \(\neg p \Rightarrow (p \land \neg q)\). Untuk mencari invers, kita menegasikan anteseden dan konsekuen dari implikasi. Antesedennya adalah \((p \land \neg q)\) dan konsekuennya adalah \(p\). Negasi dari anteseden adalah \(\neg (p \land \neg q) \equiv \neg p \lor \neg(\neg q) \equiv \neg p \lor q\). Negasi dari konsekuen adalah \(\neg p\). Jadi, inversnya adalah \((\neg p \lor q) \Rightarrow \neg p\).