Dodana logična implikacija ( => ).