Kokanisa mpe kokesenisa maloba ya bicondition na maloba ya condition.
Liloba ya kondima, eyebani mpe lokola liloba soki-bongo, ezali liloba oyo bosolo ya bosukisi etali bosolo ya premisse. Ekoki kokomama na lolenge "soki p, boye q" oyo elakisami lokola p → q, esika p ezali antecédent/hypothèse mpe q ezali conséquent/conclusion. Liloba ezali solo longola se soki antecedent ezali solo mpe conséquent ezali lokuta. Na maloba mosusu, soki premisse ezali ya solo, alors conclusion esengeli mpe ezala ya solo. Epayi mosusu, liloba ya bicondition ezali bosangani ya maloba mibale ya kondima oyo ekomami na lolenge "p soki mpe kaka soki q," oyo elakisami lokola p ↔ q. Liloba ya boye ezali solo soki maloba nyonso mibale ya composante (p → q mpe q → p) ezali solo to lokuta. Elakisi ete bosolo ya maloba moko esengaka bosolo ya maloba mosusu, mpe vice versa. Na bokuse, atako maloba ya condition etie boyokani ekoki kati na antecedent mpe conséquent, déclaration biconditionnelle elakisi boyokani esengeli mpe ekoki kati na maloba mibale. Déclaration conditionnelle e affirmer que vérité ya déclaration moko e garantir vérité ya déclaration mosusu, alors que déclaration biconditionnelle e affirmer que ba déclarations ezali na valeur ya vérité moko.