NEW
Font size
WorksheetsIntro to Logic Quiz
Total questions: 10
Worksheet time: 10mins
Is this a correct application of DS?
~F ∨ ~D, ~~F /∴ ~~D
Yes
No
Is this the correct application of MP:
G ⊃H, H, /∴ G
Yes
No
Is this the correct application if CONJ?
(H ⊃ J), (U ⊃ G) /∴ (U ⊃ G) • (H ⊃ J)
Yes
No
Is the following a correct application of DN:
~~~(~F ⊃ J) : : ~(~F ⊃ J)
Yes
No
Is the following the correct application of DEM?
~(~W ∨ H) : : ~~W • H
Yes
No
Which of the following is the missing link for the following ADD:
______ /∴ G ∨ (J ⊃T)
G
T
J ⊃T
G or (J ⊃T)
Is the following the correct application of CE?
(W • L) ⊃ Y : : ~Y ∨ (W • L)
Yes
No
Find the missing link for the following using MT:
~T, _______ /∴ ~~P
~~P ⊃ ~T
~P ⊃ ~T
~P ⊃ T
P ⊃ ~T
Find the missing link for the following CONTRAP:
(~(F • G) ⊃~O) : : __________
(O⊃ (F • G))
((F • G) ⊃O)
(~O⊃ ~(F • G))
(O⊃ (F ∨ G))
Can you use IP for the following:
W • K, H, H•K /∴ W
NO, the conclusion does not have a ~
YES, the conclusion can be negated in order to apply IP
