Logika Matematika

Contoh :
Diberikan pernyataan "Perlu memiliki kunci yang sah agar bisa masuk ke rumah"
(a) Nyatakan pernyataan di atas dalam bentuk proposisi "jika p, maka q".
(b) Tentukan ingkaran, konvers, invers dan kontraposisi dari pernyataan tersebut.

Penyelesaian:

Misalkan
     p : Anda bisa masuk rumah
     q : Memiliki kunci yang sah

maka
    (a) Jika anda bisa masuk rumah maka anda memiliki kunci yang sah
    (b)

1. Ingkaran :

"Anda bisa masuk ke rumah dan tidak memiliki kunci yang sah"

2. Konvers :

"Jika anda memiliki kunci yang sah maka anda bisa masuk ke rumah"

3. Invers :

"Jika anda tidak bisa masuk ke rumah maka anda tidak memiliki kunci yang sah"

4. Kontraposisi :

"Jika anda tidak memiliki kunci yang sah maka anda tidak bisa masuk ke rumah"