О, великие информатики всех времён, помогайте! Доказать закон косвенного доказательства: А=(B^B))=A

Question

О, великие информатики всех времён, помогайте! Доказать закон косвенного доказательства: А=>(B^B))=>A

Александра Гуревич · Accepted Answer

То, что ты тут намалевала, это не закон косвенного доказательства.

Елена Пастухова · Answer

Думаю нужно просто составить таблицу истинности

Ivan Belov · Answer

Где-то одна скобочка потерялась. Но насколько я помню понятия, закон косвенного доказательства можно записать так: (¬A→(B˄¬B))→A. 
 
В доказательстве используется тождество X→Y = ¬X˅Y. 
 
Тогда (¬A→(B˄¬B))→A = ¬(¬¬A˅(B˄¬B))˅A = ¬(A˅0)˅A = ¬A˅A = 1