Reply

Skylar June 29, 2020
@Alirenee, happy to help!When we use the terms "sufficient" and "necessary," we are referring to a variable's role in the S->N statement, not in the quantifier statement.
WMBC - some - PC
PC -> P
Here, PC is sufficient and P is necessary in our S->N statement. The variable that this S->N statement has in common with our quantifier is PC, which is the sufficient condition in the S->N statement. This is important because when we are combining an S->N statement with a quantifier statement, we want to make sure that the variable that is sufficient in the S->N statement is the variable that overlaps so that the arrow points away from the quantifier.
WMBC - some - PC -> P
WMBC - some - P
Does that make sense? Please let us know if you have any other questions!