V Пример. В содержательном плане уже использовавшаяся логическая форма рассуждений ((А→В)&(В→C))→(А→С) может быть проиллюстрирована

В содержательном плане уже использовавшаяся логическая форма рассуждений ((А→В)&(В→C))→(А→С) может быть проиллюстрирована конкретным рассуждением, однозначно приводящим от истинных посылок к истинному заключению: «Раз я мыслю, то существую; если же существую, то могу дать знать об этом другому. Значит, если я мыслю, то могу дать знать об этом другому».

Это значит, что при любой интерпретации параметров в составе этих форм, при которой все выражения первой логической формы принимают значение «истина», значением выражения второй логической формы также является «истина». Рассматриваемое отношение есть отношение логического следования, семантическое определение которого читается: «Из посылок А₁, …, А_n логически следует высказывание В, если не может быть так, что высказывания А₁, …, А_n истинны, а высказывание В ложно».

Подытоживая сказанное в данной теме, отметим, что важнейшими задачами в логике являются выделение и систематизация логических законов, форм правильных умозаключений и т. д., для решения которых создаются особые логические теории, осуществляющиеся в специальных искусственных (формализованных) языках. Последние призваны давать исчерпывающий ответ на вопрос о том, как осуществляются рассуждения; т. е. раскрывать содержание процедуры последовательного пошагового перехода от одних высказываний, принятых в качестве исходных, к другим. Например, это могут быть теории дедуктивных и правдоподобных рассуждений.