Propositions Intermediate Quiz 2

1. Contraposition yields a perfectly valid, logically equivalent immediate inference for which statement form?

2. Contraposition results in a completely invalid immediate inference when applied directly to which statement form?

3. Which immediate operation provides a valid equivalent statement for all four categorical forms without exception?

4. Under the strict Boolean interpretation, which traditional square relationship is rejected as invalid?

5. What vocabulary error occurs under Boolean rules if an argument derives a particular conclusion from universal premises?

6. What term defines a compound proposition that functions as a negation of a conjunction statement?

7. What term defines a compound proposition that functions as a negation of a disjunction statement?

8. Which specific logical operator yields a true output if and only if its two sub-propositions differ in truth value?

9. Which specific logical operator yields a true output if at least one sub-proposition is true, including both?

10. What property describes a statement structure whose main operator truth value is fixed by shifting input variables?