logic 3-25 - Pf : BY CONTRADICTION. (See notes.) Def : A...

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

View Full Document Right Arrow Icon
Midterm Coverage: Chapters 6 – 8 (Fitch), 15.1 – 15.6, 16.1 – 16.4, 17.1 – 17.2 Topics: Proofs in propositional logic (2) Set theory: definitions (for example, define subset), followed by proofs using those definitions, induction (similar to homework) Soundness & Completeness: Completeness theorem is an existence proof. What it shows is the following. We have the proof system F T . Then we have the question, as we have just constructed F T : If Γ proves S, then can we prove S from Γ in F T ? Completeness theorem says yes. Def : A set of sentences Γ is satisfiable if there exists a valuation v such that (v)*(Γ) = True. Compactness Theorem : Suppose Γ is such that all finite sets Δ which are subsets of Γ are satisfiable. Then Γ is satisfiable.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Pf : BY CONTRADICTION. (See notes.) Def : A computational problem is a specification of two sets A and U, such that A is a subset of U. We say a computational problem is decidable if there exists a finitely describable computer program (M) or an algorithm such that for all x U, M(x) = {yes if x A, no if x is not in A) Example (See notes.) Theorem : Propositional logic is decidable. Def : Let S Sent PL . |S| = number of symbols in S. Question: How many steps does the truth table test for tautology take as a function of |S|. Answer: Take 2 ^ (1/3) |S| Conjecture: For every n N (natural numbers) there exist sentences S Sent PL such that the shortest proof of S (Say in F T ) is 2 ^ R |S|, R > 0. Claim: (See notes.)...
View Full Document

This note was uploaded on 04/07/2008 for the course PHILOSOPHY 407 taught by Professor Dean during the Spring '08 term at Rutgers.

Ask a homework question - tutors are online