DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

truth preserving inference

contraintes
logiq. умозаключение, сохраняющее истинность (In a truth preserving inference, the probability or degree of truth does not decline in the conclusion relative to the premise. — В умозаключении, сохраняющем истинность, вероятность или степень истинности не уменьшается в заключении по сравнению с посылкой. gitbook.io Alex_Odeychuk)