Computer Science · Mathematical Logic
Which of the following denotes the double-negation elimination rule in propositional logic?
Verified Solution4 OptionsUpdated: October 2026👁️1 View
Share:
- 1(α ∨ β) ≡ (β ∨ α)
- 2¬(¬α) ≡ α✓
- 3((α ∧ β) ∧ γ) ≡ (α ∧ (β ∧ γ))
- 4((α ∨ β) ∨ γ) ≡ (α ∨ (β ∨ γ))
Correct answer
¬(¬α) ≡ α
Download Single Question PDF
Save this question and verified answer as a clean study sheet with live clickable link.
👥
Share with Friends & Study Groups
Challenge your peer aspirants on WhatsApp or Telegram to solve this question!
Online Test Series
Start Free Mock Test →Preparing for Computer Science?
Practice full-length mock tests with real exam timers, instant score analysis, and all-India ranking.
Chapter Practice
Practice Mathematical Logic MCQs →Want more practice questions on Mathematical Logic?
Solve complete topic-wise tests with detailed solutions on GkGet.
Related Practice Questions
Recommended practice questions in Computer Science · Mathematical Logic