eolas/neuron/9c5035d3-e1c9-40cd-a4b3-9d550f2b7fb6/Biconditional_Introduction.md

tags
logic

Biconditional introduction

The biconditional means if P is the case, Q must be the case and if Q is the case, P must be the case. Thus to introduce this operator we must demonstrate both that Q follows from P and that P follows from Q. We do this via two sub-proofs.