Section 9.6,8.9

Section 9.6,8.9 - Infer the new statement Transposition...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Section 9.6, 8.9 Review: Material eqivalents/biconditionals, must both have same truth values General Rule of replacement: For any statement, we can replace any component of that statement with a logically equivalent component
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

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

Ask a homework question - tutors are online