Pure logic studies the logical relations between statements. In order to do this we divide statements into two categories: premises and conclusions, where the premises are the statements given in ...