At the undergraduate level, there are elementary approaches to logic that are neither philosophically demanding nor inapplicable in a computational context. I illustrate this with a sketch of logical application about computation and its appreciation in hopefully practical ways. It depends on the utility of distinguishing formal and mathematical entities from those empirical ones perceived in nature and society.