Our second rule tells us that one of q or p must always present. That is, if q is out then p is in, and if p is out then q is in. So, at least one of those two must always be in. So, if there is only one presenter, it must be one of q or p.
AAAFebruary 2, 2023
Thank you, I just need a refresher between the difference
- If Johnson presents, then Quijada does not.
-If Quijada does not present, then Pesek does.
If the rule begins with a "IF NOT" Q then P this would indicate that one must always be present (Q or P) because it starts with negating a sufficient?
And if a rule states If J then NOT Q, one does not have to be always present, thus it is from having sufficient not be crossed out, is that correct?
Emil-KunkinFebruary 5, 2023
I think so! I like to think about as follows for in/out games
If X then Not Y
This means that they cannot both be in, so either one or both of them must be out.
If not X then y.
This means that they cannot both be out, so at least one, and maybe both are in.
