1. Nyatakan masalah: Diberi implikasi $p \to q$ di mana $p$: "$x + 3 = 7$" dan $q$: "$x = 4$". 2. Definisi: - Akas (konvers): $q \to p$ - Songsangan (invers): $\neg p \to \neg q$ - Kontrapositif: $\neg q \to \neg p$ 3. Nyatakan akas: $$q \to p: \text{Jika } x = 4, \text{ maka } x + 3 = 7.$$ 4. Nyatakan songsangan: $$\neg p \to \neg q: \text{Jika } x + 3 \neq 7, \text{ maka } x \neq 4.$$ 5. Nyatakan kontrapositif: $$\neg q \to \neg p: \text{Jika } x \neq 4, \text{ maka } x + 3 \neq 7.$$ 6. Kesimpulan: - Akas: Jika $x = 4$, maka $x + 3 = 7$. - Songsangan: Jika $x + 3 \neq 7$, maka $x \neq 4$. - Kontrapositif: Jika $x \neq 4$, maka $x + 3 \neq 7$. Semua ini adalah bentuk logik yang berkaitan dengan implikasi asal.