exercise9a - your semantics and the PROOF of Completeness...

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

View Full Document Right Arrow Icon
CSE541 EXERCISE 9a EXTRA CREDIT (15pts) Problem Develop a 4 valued logic semantics for L {⇒ , ¬} in such a way as to be able to prove a Completeness Theorem for H 2 with respect to your 4-valued semantics. SUBMIT
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: your semantics and the PROOF of Completeness Theorem with comments why the steps are VALID for your semantics in class before or on Thursday, March 18 for EXTRA CREDIT (15pts). 1...
View Full Document

Ask a homework question - tutors are online