Use any result in page 36 of the cheat sheet (except Rule 9, which is what we are trying to prove) to prove the following: a →g. bg - (a v b) ►g (Hint: you need to use Axiom 9.)

The bg - (a v b) ► g is proved using Axiom 9 and other axioms.

To prove a → g and bg - (a v b) ► g using Axiom 9, we will follow these steps:

1. Start with a → g (assumption).
2. Apply Axiom 1 to a → g: (a → g) → ((a → g) → g) → (a → g).
3. Apply Modus Ponens on (1) and (2): ((a → g) → g) → (a → g).
4. Apply Axiom 1 again to a → g: (a → g) → ((a → g) → g).
5. Apply Modus Ponens on (3) and (4): (a → g) → g.
6. Given bg - (a v b), apply Axiom 9 to get (a v b) → g.
7. Apply Axiom 1 to a v b: (a v b) → ((a v b) → g) → (a v b).
8. Apply Modus Ponens on (6) and (7): ((a v b) → g) → (a v b).
9. Apply Modus Ponens on (5) and (8): (a v b).

To learn more about : Axiom

https://brainly.com/question/1616527

#SPJ11

We can conclude that ¬(a v b) ►g ¬a, and hence, the statement a →g. bg - (a v b) ►g is true.

However, I can still help you outline proof based on your given information.

1. assume that a →g. bg is true. Then, by applying the first part of Axiom 9, we get: (a →g. ¬(a v b)) →g. ¬a.
You want to prove that: a → g, bg - (a ∨ b) ► g.

2. You're provided with a hint to use Axiom 9.

3. Given that we can use any result in page 36 of the cheat sheet, I'll assume we have access to various axioms and rules of inference.

To outline a proof, we could follow these steps:

Step 1: Write down the given information: a → g and bg - (a ∨ b) ► g.

Step 2: Use Axiom 9 in conjunction with other axioms from the cheat sheet to make deductions.
we need to prove that a →g. ¬(a v b) is true. Assume the negation of this statement, which is (a →g. ¬(a v b)) ►g ¬g. a. This can be rewritten as ¬(¬g. a) ►g ¬(¬g. ¬(a v b)), which is equivalent to g. a ►g (a v b).

Step 3: Continue making deductions using rules of inference from the cheat sheet until you reach the desired conclusion, which is (a ∨ b) ► g.
Now, by using the second part of Axiom 9 with g. a as a and ¬(a v b) as b, we get: (g. a →g. ¬¬(a v b)) →g. (g. a →g. (a v b)) →g. ¬g. g. a.

Simplifying the double negation in the first part, we get g. a →g. (a v b). Substituting this in the second part, we get: (g. a →g. (a v b)) →g. ¬g. g. a.

Unfortunately, without knowing the content of your cheat sheet and Axiom 9, I can't provide a more detailed answer. However, I hope the outline above helps guide you in constructing your proof.

Learn more about  Statement:

brainly.com/question/5637611

#SPJ11

In a certain candy store, 3 pounds of candy and 2 pounds of mints cost $10.80, and 1 pound of candy and 3 pounds of mints cost $5.35. What is the cost per pound of the mints?

A bowling ball travels along the lane at a constant rate. The ball travels ⅟₁₀ of the length of the lane in ¼ seconds. At that rate, how many seconds does it take the ball to travel the entire length of the lane?

What is the value of x? 5 + 1/5x = 5

(3x +7x² + 2x + 3) + (x + 1)

Write the ratio 1/4 km 2/3 km in the simplest form

The Stock Market Alexander is a stockbroker. He earns 14% commission each week. Last week,
he sold $4,500 worth of stocks. How much did he make last week in commission? If he averages
that same amount each week, how much did he make in commission in 2011?

An eagle is flying at an altitude of 280 feet. The angle of depression from the eagle to a mouse on the ground is 15º. What is the direct line distance from the eagle to the mouse? Round answer to the nearest thousandth

Solve the equation. 8| n | − 1 = 15
A.n=2
B.n=2 or n=-2
C.n=8 or n=-8
D. No solution

3/4÷5 y multiplica el resultado por 4​

Help Please is the answer zero? I’m not good with algebra

9^6 * 9^3 =


Give the answer in exponent form

The mid point of a given line segment must lie on the given line segment

true or false

The range for the set of data represented by the following box-and-whisker plot is 8.

what are the different methods in finding the LCM​

Which function is a shrink of the exponential growth function shown on the graph?
A.f(x) = 2(3)x
B.f(x) = One-half(3)x
C.f(x) = 2(one-third) Superscript x
D.f(x) = One-half (one-third) Superscript x

A population of 30 sasquatch is released in a wildlife region. The population doubles each year for 4 years. What is the population after 4 years?

The graph shows thar video sales at Bart's are nost often.

a- more than 400
b- less than 300
c- less than 100
d- more than 300​

Jordan bought 3 bags of chips and 4 bars of chocolate and paid $7.25. Diego bought 2 bags of chips and 3 bars of chocolate and paid $5.25. What is the cost of a bag of chips and a bar of chocolate?

find the quotient. -105/15=

Alfredo's bank charges an $8 service fee each month if his account goes below $500. In June, Alfredo had $510 in his account. He withdrew $25 and then did not have any transactions in his account for 6 months. a. Write as an integer the amount by which Alfredo's bank balance changed during the six months.

A population numbers 15,500 and grows at 3.75% per year. Write an exponential model for the growth of this population.

[tex]tan(0)=\frac{5\sqrt{20} }{11}[/tex]

Help me please :)....

The price of a plain bowl plus the price
of
extra ingredients equals $

What is a numerical expression? Give an example.

This is a short answer question.
Describe what the graph and equation look like for each of the parent functions.

Frank wants to eliminate the variable y from
the system below by adding.
(7x - y = 8
12x + 2y = 6
First, he will have to multiply one of the
equations by a number. Which step will enable
him to eliminate y by adding?
Multiply each term in 2x +2y=6 by 3.
Multiply each term in 7x - y = 8 by-3.
ОА
OB
Multiply each term in 2x + 2y = 6 by-3.
Multiply each term in 7x - y = 8 by 3
07:23

can someone answer this for me please and thank you !!

in a week 13 hens laid 78 eggs what is the unit rate for eggs per hen?

Hello
I have to write at least 20 words to say hi.