Вопрос 10: Утверждения какого вида являются истинными? "истина -> истина" "истина -> ложь" "ложь -> истина" "ложь -> ложь"

Решение: В логике условное утверждение (импликация) A -> B истинно во всех случаях, кроме одного: когда A истинно, а B ложно. * "истина -> истина" - истинно * "истина -> ложь" - ложно * "ложь -> истина" - истинно * "ложь -> ложь" - истинно Ответ: Утверждения, которые всегда являются истинными: * "истина -> истина" * "ложь -> истина" * "ложь -> ложь"