Jika p= "Saya mempunyai seekor anjing" Dan q = "saya

Saya mempunyai seekor anjing dan saya tidak mempunyai seekor kucing.

Pembahasan

Diketahui:
$p$ = "Saya mempunyai seekor anjing"
$q$ = "Saya mempunyai seekor kucing"

Kita perlu mencari arti dari pernyataan majemuk: $\sim [\sim p \vee \sim (\sim q)] \wedge \sim (\sim p)$.

Mari kita sederhanakan pernyataan tersebut langkah demi langkah:
1. $\sim q$: "Saya tidak mempunyai seekor kucing"
2. $\sim (\sim q)$: "Saya mempunyai seekor kucing" (ekuivalen dengan $q$)
3. $\sim p$: "Saya tidak mempunyai seekor anjing"
4. $\sim p \vee \sim (\sim q)$: "Saya tidak mempunyai seekor anjing ATAU saya mempunyai seekor kucing" (ekuivalen dengan $\sim p \vee q$)
5. $\sim [\sim p \vee \sim (\sim q)]$: $\sim [\sim p \vee q]$: "TIDAK BENAR bahwa (saya tidak mempunyai seekor anjing ATAU saya mempunyai seekor kucing)". Menggunakan hukum De Morgan, ini ekuivalen dengan $\sim (\sim p) \wedge \sim q$, yang berarti $p \wedge \sim q$.
   $p \wedge \sim q$: "Saya mempunyai seekor anjing DAN saya tidak mempunyai seekor kucing."
6. $\sim (\sim p)$: "Saya mempunyai seekor anjing" (ekuivalen dengan $p$)

Sekarang kita gabungkan hasil langkah 5 dan 6 dengan operator AND ($\wedge$):
$[p \wedge \sim q] \wedge p$
Ini ekuivalen dengan $p \wedge \sim q$, karena $p \wedge p$ adalah $p$.

Jadi, arti dari pernyataan majemuk tersebut adalah: "Saya mempunyai seekor anjing DAN saya tidak mempunyai seekor kucing."

**Jawaban Ringkas:** Saya mempunyai seekor anjing dan saya tidak mempunyai seekor kucing.