Pernyataan bersyarat adalah pernyataan jika-maka dan terdiri dari dua bagian, yg di atas dan konsekuen. Yg di atas, atau yang pergi sebelumnya, didahului oleh "jika"; konsekuen, atau bahwa yang datang setelah itu, mungkin didahului dengan "kemudian". Kalimat bahasa Inggris kadang-kadang membalik urutan: John studi keras jika dia mengira bahwa dia akan melakukannya dengan baik di kelas. Tapi logika kalimat ini adalah: Jika John berpikir bahwa ia akan melakukannya dengan baik di kelas, maka dia belajar keras. Di sini yg di atas "John mengira bahwa ia akan melakukannya dengan baik di kelas" dan konsekuen "dia studi keras".