Question

A → (A ∨ q) is a __________

(a) Tautology

(b) Contradiction

(c) Contingency

(d) None of the mentioned

This question was addressed to me during an online interview.

My doubt stems from Logics topic in section The Foundation: Logics and Proofs of Discrete Mathematics

Answer 1

The correct answer is (a) Tautology

For explanation I would say: ≡ A → (A ∨ q)

≡ ¬A ∨ (A ∨ q)

≡ (A ∨ ¬A) ∨ q

≡ T ∨ q ≡ T.