Dariimplikasi tersebut dapat dibentuk pernyataan baru seperti berikut ini yaitu : 1). Konvers : pernyataan berbentuk q ⇒ p. 2). invers : pernyataan berbentuk ∼ p ⇒ ∼ q. 3). Kontraposisi : pernyataan berbentuk ∼ q ⇒ ∼ p. Tabel kebenaran dari Konvers, Invers, dan Kontraposisi : Catatan : *).
UGrs.