Привет! Давай разберёмся с этим вопросом по логике. Нам нужно понять, какая из логических функций является тождественно ложной. Тождественно ложная функция — это такая функция, которая при любых значениях переменных всегда дает значение "ложь".
Чтобы определить это, нужно проанализировать каждое выражение:
¬(A → (B → A)) Здесь выражение в скобках (B → A) означает, что если B истинно, то и A истинно. Если же B ложно, то выражение также истинно (потому что из ложного можно вывести что угодно по правилам логики). Далее, A → (B → A) означает, что если A истинно, то (B → A) тоже должно быть истинно, и наоборот. В итоге это выражение всегда истинно, так как если A истинно, то оно соответствует (B → A), а если A ложно, то (B → A) не имеет значения для результата. Следовательно, отрицание истинного выражения даст нам ложь, но не тождественно, так как если A и B истинны, выражение A → (B → A) тоже истинно, и ¬(A → (B → A)) будет ложным.
¬A → ¬B Это выражение истинно, когда A ложно (тогда из ложного посылает следует любое следствие), либо когда B ложно (так как это требуется для истинности импликации). Это выражение может быть истино или ложно в завис
