Note that the bulk of questions tagged logic concern the broad sense of program logic described in the excerpt above. Before using the tag, consider if a tag about a more specialised logic-related topic would be a better fit. Examples include:
- boolean-logic or logical-operators;
- design-by-contract (reasoning about invariants and pre-/post-conditions);
- sat or smt (satisfiability problems);
- three-valued-logic or fuzzy-logic;
Furthermore, if your question is about one of those specialised topics, consider whether it essentially involves programming in some way. If it doesn't, it will likely be more appropriately posted elsewhere in the network. Some sites in which such questions might be a good fit, depending on the circumstances of each concrete case, are Philosophy, Mathematics and Computer Science.