Soal dan Solusi: Negasi Pernyataan Majemuk

Negasi dari implikasi
\[\color{DarkRed}{\bf \sim(p\to q)\equiv p\wedge \sim q}\]

Hukum de Morgan

\[\color{DarkRed}{\bf \sim (p\wedge q)\equiv \sim p\ \vee \sim q}\]

\[\color{DarkRed}{\bf \sim (p\vee q)\equiv \sim p\ \wedge \sim q}\]

Negasi dari kuantor

\[\color{DarkRed}{\bf \sim \forall x,p(x)\equiv \exists x,\sim p(x)}\]

\[\color{DarkRed}{\bf \sim \exists x,p(x)\equiv \forall x,\sim p(x)}\]

Ketiga bentuk dasar negasi terhadap pernyataan majemuk tersebut sering kali digunakan dalam menyelesaikan soal.

Berikut ini contoh soal dan penyelesaiannya tentang negasi pernyataan majemuk.

Dokumen ini ditulis dengan menggunakan $\small\LaTeX$ melalui writeLaTeX. 
Anda dapat pula mempelajarinya secara online di sini, di situ, di sana, dan di sono.

Demikian semoga bermanfaat.

Adjie Gumarang Pujakelana 2013

-->