Question: Here's a proof that if A is a well-formed formula with no negations (), then A has an even number of propositional variable symbols. We

Here's a proof that if A is a well-formed formula with no negations (), then A has an even number of propositional variable symbols.

We prove this by induction on A. It is not possible to have A=(B) for a wff B, since A does not contain negations. If A=(BC) for wffs B and C and some connective which is one of ,,,, then by the induction hypothesis, B and C each contain an even number of propositional variable symbols. The number of propositional variable symbols which appear in A is the sum of the numbers for B and C, so it is also even. Explain what the error is in our attempted proof.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Accounting Questions!

Cane Company manufactures two products called Alpha and Beta that sell for $120 and $80, respectively. Each product uses only one type of raw material that costs $6 per pound. The company has the...

Please explain fully. Here's a proof that if A is a well-formed formula with no negations (), then A has an even number of propositional variable symbols. We prove this by induction on A. It is not...

Here's a proof that if AA is a well-formed formula with no negations (), then AA has an even number of propositional variable symbols. We prove this by induction on AA. It is not possible to have...

Here's a proof that if A is a well-formed formula (wff) with no negations (), then A has an even number of propositional variable symbols. We prove this by induction on A. It is not possible to have...

II. Hopefully, you are now in position to construct an inductive proof entirely on your own. Consider a formal language with a one-place operator * and a three-place operator # with the following...

A substitution S is a function from propositional variables to formulas. We apply a substitution to a formula p by simultaneously replacing each variable p in p by the formula S(p). Formally, we...

HW 12, MAT 312/AMS 351: SPRING 2017 Problem 1. (1) Set H = {4a + 6b | a, b Z} Z. Show that H is a subgroup of Z. (2) Is H cyclic? Problem 2. Write down all the cyclic subgroups of the following...

Represent multisets using binary trees. Compare the representations (a), (b) and (c), stating the advantages and drawbacks of each. [Answers need not contain ML code. You may refer to algorithms and...

3 ,,uoh "gram 3 Eww 3 m T mm H a 3 .2 ' m w .,.m.av>v 3. m. @3on we geonwoaoa mm H "with M'nr H E. wads + we A at. ES 0 3.8V WEE 3563 mo wow 23 E m \"9H .3 avgmeMm\" mnemagouom Aggy\"...

re Regular Languages and Finite Automata (a) Let L be the set of all strings over the alphabet {a, b} that end in a and do not contain the substring bb. Describe a deterministic finite automaton...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

Let the test statistic Z have a standard normal distribution when H 0 is true. Give the P-value for each of the following situations. (Round your answers to four decimal places.) (a) H a : > 0 ,...

An LC circuit consists of a 20.0-mH inductor and a 0.500- F capacitor. If the maximum instantaneous current is 0.100 A, what is the greatest potential difference across the capacitor?

1 An extract from Acme Builders Ltd's latest statement of financial position is shown below. During the period shown the government increased interest rates the cost of borrowing money. A competitor...

You are building a coffee table using pieces of wood stored in your garage. You found a square piece to use for the tabletop but you need to trim 8 inches from one side and 4 inches from another to...

The interest in developing know-how, often through foreign sources, has led to the development and uptake of training in HRM through the universities and through foreign companies.

The entry of foreign organizations with more attractive compensation packages and work is also causing problems of retention in state-owned and justprivatized organizations, and there is a need to...

Pay and benefits. Evidence suggests a significant departure from the old centralized mode, particularly for managers, professionals and technicians, with pay for clerical and manual workers still...