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

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