Dokumen ini membahas tentang implikasi atau proposisi bersyarat. Implikasi adalah pernyataan majemuk yang menggunakan kata hubung "bila...maka..." dan terdiri dari antaseden dan konsekuen. Implikasi bernilai benar bila antasedennya salah atau konsekuennya benar. Contoh implikasi dalam kehidupan sehari-hari adalah untuk menyatakan syarat, hubungan sebab akibat, dan tanda.