Or Elimination and Bi-Conditional Introduction

12/23/05

Or Elimination

 



 

Bi-Conditional Introduction