Implikasi adalah pernyataan majemuk yang terdiri dari dua proposisi, yang disebut anteseden dan konsekuen. Anteseden adalah proposisi yang menjadi syarat, sedangkan konsekuen adalah proposisi yang menjadi konsekuensi.
Implikasi dapat ditulis dalam bentuk kalimat seperti berikut:
* Jika p, maka q.
* P menyebabkan q.
* P hanya jika q.
Bentuk umum implikasi adalah:
“`
p → q
“`
Dimana:
* p adalah anteseden
* q adalah konsekuen
Tabel kebenaran implikasi adalah sebagai berikut:
| p | q | p → q |
|—|—|—|
| Benar | Benar | Benar |
| Benar | Salah | Salah |
| Salah | Benar | Benar |
| Salah | Salah | Benar |
Dari tabel kebenaran tersebut, dapat disimpulkan bahwa implikasi hanya bernilai salah jika anteseden benar dan konsekuen salah.
Berikut adalah beberapa contoh implikasi:
* Jika hari hujan, maka saya tidak pergi ke sekolah.
* Jika saya lulus ujian, maka saya akan membeli sepeda baru.
* Jika angka 3 habis dibagi 2, maka angka 3 adalah bilangan genap.
Implikasi memiliki banyak aplikasi dalam informatika, antara lain:
