No.10991381 ViewReplyOriginalReport
Is a "derivation" mathematically the same as a logical implication? Like can a derivation be respresent as P => Q? Or is it more like P => a => b => Q?