В работе исследуются логические высказывания экспертов, записанные в виде логических формул языка первого порядка, совместные с теорией Т. Предлагаются способы задания метрик на таких формулах, мер опровержимости и вероятностей этих формул в классе моделей некоторой теории.
