Даны две логические формулы:<br />¬ (А &В⟶А) и A ⟶ A∨B<br />Эти формулы обе общезначимы;, обе противоречивы;, первая общезначима, вторая противоречива;, первая противоречива, вторая общезначима;, первая формула противоречива, вторая является произвольной;, первая формула является произвольной, вторая общезначима;, правильного ответа нет.