Soal dan Solusi: Invers, Konvers, dan Kontraposisi

Invers, konvers, dan kontraposisi adalah bentuk-bentuk implikasi yang diturunkan dari suatu implikasi yang diketahui.
$$\begin{array} {|c|c|}\hline \color{DarkRed}{\textrm{Implikasi}} & \color{DarkRed}{\bf p\to q} \\ \hline \textrm{Invers} & \color{teal}{\sim p\to \sim q} \\ \hline \textrm{Konvers} &  \color{teal}{q\to p} \\ \hline \textrm{Kontraposisi} &  \color{teal}{\sim q\to \sim p} \\ \hline \end{array}$$

Dapat pula implikasi yang diberikan memuat pernyataan berkuantor. Oleh karena itu perlu diingat ingkaran dari pernyataan berkuantor umum ($\forall$) dan ingkaran dari pernyataan berkuantor khusus ($\exists$), yaitu: 

$$\sim \forall x,p(x)\equiv \exists x,\sim p(x)$$

$$\sim \exists x,p(x)\equiv \forall x,\sim p(x)$$

Berikut ini contoh soal dan penyelesaiannya tentang invers, konvers, dan kontraposisi.

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

-->