Как называется грамматика в классификации по Хомскому, если она задается правилами общего вида?

Правильный ответ:

• # При каком механизме логического вывода в экспертных системах сначала выдвигается гипотеза, а затем проверяется ее истинность?
• # Если формула F истинна во всех интерпретациях, то она называется:
• # Применением к формуле или терму F называется:
• # Формула находится в предваренной нормальной форме, если:
• # Укажите обозначение логической связки конъюнкции: