Discrete Mathematics, Mathematics, Mathematics Education, Study Guide, Computer Science.
necessary inference or the science of reasoning. Consider the following two arguments. They have very different content but their logical form is the same. To help make this clear, we use letters like p, q, and r to represent component sentences; we let the expression “not p” refer to the sentence