Now we are going to learn to make another type of inference. This one comes from linking two (or more) conditional statements together. Take a look at the following two propositions. They are both simple conditional statements of the type we’ve studied forward and backward: P1: A —-> B P2: B —-> C We know