Логическая интерпретация временных булевых переменных
-
Параметрические высказывания
Учитывается параметр времени (в той ли иной форме) и указатели (операторы) относительного времени типа Был, Будет.
Табл. 0.1 Примеры временных высказываний
|
Абсолютная шкала |
Относительная шкала |
Примеры |
|
Настоящее время m = 0: = t – m = t = m = 0 Нулевой сдвиг |
||
|
s() = s(t) s(t) |
s() = s(0) s(0) |
В данное время (сейчас, сегодня, сего месяца, сего года и т.п.) существует s: ветер дует, звучит музыка, наступает Новый год, и т.п. |
|
Прошлое время m > 0: = t – m < t = m > 0 Положительный сдвиг |
||
|
s() = s(t – m) |
s() = s(m) |
m единиц времени тому назад Было s: в m-тое прошлое время Было s |
|
s() = s(t – 1) |
s() = s(1)
|
В предыдущий такт Был включен вход S В 1-м предшествующем такте Был … Вчера Было собеседование. Прошлый месяц Был холодным. Прошлый год Был годом Лошади. |
|
s() = s(t – 2) |
s() = s(2)
|
Два такта назад Был включен вход S Во 2-м предшествующем такте Был … Два дня назад Было обследование. Позапрошлый месяц Был август. Позапрошлый год он Был в Париже. |
|
s() = s(t – 3) |
s() = s(3)
|
Три такта назад Был включен вход S В 3-м предшествующем такте Был … Три часа назад Была консультация. Позапозапрошлую неделю Был экзамен Позапозапрошлый год он Был В Италии. |
|
Будущее время m = – m' < 0: = t + m' > t = m' < 0 Отрицательный сдвиг |
||
|
s() = s(t – m) |
s() = s(m) |
через m единиц времени Будет s в m-тое будущее время Будет s |
|
s() = s(t + 1) |
s() = s(–1)
|
В следующем такте Будет включен выход Y В 1-м следующем такте Будет … Завтра Будет выходной. В следующий месяц Будет заработная плата. На следующий год он Будет в Испании. |
|
s() = s(t + 2) |
s() = s(–2)
|
В 2-м последующем такте Будет включен выход Y Послезавтра магазин Будет закрыт. Через два месяца Будет весна. Через два часа Будет семинар. |
|
s() = s(t + 3) |
s() = s(–3)
|
В 3-м последующем такте Будет включен выход Y После-послезавтра Будет выходной. Через три месяца Будет лето. Через три часа Будет пересдача. |