У класічнай матэматычнай логіцы зыходзяць з панятку матэрыяльнай імплікацыі, якая вызначаецца з дапамогай функцыі імавернасці (ісціннасці): імплікацыя ілжывая ў выпадку вернасці антэцэдэнта і ілжывасці кансеквента і верная ва ўсіх іншых выпадках.