course Mth 151
July 15, 8:30
pqr r^p q^p rUp rUq (r^p)->(rUq) [(r^p)->(rUq)]^(q^p) {[(r^p) -> (rUq)] ^ q^p} -> rUp ttt t t t t t t t
ttf f t t t t t t
tft t f t t t f t
tff f f t f t f t
ftt f f t t t f t
ftf f f f t t f t
fft f f t t t f t
fff f f f f t f t
"
&#Good work. Let me know if you have questions. &#
This was received on or about July 16. Responses were composed at that time but the work did not get posted. It is being posted on July 21.