Anda akan lebih mengerti bila anda sudah membaca post pernyataan tunggal dan majemuk dan operasi logika karena banyak pernyataan majemuk dan ada simbol - simbol operasi logika yang akan saya bahas disini, semoga bermanfaat .

Sebuah pernyataan implikasi yang merupakan tautologi disebut implikasi logis.

Ekwivalen logis adalah dua atau lebih pernyataan majemuk yang mempunyai nilai kebenaran sama.

Argumen adalah kumpulan pernyataan, baik tunggal maupun majemuk dimana pernyataan-pernyataan sebelumnya disebut premis-premis dan pernyataan terakhir disebut konklusi/ kesimpulan dari argumen. 

Bentuk – bentuk implikasi :
·      Jika suatu bentuk implikasi p -> q diubah menjadi q -> p disebut konvers
·      Jika suatu bentuk implikasi p -> q diubah menjadi ~ p -> ~ q disebut invers
·      Jika suatu bentuk implikasi p -> q diubah menjadi ~ q -> ~ p disebut kontraposisi
dikutip dari google.com - logika matematika - download office word