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

Truth table

A        B      D

---------------------------

1         1       1
1         0        0
0         1        1
0          0       0

______________

a)Frequent urination is a symptom of diabetes

Subject : Frequent urination(F)

predicate: symptom of diabetes(D)

for every(F(x)-->D(x))

b)subject:High cholesterol(H)

    predicate: lead to heart diseases(D)

for every(H(X)-->D(X))