130 descrete structures

130 descrete structures - a=>c mp used formulas 3 and 1...

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

View Full Document Right Arrow Icon
b => (a =>) c),¬c, b+ ` ¬a b=>(a=>c) 1 st premise ¬c 2 nd premise b 3 rd premise
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: a=>c mp used formulas 3 and 1 (a implies c) ¬a QED...
View Full Document

This note was uploaded on 03/04/2012 for the course CS 130 taught by Professor Yang during the Spring '08 term at Cal Poly Pomona.

Ask a homework question - tutors are online