7.1ex II
PL Semantics

Multiple Choice: Click on the correct answer and the page will jump forward to the next problem. Use the interpretation from the tutorial.

universe of discourse: George Washington and John Adams
g: George Washington
j: John Adams
Mx: x is Male
Fx: x is the first US president.
Sx: x is the second US president.
Bxy: x was president before y.