Terrorists are neither rational nor empathetic.
(ax) [ tx -> ~(rx v ex) ] or
(ax) [ tx -> (~rx & ~ex) ]
~(ex) [tx & (rx v ex) ]
there aren't any terrorists who are
either rational or empathetic.
nb: the two predicate terms, i. e, being
rational & being empathetic, are to be
employed as one unit that serves the
role of consequent of the conditional;
and
for ( dem as an
equivalence rule can be employed, if
needed, as there are two translations.