... a sentence like "Alan and Chris cannot both go to the park ... conditional into antecedent and consequent, you see that both of them are ... for "A or B" and "A and B" and "A B" as well ... ; Logic, which will cover both propositional and predicate logic, so you can ...