Reference no: EM132188003

1. Let p and q denote propositions, and let this arrow → mean "implies" and the tilde ~ mean "not." Use a truth table to determine whether or not the compound proposition p → q is logically equivalent to the compound proposition ~q → ~p. Explain why your truth table shows that the two compound propositions are or are not logically equivalent.

2. Suppose the domain of discourse is the group of people in our IST class, and define the following predicates as follows:

F(x): x is friendly

H(x): x is helpful

K(x): x is knowledgeable 

Translate the following English statements into a logical expression with the same meaning.

a. All friendly people in our IST class are helpful.

b. No knowledgeable person in our IST class is helpful.

c. There is someone in our IST class who is neither friendly nor helpful.