Testing for diabetes should be considered for all individuals age 45 and older. have a first-degree relative with diabetes …


Homework 5

Problem 1

The following is an excerpt from a real clinical guideline Please
represent it as a SINGLE well-formed formula WFF in proposition logic

Testing for diabetes should be considered for all individuals age 45 and
older Testing should be considered at a younger age, in individuals who:
are obese
have a first-degree relative with diabetes
are members of a high-risk ethnic population African American, Hispanic,
Native American, Asian
are hypertensive
have an HDL cholesterol level ?40 mg/dl and /or a triglyceride level ?150
mg/dl

Problem 2

If A true {
if B false {
C true
}
else {
Cfalse
}
else {
C false
}

Write a WFF in propositional logic to represent the logical relation
between A, B and C HINT: you may use a truth table

Problem 3

Use truth table to determine which of the following formulas are
tautologies:

C: Congestive Heart Failure
F: Heart Failure

Problem 4 Flow chart is often used to represent clinical algorithms
Please complete the following flow chart base on this well-formed formula
WFF:

HR: High risk of lung cancer
Male: Being of the male gender
Smoker: having smoked for more
than 5 years in their life
SF: lived with a smoker for more than 5 years in their life
FH: having a family history of lung cancer

Please use each decision box to check only one variable

———————–
False

Smoker ?

True

False

Male ?

True

Source:uams.edu

del.icio.us:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... digg:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... spurl:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... newsvine:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... blinklist:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... furl:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... reddit:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... fark:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ... Y!:Testing for diabetes should be considered for all individuals age 45 and older.  have a first-degree relative with diabetes ...