|
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.
To say "at least one" in SL, just use wedge: (AvQ)vY
Next, how would we symbolize the following? At least two of the three are provinces. The idea is that of the three, EITHER two are provinces OR all three are provinces. Which of the following express this idea? |