p: "x > 5" ve q: "x² > 25" önermeleri veriliyor. "x > 5 ise x² > 25'dir" önermesinin sembolik ifadesi hangisidir?