Als Bikonditional, Bisubjunktion oder materiale Äquivalenz, manchmal (aber mehrdeutig) einfach nur Äquivalenz bezeichnet man
eine zusammengesetzte Aussage, die genau dann wahr ist, wenn ihre beiden Teilaussagen denselben Wahrheitswert haben, also entweder beide wahr oder beide falsch sind;
die entsprechend definierte Wahrheitswertfunktion;
das sprachliche Zeichen (den Junktor), mit dem diese beiden ...