But I’m confused at your initial example—if the argument is A → B → C, and A is true and C is false, then EITHER A->B is false, or B->C is false. Either way, A->B->C is false.
A → B → C is false, but A → B (which is a step in the argument) could be correct—that’s all I meant. I guess that was an unnecessarily complicated example. You could just say A and B are false but A → B is true.
A → B → C is false, but A → B (which is a step in the argument) could be correct—that’s all I meant. I guess that was an unnecessarily complicated example. You could just say A and B are false but A → B is true.