Таблицы истинности, логика, доказательства