Em uma sequência de três proposições lógicas, apresentadas por M, N e os devidos conectivos lógicos, pode-se afirmar que elas são consideradas uma proposição bicondicional, uma disjunção inclusiva e uma condicional, se apresentarem-se no seguinte formato, respectivamente: