... More specifically, how it is used in PT37,sec2,q12, ... like you suspect, is definitely a premise indicator. Because can be ... the conclusion - mainly one conditional statement, X--->Y ... conditional statement, X--->Z.
In this instance if its a ...