11. Consider the following:
Definition: a is said to be b iff r → s.
Axiom l: r → q
Theorem l: If a is c then q → t.
Theorem 2: t → s
Fill in the missing reasons in the two-column proof that follows:
Theorem: If a is c then a is b.
Proof
Given: a is c
Prove: a is b (i.e., r → s)
conclusions | justifications |
(1) a is c | Given |
(2)t | Assumption for r → s |
(3)q | Axiom l |
(4)t | (a) ______ ? |
(5)s | (b) ______ ? |
(6) ∴ | (c) ______ ? |
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.