Conjunction introduction

  • and-introduction

  • and-elimination (conjunction elimination, simplification)

PreviousConjunction eliminationNextCut rule

Last updated

Was this helpful?