Re: If you arew going to teach coding
Yes and no.
BlueGreen, John G Imrie said nothing about a full course in logic; he said a primer. An understanding of the basics of logic (Boolean algebra especially) is absolutely a requirement for even the simplest of programming tasks.
However, I think it would be a mistake to separate the principle and the practice in early courses, as the practice in this case is the best way to illustrate the principle. The ideal would be a series of programming projects which illustrate the different Boolean operators and principles of precedence while allowing students to create applications relevant to their interests..