Matematikte kullanılan "Her x için, eğer x asal sayı ise x tek sayı değildir" ifadesinin mantıksal sembollerle gösterimi aşağıdakilerden hangisidir?
A) \( \forall x (P(x) \land \lnot T(x)) \)
B) \( \forall x (P(x) \rightarrow T(x)) \)
C) \( \exists x (P(x) \rightarrow \lnot T(x)) \)
D) \( \forall x (P(x) \rightarrow \lnot T(x)) \)