La bicondicional es la proposición compuesta que resulta de conectar dos proposiciones, "p" y "q", mediante el conectivo formula_4.