Dokumen ini membahas tentang proposisi hipotetik dalam logika. Proposisi hipotetik menyatakan kebenaran yang tergantung pada syarat tertentu, dengan kopula seperti "jika" dan "maka". Ada dua bentuk proposisi hipotetik, yaitu bentuk "Jika A maka B" dan "Jika A maka C adalah D". Hubungan sebab akibat dalam proposisi hipotetik dapat bersifat kebiasaan atau keharusan.