2. Determine whether each of the following proposed proof systems are complete. Justify your answers. (a) Axioms: All formulas. Rules: None. (b) Axioms: None. Rules: From nothing, infer any formula (c) Axioms: All formulas of the form ( → $). Rules: Hypothetical Syllogism. (d) Axioms: All formulas of the form ( → w). Rules: Modus Ponens. (e) Axioms: All formulas of the form ( → w). Rules: Hypothetical Syllogism. (f) Axioms: All tautologies. Rules: From any o that is not a tautology, infer any formula.
2. Determine whether each of the following proposed proof systems are complete. Justify your answers. (a) Axioms: All formulas. Rules: None. (b) Axioms: None. Rules: From nothing, infer any formula (c) Axioms: All formulas of the form ( → $). Rules: Hypothetical Syllogism. (d) Axioms: All formulas of the form ( → w). Rules: Modus Ponens. (e) Axioms: All formulas of the form ( → w). Rules: Hypothetical Syllogism. (f) Axioms: All tautologies. Rules: From any o that is not a tautology, infer any formula.
Algebra and Trigonometry (MindTap Course List)
4th Edition
ISBN:9781305071742
Author:James Stewart, Lothar Redlin, Saleem Watson
Publisher:James Stewart, Lothar Redlin, Saleem Watson
Chapter14: Counting And Probability
Section14.CT: Chapter Test
Problem 3CT: An Internet service provider requires its customer to select a password consisting of four letters...
Related questions
Question
I would like some guidance on how to prove completeness/incompleteness for parts c-f.
If I disprove, I'd like to use a counterexample to show that a formula is a tautology and yet not derivable from a set.
If I prove, I'd like to show that for all possible formulas and sets, if the formula is a tautology to the set, then it is also derivable from the set.
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 6 steps with 6 images
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.Recommended textbooks for you
Algebra and Trigonometry (MindTap Course List)
Algebra
ISBN:
9781305071742
Author:
James Stewart, Lothar Redlin, Saleem Watson
Publisher:
Cengage Learning
Algebra and Trigonometry (MindTap Course List)
Algebra
ISBN:
9781305071742
Author:
James Stewart, Lothar Redlin, Saleem Watson
Publisher:
Cengage Learning