Процедури встановлення значень формулам в S4

Після того, як було показано, в чому полягає процедура визначення значення терму в конкретній моделі і при кон­кретному приписуванні значень предметним змінним, пе-

¹ I (f) — операція піднесення до квадрата.

при приписуванні якого змінній α формуле А виявиться хибною, то VaA прийме значення «х».

Після аналізу умов істинності і хибності для формул можна перейти до типології формул за семантичними ознаками.

4.