Geçerlilik nedir (Mantıkta) Test 1

Aşağıdaki sembolik mantık önermelerinden hangisi geçerli bir çıkarım kuralını temsil eder?

A) p → q, p ∴ q
B) p → q, q ∴ p
C) p ∨ q, p ∴ ¬q
D) p → q, ¬p ∴ ¬q