Construct a deductively valid argument/deductive logic