Что такое умозаключения, доказательства корректности умозаключению таблицами истинности

умозаключение - это вывод, основанный на рассуждении как я помню, то таблица истинности, это та таблица, показывающаю верное и неверное умозаключение, есть несколько видов этих таблиц: 1)Конъюнкция 2)Дизъюнкция 3)Импликация 4)Эквиваленция и так далее, это если по учебнику 9 класса в интернете введи эти таблицы и зайди на вики педию, там есть эти таблицы, посмотри