Bir matematik sorusunda "Eğer bir sayı 4'e bölünüyorsa, o sayı çifttir" ifadesi verilmiştir. Bu ifade hangi tür önermedir?