Logic1202 - Completeness of axiom # systems 1. 2. 3. Axiom...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Completeness of axiom systems 1. Axiom system U0 2. Completeness of U0 3. Other axiom systems
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Final exam: Monday (12/14) 7pm . No paper assignment: focus on the exam! HW #10 (last HW set due Wednesday, 12/9) 1. There is no ambiguity involved in the formula X1R … & Xn. Show this by proving the following claim by induction: Any formula X, in which the only
Background image of page 2
How to show an axiom system is cor- rect? For correctness, two things must be shown: 1. all axioms are tautologies (or valid for FOL). 2. for each inference rule, if all the premises (above ___) are true, then so is the conclusion (below ___). C Because a proof in an axiom system is of the inductive nature, an inference rule preserves the property of “being a tautology”. There-
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
An axiom system U0 There is no ambiguity about X1& … E Xn without ( ) (why? – HW #10). Smullyan calls it a meta-schema (why?). Inference rules I-IV (call them simply Rules I-IV). U0 is correct. All axioms are tautologies, and for each inference rule, if the
Background image of page 4
U0 is complete. All tautologies are provable in U0. Toward the proof of completeness of U0,
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.

Page1 / 14

Logic1202 - Completeness of axiom # systems 1. 2. 3. Axiom...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online