Implikasi yaitu pernyataan majemuk yang diawali dengan kata jika dan dihubungkan dengan kata hubung “maka” yang disimbolkan dengan “=>”. Misal “p => q” dibaca “p maka q”.
Perhatikan tabel dibawah ini
Biimplikasi yaitu bentuk kompleks sari implikasi yang berarti “jika dan hanya jika” yang disimbolkan dengan “<=>”. Misal p <=> q dibaca “p jika dan hanya jika q”.
Perhatikan tabel dibawah ini.