Логика стремится обеспечить выполнение лишь второго условия. Что же касается установления истинности посылок, в типичном случае это, увы, не задача логики.