"Eğer sınavı geçersem (p), ailem mutlu olacak (q)." ifadesi sembolik mantıkta p → q şeklinde gösterilir. Bu ifade, öncül gerçekleştiğinde sonucun da gerçekleşeceğini belirtir. Bu parçada açıklanan sembolik ifade aşağıdakilerden hangisine örnektir?
A) Koşullu önerme
B) Kategorik önerme
C) Karşıt önerme
D) Çelişik önerme
E) Bağlaçlı önerme