Una proposición compuesta, de la forma "p si y sólo si q". Equivale a la conjunción de las dos proposiciones condicionales: "si p entonces q" y "si q entonces p". Se denota con p<-->q.
Una proposición compuesta, de la forma "p si y sólo si q". Equivale a la conjunción de las dos proposiciones condicionales: "si p entonces q" y "si q entonces p". Se denota con p<-->q.