Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

PLEASE COMPLETE PROBLEMS 5, 6, & 7. THANK YOU. Part I. Consider, as we did a few weeks back, a formal language with a one-place

image text in transcribed

PLEASE COMPLETE PROBLEMS 5, 6, & 7. THANK YOU.

Part I. Consider, as we did a few weeks back, a formal language with a one-place operator * and a three-place operator # with the following syntax (or rules of sentence or formula formation). (1) Any Atomic Proposition Letter is a well-formed formula (wff). (2) If is a wff, then so too is *. (3) If , X, and y are all wffs, then so too is #ox4. (4) Nothing else is a wff. Our task here is to construct a rigorous inductive argument for the claim that any formula constructed according to this syntax must have an odd number of proposition letters. This is not terrifically complex, though we need to be very explicit about how we are ordering formulas, what the base case is, what the inductive hypothesis is, and how it is used in the proof. 5. For the inductive case, we show that the hypothesis must hold of an arbitrary formula a, on the assumption of what? That is, state the inductive assumption. (Observe that I've used a Greek alpha here because chi already appears in the syntax of the language.) 6. Suppose, that a is a *-formula. That is, it takes the form **. How many Atomic Sentence letters must a have? Why does our inductive assumption force this number to be odd? 7. Now suppose that a is a #-formula. That is, it takes the form #oxy. Once again, how many Atomic Sentence letters must a have? Why does our inductive assumption force this number to be odd? Part I. Consider, as we did a few weeks back, a formal language with a one-place operator * and a three-place operator # with the following syntax (or rules of sentence or formula formation). (1) Any Atomic Proposition Letter is a well-formed formula (wff). (2) If is a wff, then so too is *. (3) If , X, and y are all wffs, then so too is #ox4. (4) Nothing else is a wff. Our task here is to construct a rigorous inductive argument for the claim that any formula constructed according to this syntax must have an odd number of proposition letters. This is not terrifically complex, though we need to be very explicit about how we are ordering formulas, what the base case is, what the inductive hypothesis is, and how it is used in the proof. 5. For the inductive case, we show that the hypothesis must hold of an arbitrary formula a, on the assumption of what? That is, state the inductive assumption. (Observe that I've used a Greek alpha here because chi already appears in the syntax of the language.) 6. Suppose, that a is a *-formula. That is, it takes the form **. How many Atomic Sentence letters must a have? Why does our inductive assumption force this number to be odd? 7. Now suppose that a is a #-formula. That is, it takes the form #oxy. Once again, how many Atomic Sentence letters must a have? Why does our inductive assumption force this number to be odd

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Intermediate Accounting Volume 1

Authors: Thomas H. Beechy, Joan E. Conrod, Elizabeth Farrell, Ingrid McLeod-Dick, Kayla Tomulka, Romi-Lee Sevel

8th Edition

1260881237, 9781260881233

More Books

Students also viewed these Accounting questions

Question

OUTCOME 2 Describe how a training needs assessment should be done.

Answered: 1 week ago