T4.2: 6 of 9
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.