Note to moderator: Read the second answerline carefully. C. I. Lewis pioneered the use of a “strict” form of this operation denoted by a box. For 10 points each:
[10e] Name this logical operation denoted by a rightward-pointing arrow and often expressed as “P implies Q.” When applied in computer science, “else” clauses may be added to statements of this logical operation.
ANSWER: conditional [or if statements; or if-then-else statements; accept material conditionals or strict conditionals; or word forms like conditionally]
[10m] For the material conditional “P implies Q” to be false, the propositions must take on these truth values. Please identify which proposition is ascribed which truth value in your answer.
ANSWER: P is true AND Q is false [accept P AND not Q; accept answers indicating the first proposition is true AND the second proposition is false]
[10h] “P implies P” is an example of a tautology that can be proven by using this rule of inference twice. This rule states that if P implies Q and P is true, then Q is also true.
ANSWER: modus ponens [or MP; or modus ponendo ponens; or implication elimination; or affirming the antecedent; reject “modus tollens”]
<Imperial B, Philosophy>