This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Infer the new statement Transposition (A->B) (C->D) (A->B) (~D->~C) conclusion #1 (~B -> ~A) (C->D) conclusion #2 Also third conclusion (E->F)(G->~H) therefore (~E v F) (G -> ~H)...
View Full Document
- Fall '07