204

Вы можете ввести другие операторы для различных взаимосвязей, наподобие ◊ р, что будет означать «это, возможно, р». Это грубо равняется утверждению «некоторые М являются Р», мы видели его среди Аристотелевых силлогизмов.