Consider the following argument. If this computer program is correct, then it produces the correct output when run with the test data my teacher gave me. This computer program produces the correct output when run with the test data my teacher gave me. ∴ This computer program is correct. Let p = "this computer program is correct," and let q = "this computer program produces the correct output when run with the test data my teacher gave me." Is the argument valid or invalid? a) form: q → p valid, generalization p ∴ q
b) form: q ∧ p valid, specialization p ∴ q
c) form: p → q invalid, converse error q ∴ p
d) form: p ∨ q invalid, inverse error q ∴ p
e) form: q ∧ p invalid, converse error p ∴ q