1 Develop a truth table for the following statements a Bacte

1. Develop a truth table for the following statements: a) Bacteria A and Bacteria B leads to a disease, b) Bacteria A and no Bacteria B leads to no disease, c) Bacteria B and no Bacteria A leads to a disease, d) no Bacteria A and no Bacteria B leads to no disease

2. Using appropriate syntax express the following using predicate logic: a) Frequent urination is a symptom of diabetes, b) High cholesterol levels can lead to heart diseases.

Solution

1.Assume

Bacteria A --- > T ,No Bacteria A  --->F

Bacteria B --- > T ,No Bacteria B ----->F

Disease --------->T,No Disease --F

Truth Table

2.Predicate Logic (PL) is a very well-known formal notation of system logic

a) Frequent urination is a symptom of diabetes

Consider a person x,

urination ---> U(x)

diabetes--->D(x)

Predication logic P(x) = Symptom(U(x),D(x))

b) High cholesterol levels can lead to heart diseases.

consider a person x,

x has Hich cholestrol ---- HC(x)

x has Heart dieses ------- HD(x)

Predicate function P(x)= Lead(HC(x),HD(x))