When you are done, downicad as pdf and upload to Blackboand

$4.$ You are in a team writing a part of a program that checks for risk factors of heart disease $($smoking$,$ family history, hypertension, cholesterol levels, and age$).$ The program has several boolean variables for the risk factors:

smoker

hin

high$\_$LDL

fam$\_$hx

high$\_$chol

low $HDL$

Also, age is a risk factor.

The program has an if statement:

if $($Isnoker && Ifam$\_$hx && thtn && $!$high$\_$chol && $!$high$\_$LDL && Itow$\_$HDL &A age $655)$

cout $"$No risk factors identified";

A team member suggests rewriting the condition as:

if $(!($smoker && fam$\_$hx && htn && high chol && high$\_$LDL && LOw$\_$HDL && age$>65))$

Do you agree or disagree with their suggestion? Make your own suggestion How would you show your team whether the team member's suggestion is equivalent or your suggestion is

Rules of Inference

For the following questions, number and show all of the numbered steps in your argument with the reasons $($premise$/$ruie of inference$/$equivalence law$)$ next to them.

$5.$ From the premises $p^{{?}^{?}}(pq)sp.$ Show that $q$ is a valid conclusion by providing the argument.

Premises:

$p^{{?}^{?}}(pq)$

$sp$

Conclusion:

a

Reason

$6.$ Given the premises $pq,q1,,$ Conclude not$(pvvp)$

Premises:

$p9$