$000-30366\mathrm{.}202430$: HW$5|$

IntroLogicHW$5!.$pdf

wnloads$/$IntroLogicHW$5!.$pdf

A$||$ Ask Copilot

$1$

of $4$

Homework $5$

Translate the following statements into the symbolic language of propositional logic, using variables to stand for simple propositions. $($For example, the statement "Oakland lowers tuition" can be represented as O $,$ and the statement "University of Michigan doesn't increase enrollment" can be represented as $$ M$.)$

Since $-($the dot$/$conjunction$),$ sup $($the horseshoe$/$material conditional$),$ and $-=($the triplebar$/$biconditional$)$ aren't on most keyboards, feel free to use the following substitutions for those operators:

sup$>,-==$

Oakland hires new faculty only if neither University of Michigan nor Michigan State increases student aid.

Wayne State offers new scholarships if and only if either University of Michigan reduces class size or Grand Valley State does not hire new faculty.

Both Wayne State and Oakland do not raise tuition if University of Detroit Mercy increases enrollment.

If Wayne State's hiring new faculty implies that Oakland increases enrollment, then Michigan State raises tuition if Grand Valley State expands course offerings.

Search