E is the set of employees, F is the set of female employees, and L is the set of employees earning less than 55,000:
∀ χ ∈, if F(χ), then L(χ).
If the implication is true, what can you deduce the following sets:
1. F, the set of female employees?
2. L, the set of employees earning less than 55,000?
3. ¯F, the set of non-female employees?
4. ¯L, the set of employees earning at least 55,000?
If you could add a new employee, what gender and salary combination would you pick in order to falsify the implication?
The implication says in all employees, if they are female, then they earn less than 55,000.
1. Therefore, in the first set, we can deduce that female employees earn less than 55,000.
2. The set of employees earning less than 55,000 must contain female employees, but also they there could be male employees.
3. For non-female employees, they could either earn more or less than 55,000.
4. In the set of employees earning at least 55,000, there could only be male employees or no employees because the implication concludes that female employees earn less than 55,000, and therefore, there would be no female employees in this set.
If I could add a new employee, I would add a female who earns at least 55,000 in order to falsify the implication. Since this is a universal claim, to falsify this claim, we need to find at least one counter example, which is the female employee who earns at least 55,000. She is female, but she does not earn less than 55,000, and the statement is false.
The universally-quantified implication previously could be written:
∀ χ ∈, F(χ) => L(χ).
Reverse the direction, and you can have the inverse of the original implication.
∀ χ ∈, L(χ) => F(χ).
What connection is there between the truth of an implication and its converse?
The converse of the implication states that in all employees, if they earn less than 55,000, then they are female. By comparing the implication and its converse, it can be known that they both mean that:
F => L If they are female, they earn less than 55,000.
L => F If they earn less than 55,000, then they are female.
F ≠> ¯L If they are female, they do not earn at least 55,000, which means they do not earn more than 55,000.
¯L ≠> F If they earn at least 55,000, then they are not female, because if they are female, then they earn less than 55,000.
¯F => ¯L If they are male, they earn at least 55,000 because the employees who earn less than 55,000 are female.
¯L=> ¯F If they earn at least 55,000, then they are male.