Верно ли, что слово
(¬𝑎1⊃(𝑎3⊃¬𝑎2))⊃(¬(¬(𝑎3⊃𝑎2)))(¬a1⊃(a3⊃¬a2))⊃(¬(¬(a3⊃a2)))(\neg a_1\supset (a_3\supset \neg a_2))\supset (\neg (\neg(a_3\supset a_2)))
является формулой исчисления высказываний?