Answer to Question #283942 in Discrete Mathematics for Leo

Question

The following formulas have been abbreviated based on the common abbreviation rules. Follow the steps below and translate the formulas into good English.

·       Step 1: Re-add the omitted brackets.

·       Step 2: If necessary, convert them into some other logically equivalent formula

so as to make it more readable. Write out the rule(s) you use for conversion.

·       Step 3: Translate the formulas into `good' English. Try to make your translation as brief/understandable as possible. (For instance, `John and Bill are coming' is better than `John is coming and Bill is coming.')

p: John wants to come to the class.

q: John will come to the class today.

r: John audits the class.

s: John is enrolled in the class.

Hint:

`No matter whether John is going or not, I'm going.' is the translation for (j à i) ^ (⌐j à i),

in which j = John is going, i = I'm going.)

Answer 1

for example:

$p\lor q:$ John wants to come to the class or John will come to the class today

$r\land s:$ John audits the class and John is enrolled in the class