El documento presenta cuatro afirmaciones lógicas (a1-a4) que involucran proposiciones condicionales, bicondicionales y sus implicaciones. También presenta dos expresiones lógicas (b1-b2) que involucran conjunciones, disyunciones, negaciones y sus implicaciones.