Matematiksel bir teoremde "Eğer bir fonksiyon sürekli ise, o zaman limiti vardır" ifadesi hangi mantıksal bağlaçla temsil edilir?