valid inference

вывод, при котором, если посылки верны, то заключение гарантированно верно. «Верность» может означать как истину, так и ложь. Например, заключение рассуждения от противного состоящее в том, что А ложно, оказывается верным, если обе посылки верны, в частности если В ложно.