Deductive Logic
Translate the following argument into categorical syllogistic
form (major premise, minor premise, conclusion), symbolize the
argument (using the conventional S, P, M variables), and draw a Venn
diagram to test its validity. [8p]
All bacon burgers are heart attack—inducing foods because
all bacon burgers are high-fat foods, and some heart
attack—inducing foods are not high-fat foods.
For extra credit (up to 4 points): test the validity of the above argument
using one of the other methods covered in class.
Consider the following statement
All newspapers identical to Washington Post are untrustworthy sources.
Assuming that this statement is false, use the Square of Opposition to
determine the truth-values of the corresponding categorical statements
E, I, and O. [2p each]
Problem 3: Using the direct truth-table method, determine the validity of
the following argument [8p: 6p for the truth-table, 2p for the answer]
B ? S / S ? ~ R / R ? (~ B ? ~ S) / ~ S // ~ B