<Previous Exercise>
<Home>
<Next Exercise>
Page last updated:
3. Construct a truth-tree to determine whether the argument is deductively valid because of its sentential form.
S
G
G
M
____________
M
~S