Help with Or Elimination and Bi-conditional Introduction

Or Elimination and Bi-Conditional Introduction

12/23/05

Or Elimination

Bi-Conditional Introduction