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

Например, пусть мы знаем, что "У Маши в кармане лежит два фрукта" - это истина. Как вы думаете, истинно или ложно такое утверждение: "У Маши пустые карманы"? Правильно, оно  ложное. Но как вы догадались?

У Маши есть карманы (один или много). В каком-то кармане лежит два фрукта. Это значит, что этот карман не пустой. Но если один карман не пустой, то мы не можем сказать, что у Маши пустые карманы. А значит это ложь.