And there are parallels, again, for logic taken as a whole: a statement is logically valid if it and all statements like it in logical structure are true, and one statement logically implies another if the material comlitional formed of the two statements is logically valid.