Помогите пожалуйста вывести следующие секвенции: [m]\bar{A}\vdash A\rightarrow B[/m] p.s. Вроде очевидно что если истинно ¬ A, т.е. A = 0, то A → B точно будет истинно при любых B. Но что с этим делать не пойму.