T4.2: 6 of 9

Counting

We can use our connectives to quantify in some rudimentary ways.

We will need a symbolization key.

Use 'A' for "Alberta is a province", 'Q' for "Quebec is a province" and 'Y' for "The Yukon is a province".

Now, if we restrict ourselves to the three named places, Alberta, Quebec, and the Yukon, it is possible to count in a basic way. For example, it's fairly easy to symbolize the following:

At least one of the three is a province.

Think about this one for a moment before reading on.

continue...