INVERS, KONVERS, DAN KONTRAPOSISI
Perhatikan bentuk implikasi berikut:
Jika kudus ibu kota Jawa Tengah, maka Semarang terletak di Jawa Tengah.
Implikasi diatas bernilai benar.
Dari bentuk implikasi diatas, kita dapat menyatakannya menjadi pernyataan baru.
- Jika Kudus bukan ibu kota Jawa Tengah, maka Semarang tidak terletak di Jawa Tengah.
- Jika Semarang terletak di Jawa Tengah, maka Kudus ibu kota Jawa Tengah.
- Jika Semarang tidak terletak di Jawa Tengah, maka Kudus bukan ibu kota Jawa Tengah.
Misalkan pernyataan – pernyataan penyusun dari implikasi awal kita nyatakan sebagai:
P : kudus ibu kota Jawa Tengah.
Q : Semarang terletak di Jawa Tengah. Baca lebih lanjut