Section 9.6,8.9

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

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

{[ snackBarMessage ]}

Ask a homework question - tutors are online