Re: SImboli logici

\ped e \ap sono delle estensioni dell’opzione italian di babel; non sono incluse in polyglossia.
Puoi metterti le tue definizioni, però:`
\providecommand*\ap[1]{\textormath{\textsuperscript{#1}}{_{\mathrm{#1}}}}
\providecommand*\ped[1]{\textormath{\textsubscript{#1}}{^{\mathrm{#1}}}}`
In queste definizioni ho usato \providecommand così lo puoi usare sia con pdflatex con l’opzione italian (\ped e \ap già definiti) sia con xelatex e l’opzione italian di polyglossia (\ped a \ap non definiti).

L’errore che ricevi usando _ nel \tag è che questo argomento non viene composto in modo matematico, anche se il \tag si trova dentro l’ambiente equation.