 Détecter soki ba déclarations ezali logiquement équivalent.
Te, maloba mibale "Soki p alors q" na "q elingi koloba p" ezali logiquement équivalents te. "Soki p alors q" ezali ndenge moko na déclaration logique "p e impliquer q," elingi koloba que soki p ezali vrai, alors q esengeli ezala vrai. Epayi mosusu, "q elingi koloba p" elakisi ete soki q ezali solo, boye p esengeli kozala solo. Maloba oyo mibale ezali na ba implications ekeseni mpe na yango ekokani na logique te.