EF Exercises

🔗

Exercises 2.5 Exercises

🔗

1.

🔗

Consider again the two collections of related conditional statements in Example 2.3.4.

🔗

(a)

🔗

For each of these collections, determine which two of the four related statements are true and which two are false. For the two false statements in each collection, demonstrate it by providing examples where the statements are false.

🔗

(b)

🔗

Give an example of a conditional statement involving mathematical objects for which all four of conditional, contrapositive, converse, and inverse are all true.

🔗

2.

🔗

Suppose

U

is a tautology and

E

is a contradiction.

🔗

(a)

🔗

Show that

P \land U \Leftrightarrow P

for every statement

P .

🔗

(b)

🔗

Show that

P \lor E \Leftrightarrow P

for every statement

P .

🔗

3.

🔗

Consider the equivalence of statements

p \to (q_{1} \lor q_{2}) \Leftrightarrow (p \land \neg q_{1}) \to q_{2} .

🔗

(a)

🔗

Use a truth table to verify the equivalence.

🔗

(b)

🔗

Use propositional calculus to demonstrate the equivalence.

🔗

4.

🔗

Use truth tables to establish the double negation, idempotence, commutativity, associativity, distributivity, and DeMorgan’s Law equivalences presented in Proposition 2.2.1.

🔗

5.

🔗

This exercise asks you to demonstrate that the basic connective “if and only if” can be constructed out of the basic connectives “not”, “and”, and “or.”

🔗