Negating Logic Statements: How to Say “Not”

Last time, I started a series exploring aspects of the translation of English statements to or from formal logical terms and symbols, which will lead to discussions of converse and contrapositive, and eventually of logical arguments. We’ve looked at how to translate concepts of “or” (disjunction) and “if” (conditional); but our goals will also require …

Negating Logic Statements: How to Say “Not” Read More »

Translating Logic Statements

The next few posts will examine aspects of logic, both symbolic logic, and how we talk about theorems in general. We’ll start here with issues in interpreting the wording of logic, and some of the semantic difficulties we face. English isn’t logical. (Well, I suppose humans in general aren’t logical.) Which kind of OR? We’ll …

Translating Logic Statements Read More »

Counting Kings

(A new problem of the week) Having discussed counting earlier this week, let’s take a look at a different kind of counting. The subject of combinatorics (the study of counting) arises in many guises: probability, sets, geometry. Here, we look at a relatively basic type of problem that involves the same sort of organized thinking …

Counting Kings Read More »

Venn Diagrams: Language Issues

(A new question of the week) I mentioned that we have had a number of questions related to Venn diagrams recently. Here I would like to show a couple of these, from a Philippine student. Even fluent English speakers can get confused in these problems; observing how a student new to the language misinterprets details …

Venn Diagrams: Language Issues Read More »

Venn Diagrams: Over the Top

(An archive question of the week) Last time we looked at various 2- and 3-set Venn diagram problems (and alternative methods). One discussion I found while collecting them deserved to be set aside for special examination, if only because it would scare the beginner. A mixture of tools will make the work easier. Here it …

Venn Diagrams: Over the Top Read More »

Properties as Axioms or Theorems

To close out this series that started with postulates and theorems in geometry, let’s look at different kinds of facts elsewhere in math. What is commonly called a postulate in geometry is typically an axiom in other fields (or in more modern geometry); but what about those things we call properties (in, say, algebra)?