Искусственный интеллект

дождь (/) г> 0 -. дождь (/) эквивалентна утверждению «если в какой-либо день в каком-либо месте / идет дождь, то наступит другой день, когда в этом же месте / не будет дождя». Для того чтобы эта формула стала истинной при некотором конкретном значении места /, должен существовать день s, в который дождь начался и затем прошел в этом же месте. Утверждению «если в какой-либо день в каком-либо месте / идет дождь, то он будет идти и в любой другой день в этом же месте /» соответствует формула дождь (/) з Пдождь (/). Для того чтобы эта формула стала истинной при некотором конкретном значении места /, должен существовать день s, в который дождь начался и затем уже никогда не прекращался в этом месте. Приведем примеры формул модальной логики, поясняя на основе правил (9.1), при каких условиях эти формулы будут истинными.