I am looking at an example problem in my text:
"Determine whether these system specifications are consistent:
'The diagnostic message is stored in the buffer or it is re-transmitted.'
'The diagnostic message is not stored in the buffer.'
'If the diagnostic message is stored in the buffer, then it is re-transmitted.' "
The commentary the author gives on this problem isn't very helpful. Naturally, I am not quite sure how to approach this problem. Are the first two sentences suppose to be conditions, and we have to determine if the last sentence is consistent with the two conditions? Shouldn't rules of inference be used to determine the consistency of the statements? If so, that would seem quite odd, seeing as the textbook doesn't introduce that topic until a few sections later.