Tolong jelaskan mengenai Katakan, dari Pengoperasi logik dalam bahasa melayu

Maka kenyataan ¬A bermaksud "hari ini tidak hujan". Kenyataan  pula bermaksud "jika hari ini hujan, maka Ahmad menggunakan payung", atau, dari sudut lain, "hari ini hujan hanya jika Ahmad menggunakan payung ".