Матлогика. Доказать что выражение ((a→b)→a)→a

Для доказательства данного выражения мы можем воспользоваться таблицей истинности. Таблица истинности для ((a→b)→a)→a: a b a → b (a → b) → a ((a → b) → a) → a 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 Как видно из таблицы, выражение истинно для всех возможных значений a и b. Таким образом, мы можем заключить, что ((a→b)→a)→a является тавтологией (высказывание, которое истинно для всех возможных значений своих переменных). Следовательно, мы можем доказать данное выражение.