Символ двойной стрелки не является основой для понятия импликации в логике, но двойная стрелка указывает на то, что импликация верна для любого значения. 1
Понятие импликации сформировалось в процессе обособления языка логики и его последующей символизации. 2 Импликация обозначает логическую связь, при которой истинность одного высказывания влечёт истинность другого. 3