Which law says "If p and p Imported Asset q are true statements, then q is a true statement as well?"

Law of Syllogism

Law of Detachment