⇒ (знак натякає) означає «логічно випливає це». (Наприклад, «якщо йде дощ, значить, це злива» еквівалентно висловлюванню «іде дощ ⇒ це злива».) Історія цього символу неясна. Copyright cO 2007 за авторами. 21 січня 2007 р
Імплікація — це складене твердження у формі «якщо p, то q». Це позначається p⇒q, що читається як «p означає q». Він є хибним лише тоді, коли p істинне, а q хибне, і є істинним у всіх інших ситуаціях.
У хімії для позначення цього іноді використовується символ стрілки вперед певна реакція протікає тільки в одному прямому напрямку. У образному письмі символ стрілки вперед іноді використовується для позначення змісту. A→B означає, що A передбачає B.
if … then Інші основні логічні оператори: кон’юнкція (∧) означає «і», диз’юнкція (∨) означає «або», умовний (→) означає «якщо … тоді,' і двоумовний (↔) означає 'якщо і тільки якщо');})();(function(){window.jsl.dh('vEDrZs_vH92awbkPh5qIuQ0__34','
Символ ⟺ означає "якщо і тільки якщо (якщо)" або "припускає і мається на увазі" або "є еквівалентом". Це \iff.
Твердження «p випливає з q» означає, що якщо p істинне, то q також має бути істинним. Висловлення pis називається передумовою імплікації, а q — висновком.