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.
Anda dapat pula mempelajarinya secara online di sini, di situ, di sana, dan di sono.
Demikian semoga bermanfaat.
Adjie Gumarang Pujakelana 2013
Tidak ada komentar:
Posting Komentar