Wb&c
Symolization Interlude: Drag the PL sentences (in red) to their correct position on the right of each of the English sentences. Use the definitions of tutorial 6.1: 'a','b','c' are names for "Agnes", "Bob" and "Carol". 'W' stands for "will attend law school" and 'O' stands for "is older than".

 

1. Bob will attend law school.
2. Both Bob and Carol will attend law school.
3. If Agnes is older than Carol, then Bob won't attend law school.
4. Neither Bob nor Agnes will attend law school.
5. If Bob is older than Carol, then Carol is not older than Bob.
bW
Wb&Wc
Wb
Oac>~Wb
~(WbvWa)
~(Wb&Wa)
Obc>~Ocb