Алгебра логики: что такое импликация и как она используется