Biconditional Introduction

Introduction to Logic

Biconditional Introduction is a rule of inference that allows us to deduce a biconditional from an implication and its inverse.

Biconditional Introduction
φ ⇒ ψ
ψ ⇒ φ

φ ⇔ ψ