Harmony in logic signifies a balance in introduction and elimination rules for logical connectives. This ensures connectives neither over-promise nor…