Issue:Automatic verification of properties of intuitionistic fuzzy connectives via Mathematica