Condicional: ¿Por qué si el antecedente es falso y el consecuente verdadero o falso se considera

el condicional como verdadero? Porque el condicional en lógica no expresa ningún tipo de

conexión necesaria entre antecedente y consecuente. Un condicional cuyo antecedente sea falso
no implica la falsedad del enunciado.

Bicondicional: En lógica, el bicondicional expresa la relación de equivalencia entre dos

proposiciones. O de otro modo, p es la condición necesaria y suficiente de q.
Vídeo que explica muy bien esto:
https://www.youtube.com/watch?v=ETkN5UtrcPc