Keharusan dan Kemungkinan

Saat kita mengklaim bahwa sesuatu pasti terjadi, kita berkata: "hujan harus terjadi", "pasti akan terjadi hujan".  Kita juga punya banyak cara untuk menyatakan bahwa, meskipun pada kenyatannya sesuatu tidak terjadi, tapi bisa saja terjadi: "hujan bisa terjadi besok", "bukan tidak mungkin besok akan terjadi hujan". Jika a adalah pernyataan, maka dalam ilmu logika,  klaim bahwa jika a haruslah benar dinyatakan sebagai ☐a. Sedangkan klaim bahwa a bisa saja benar sebagai ♢a. Simbol ☐ dan ♢ disebut modal operator

Leave a Reply

Your email address will not be published. Required fields are marked *