"Eğer $p$ ise $q$'dur. $q$ doğrudur. O halde $p$ doğrudur."
Bu akıl yürütme biçimi mantıkta nasıl adlandırılır ve geçerliliği nedir?
A) Modus ponens - Geçerlidir
B) Modus tollens - Geçerlidir
C) Affirming the consequent - Geçersizdir
D) Denying the antecedent - Geçersizdir
