Bi proposizioren arteko erlazioa, lehenengoa egiazkoa izateak bigarrena ere egiazkoa izatea dakarrena (p → q: baldin p orduan q).