Give the name of the rule of inference used for each line in the proof, including the lines used to make the inference.
Posted: Mon May 09, 2022 11:19 am
Give the name of the rule of inference used for each line in the
proof, including the lines used to make the inference.
(10 pts.)
1) (R v S) ⊃
~T
1) B ⊃C
2) S
2)
D v B
3) U v
T 3) D ⊃E
U
E v C
4) R v S
_______________
4) (D ⊃E) • (B ⊃C) ________________
5)
~T 5)
E v
C
________________
6) U
_______________
proof, including the lines used to make the inference.
(10 pts.)
1) (R v S) ⊃
~T
1) B ⊃C
2) S
2)
D v B
3) U v
T 3) D ⊃E
U
E v C
4) R v S
_______________
4) (D ⊃E) • (B ⊃C) ________________
5)
~T 5)
E v
C
________________
6) U
_______________