I mean the argument structure. For instance, X implies Y and Y implies Z so showing X is true proves conclusion Z.
I mean the argument structure. For instance, X implies Y and Y implies Z so showing X is true proves conclusion Z.