Мова темпоральної пропозиційної логіки
Мова темпоральної пропозиційної логіки складається із засобів мови класичної логіки висловлювань та доданих до них знаків темпоральних модальностей.
Алфавіт темпоральної пропозиційної логіки:
1.
Пропозиційні змінні для позначення описових висловлювань: р, q, г та інші:
3. Знаки темпоральних модальностей:
P - «було так, що...»',
F — «буде так, що...»',
H - «завжди було так, що...»',
G - «завжди буде так, що...».
4. Технічні знаки, якими є ліва та права дужки, кома, кома з крапкою, двокрапка, тире:
Визначення формули в темпоральній пропозиційній логіці:
1. Будь-яка пропозиційна змінна є формулою;
Використовуючи мову темпоральної пропозиційної логіки, стає можливим формалізувати висловлювання природної мови, до складу яких входять темпоральні модальності. Так, наприклад, висловлювання «Теперішнє завжди було майбутнім» можна формалізувати так; р → HFp. Висловлювання «Теперішнє завжди буде минулим» формалізується таким чином: р → GPp.
4.