analisis deduktif penetapan kebenaran suatu pernyataan dengan menunjukkan bahwa pernyataan itu telah tercakup dalam pernyataan lain yang telah ditetapkan kebenarannya