Синтаксис темпоральної пропозиційної логіки. Мінімальне пропозиційне числення для темпоральної пропозиційної логіки

Множина формул F певного числення темпоральної пропозиційної логіки будується із пропозиційних зміннних, шо позначають прості модальні висловлювання, пропозиційних зв’язок та часових операторів. Клас аксіом мінімального числення темпоральної пропо-

<< | >>

↑

Источник: Некласична логіка : Навчальний посібник : Курс лекцій із практикумом / Я. С. Гнатюк. - Івано-Франківськ: Симфонія форте,2014.-192 с.. 2014

Еще по теме Синтаксис темпоральної пропозиційної логіки. Мінімальне пропозиційне числення для темпоральної пропозиційної логіки:

- Логика - Общая философия - Социальная философия -