Scribd
Upload
11K views

Math Ed 125

This document contains a summary of two different axiom sets and their categorization: 1) The first axiom set defines hives as collections of bees and specifies properties of the relationships between hives and bees. It is categorized as categorical based on a model with 4 hives each containing exactly one of two bees. 2) The second axiom set defines herds as collections of cows and specifies properties of the relationships between herds and cows. It is categorized as not categorical based on a model with two non-isomorphic herds containing different numbers and combinations of cows.

Uploaded by

Jenny Rose Capones
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
11K views

Math Ed 125

This document contains a summary of two different axiom sets and their categorization: 1) The first axiom set defines hives as collections of bees and specifies properties of the relationships between hives and bees. It is categorized as categorical based on a model with 4 hives each containing exactly one of two bees. 2) The second axiom set defines herds as collections of cows and specifies properties of the relationships between herds and cows. It is categorized as not categorical based on a model with two non-isomorphic herds containing different numbers and combinations of cows.

Uploaded by

Jenny Rose Capones
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Capones, Jenny Rose B.

Math Ed 125
BSED MATH 3C September 1, 2022

LESSON 1.3. ACTIVITY 3


1. Consider the following axiom set.
A1. Every hive is a collection of bees.
A2. Any two distinct hives have one and only one bee in common.
A3. Every bee belongs to two and only two hives.
A4. There are exactly four hives.

a. What are the undefined terms in this axiom set?


Undefined terms: -hives, bees

b. Determine whether it is categorical or not by providing model/s.


Hive 1

Hive 3

Hive 2
bee A

bee B
Hive 4

 By A4, we know there are exactly 4 hives, call them Hive 1, Hive 2, Hive 3 and Hive 4.
 By A2, there is exactly one bee that is in Hives 1 and 2, call it bee A.
 By A3, bee A belongs to only two hives (Hives 1 and 2), so it can’t belong to Hives 3 and 4,
thus a new bee assumed, call it bee B.

Therefore the axiom set is categorical for combination of hives 1 and 2 as well as for the
combination of hives 3 and 4 since they are isomorphic to each other.
2. Consider the following axiom set.
P1. Every herd is a collection of cows.
P2. There exist at least two cows.
P3. For any two cows, there exists one and only one herd containing both cows.
P4. For any herd, there exists a cow not in the herd.
P5. For any herd and any cow not in the herd, there exists one and only one other herd
containing the cow and not containing any cow that is in the given herd.

a. What are the primitive terms in this axiom set?


Primitive terms: -herd, cows

c. Illustrate a model. Is it categorical or not? Justify

Herd 1 Herd 2

cow A cow B cow D

cow C

 By P2, we must have at least two cows, call it cow A and cow B.
 By P3, cow A and cow B must be in herd together, we say Herd 1.
 By P4, there must be a cow that is not in Herd 1, call it cow C.
 By P5, there must be another herd (Herd 2), containing the cow that is not in Herd 1, thus it
must be another cow, call it cow D.

Therefore, the axiom set is not a categorical since herd 1 is not isomorphic or does not
have the same properties to herd 2.

You might also like