Subformula

*

Словосочетания

direct subformula — непосредственная подформула
succedent subformula — сукцедентная подформула
Смотрите также:  Мультитран  Wikipedia(En)  Academic.ru  Reverso 
•