Week 11 Examples

E1, E2, E3, E4, E5, E6 -- Employee Variables

employee(E1)
employee(E2)
employee(E3)
employee(E4)
employee(E5)
employee(E6)

#There are only six employees
∀ X. employee(X) -> X=E1 v X=E2 v X=E3 v X=E4 v X=E5 v X=E6

#There are 3 Male Employees
∃ X, Y, Z. employee(X) ^ male(X) ^ employee(Y) ^ male(Y) ^ employee(Z) ^ male(Z)  ^ ¬(X=Y)  ^ ¬(X=Z)  ^ ¬(Z=Y)


#There are 3 Female Employees
∃ X, Y, Z. employee(X) ^ female(X) ^ employee(Y) ^ female(Y) ^ employee(Z) ^ female(Z)  ^ ¬(X=Y)  ^ ¬(X=Z)  ^ ¬(Z=Y)

#Enforce Gender Binary
∀ X. (male(X) v female(X)) ^ ¬(male(X) ^ female(X))