AYT mantık konu anlatımı Test 1

\( p \): "Hava sıcak", \( q \): "Dondurma yerim" sembolleriyle "Hava sıcak değilse dondurma yemem" ifadesinin sembolik gösterimi aşağıdakilerden hangisidir?

A) \( \lnot p \rightarrow \lnot q \)
B) \( p \rightarrow q \)
C) \( q \rightarrow p \)
D) \( \lnot q \rightarrow \lnot p \)