Другая, не менее важная задача логики – обнаружение законов мышления, которые были бы истинными всегда и при любых 【10】 обстоятельствах, то есть логически истинными. Логически истинными называются высказывания, истинность которых гарантирована их логической формой. Сами же логические формы таких высказываний называют логическими законами.