Translate the following inference to logic notation: Patricia is drinking water or James is playing tennis. If Susan writes a letter, then Richard is an electrician. If James plays tennis, then Susan is writing a letter. Richard is an electrician if and only if Patricia is drinking water. Therefore Richard is an electrician.
p or q. r -> s. q -> r. s <-> p. Therefore s.