Prove the formula that:
((∃x)(F(x)∧S(x))→(∀y)(M(y)→W(y)))∧((∃y)(M(y)∧¬W(y)))
⇒(∀x)(F(x)→¬S(x))

Answers

Answer 1

Step-by-step explanation:

Given: [∀x(L(x) → A(x))] →

[∀x(L(x) ∧ ∃y(L(y) ∧ H(x, y)) → ∃y(A(y) ∧ H(x, y)))]

To prove, we shall follow a proof by contradiction. We shall include the negation of the conclusion for

arguments. Since with just premise, deriving the conclusion is not possible, we have chosen this proof

technique.

Consider ∀x(L(x) → A(x)) ∧ ¬[∀x(L(x) ∧ ∃y(L(y) ∧ H(x, y)) → ∃y(A(y) ∧ H(x, y)))]

We need to show that the above expression is unsatisfiable (False).

¬[∀x(L(x) ∧ ∃y(L(y) ∧ H(x, y)) → ∃y(A(y) ∧ H(x, y)))]

∃x¬((L(x) ∧ ∃y(L(y) ∧ H(x, y))) → ∃y(A(y) ∧ H(x, y)))

∃x((L(x) ∧ ∃y(L(y) ∧ H(x, y))) ∧ ¬(∃y(A(y) ∧ H(x, y))))

E.I with respect to x,

(L(a) ∧ ∃y(L(y) ∧ H(a, y))) ∧ ¬(∃y(A(y) ∧ H(a, y))), for some a

(L(a) ∧ ∃y(L(y) ∧ H(a, y))) ∧ (∀y(¬A(y) ∧ ¬H(a, y)))

E.I with respect to y,

(L(a) ∧ (L(b) ∧ H(a, b))) ∧ (∀y(¬A(y) ∧ ¬H(a, y))), for some b

U.I with respect to y,

(L(a) ∧ (L(b) ∧ H(a, b)) ∧ (¬A(b) ∧ ¬H(a, b))), for any b

Since P ∧ Q is P, drop L(a) from the above expression.

(L(b) ∧ H(a, b)) ∧ (¬A(b) ∧ ¬H(a, b))), for any b

Apply distribution

(L(b) ∧ H(a, b) ∧ ¬A(b)) ∨ (L(b) ∧ H(a, b) ∧ ¬H(a, b))

Note: P ∧ ¬P is false. P ∧ f alse is P. Therefore, the above expression is simplified to

(L(b) ∧ H(a, b) ∧ ¬A(b))

U.I of ∀x(L(x) → A(x)) gives L(b) → A(b). The contrapositive of this is ¬A(b) → ¬L(b). Replace

¬A(b) in the above expression with ¬L(b). Thus, we get,

(L(b) ∧ H(a, b) ∧ ¬L(b)), this is again false.

This shows that our assumption that the conclusion is false is wrong. Therefore, the conclusion follows

from the premise.

15


Related Questions

Sum of all edges of all shape

Answers

Answer:

Infinient amount buddy. They are infinent amounts of polygons, as a polygon is a shape with more then 3 sides and closed. This means as long as a number is bigger then 3, there will be a shape for it, so infinent sides

Step-by-step explanation:

Help me fast 50 points!!!!!!!!

Answers

Answer:

30

Step-by-step explanation:

There are 14 data points on the plot

The median is the middle value, which is between the 7th and 8th data points

Since it is even, we find the average of the 7th and 8th data points

Add the 7th and 8Th data points values and divide by 2

( 30+30)/2 = 60/2 = 30

The median is 30

Answer:

30

Step-by-step explanation:

Middle numbers are 30 and 30 so you add them and then divide by two:

[tex]\frac{30 + 30}{2}[/tex] = [tex]\frac{60}{2}[/tex]= 30

PLEASE HELP ME I HAVE TO PASS THIS TEST

30 POINTS

Answers

Answer:

Hi, there the answer is

These are the equations with exactly one solution

-5x + 12 = –12x – 12

-5x + 12 = 5x + 12

-5x + 12 = 5x – 5

Hope This Helps :)

Step-by-step explanation:

First degree equations

A first degree equation has the form

ax + b = 0

There are some special cases where the equation can have one, infinitely many or no solution

If , the equation has exactly one solution

If a=0 and b=0 the equation has infinitely many solutions, because it doesn't matter the value of x, it will always be true that 0=0

If a=0 and  the equation has no solution, because it will be equivalent to b=0 and we are saying it's not true. No matter what x is, it's a false statement.

We have been given some equations, we only need to put them in standard form

-5x + 12 = –12x – 12

Rearranging

7x + 24 = 0

It has exactly one solution because a is not zero

.......................

-5x + 12 = 5x + 12

Rearranging

-10x + 0 = 0

It has exactly one solution because a is not zero

.......................

-5x + 12 = 5x – 5

Rearranging

-10x + 17 = 0

It has exactly one solution because a is not zero

.......................

-5x + 12 = -5x – 12

Rearranging

0x + 24 = 0

It has no solution, no matter what the value of x is, it's impossible that 24=0

Answer: These are the equations with exactly one solution

-5x + 12 = –12x – 12

-5x + 12 = 5x + 12

-5x + 12 = 5x – 5

Hi the answer is -5x+12=-12x-12

On a coordinate plane, a polygon has points (negative 3, 4), (3, 4), (3, negative 3), (negative 3, negative 2).
What points are the vertices of this polygon? Select all that apply.
(–3, –2)
(–2, –3)
(3, 4)
(–3, 4)
(3, 3)
(3, –3)

Answers

Answer:

(-3,-2)

(-3,4)

(3,4)

(3,-3)

Step-by-step explanation:

Answer:

cant see nun mind showing it

How many different ways may a set of 4 books be arraged side by side on a shell?

Answers

Answer:

24

Step-by-step explanation:

4 * 3 * 2 * 1 = 24

Please help me with this I need it bad

Answers

Answer:

1

Step-by-step explanation:

The average rate of change is the gradient _

Gradient = Rise / Run = (y2 - y1) / (x2 - x1)

From the table ;

x2 = 4 ; x1 = - 1 ; y2 = 5 ; y1 = 0

Gradient = (y2 - y1) / (x2 - x1) = (5-0) / (4 - - 1) = 5/5 = 1

Pls help ASAP!!!!!!!!!!! I NEED HELP IMMEDIATELY!!!
Jaime had ten posters, but only five could fit on his closet door. How many different ways can he arrange the five posters out of the ten on his closet door?



A. 252
B. 648
C. 6,048
D. 30,240

Answers

Answer:

its c

Step-by-step explanation:

The answer to the question is 6,048

Solve for X in the triangle. Round your answer to the nearest tenth

Answers

Answer:

[tex]\displaystyle x \approx 9.9[/tex]

General Formulas and Concepts:

Pre-Algebra

Order of Operations: BPEMDAS

Brackets Parenthesis Exponents Multiplication Division Addition Subtraction Left to Right  

Equality Properties

Multiplication Property of Equality Division Property of Equality Addition Property of Equality Subtraction Property of Equality

Trigonometry

[Right Triangles Only] SOHCAHTOA[Right Triangles Only] sinθ = opposite over hypotenuse

Step-by-step explanation:

Step 1: Define

Identify variables

Angle θ = 64°

Opposite Leg = x

Hypotenuse = 11

Step 2: Solve for x

Substitute in variables [sine]:                                                                           [tex]\displaystyle sin(64^\circ) = \frac{x}{11}[/tex][Multiplication Property of Equality] Multiply 11 on both sides:                      [tex]\displaystyle 11sin(64^\circ) = x[/tex]Rewrite:                                                                                                             [tex]\displaystyle x = 11sin(64^\circ)[/tex]Evaluate:                                                                                                           [tex]\displaystyle x = 9.88673[/tex]Round:                                                                                                               [tex]\displaystyle x \approx 9.9[/tex]

My mom is making me do prayice and i need the answer for this thanks very much

Answers

4 is an even number

Use implicit differentiation to find an equation of the tangent line to the curve at the given point. y2(y2 − 4) = x2(x2 − 5) (0, −2) (devil's curve)

Answers

Answer:

Step-by-step explanation:

Given that:

[tex]y^2 (y^2-4) = x^2(x^2 -5)[/tex]

at point (0, -2)

[tex]\implies y^4 -4y^2 = x^4 -5x^2[/tex]

Taking the differential from the equation above with respect to x;

[tex]4y^3 \dfrac{dy}{dx}-8y \dfrac{dy}{dx}= 4x^3 -10x[/tex]

Collect like terms

[tex](4y^3 -8y)\dfrac{dy}{dx}= 4x^3 -10x[/tex]

[tex]\dfrac{dy}{dx}= \dfrac{4x^3 -10x}{4y^3-8y}[/tex]

Hence, the slope of the tangent line m can be said to be:

[tex]\dfrac{dy}{dx}= \dfrac{4x^3 -10x}{4y^3-8y}[/tex]

At point (0,-2)

[tex]\dfrac{dy}{dx}= \dfrac{4(0)^3 -10(0)}{4(-2)^3-8-(2)}[/tex]

[tex]\dfrac{dy}{dx}= \dfrac{0 -0}{4(-8)+16}[/tex]

[tex]\dfrac{dy}{dx}= 0[/tex]

m = 0

So, we now have the equation of the tangent line with slope m = 0 moving through the point (x, y) = (0, -2) to be:

(y - y₁ = m(x - x₁))

y + 2 = 0(x - 0)

y + 2 = 0

y = -2

find the mesure of angle b

Answers

Answer:

It's C

Step-by-step explanation:

because there is a 90 degrees sigh behind it and those two angles need to add up to 90

Answer:

31

Step-by-step explanation:

b+59=90

b=90-59

b=31

hope it helps

Bill can hit a bucket of 323 golf balls in 17 hours.
How many golf balls can Bill hit in 23 hours?

Answers

Bill can hit 437 golf balls in 23 hours.

Explanation:

Bill’s unit rate of golf balls per hour is:
323 ÷ 17 = 19

19 golf balls per hour

To find how many golf balls Bill can hit in 23 hours, multiply:
19 • 23 = 437

Therefore, Bill can hit 437 golf balls in 23 hours.

Please, say if my answer is right
If its, glad to help!

-SpaceMarsh
Other Questions
Can someone help me with this? im struggling urgent help please!!!! 44Match each ratio with its simplest form.12:1520:3618:24Pls answer ASAP I need to finish this today and Im stuck I need help i dont know how to do this somebody pls help me with this Explain and answer pls :) What is the function of the stigma?A. To catch pollen grainsB. To produce eggsC. To attract insects Please help!!! Urgent . Abraham Lincolns Point of View of the war? ASAP The Gettysburg Address what make you feel deeply motivated? (5-6 lines) I need help asap pls pls pls... which option is an example of expository writing WILL MARK BRAINILIEST are the angles corresponding, alternate interior, alternate exterior, or constructive interior Groundwater _____. forms when precipitation seeps into the soil exists above the earth's surface is impossible to pollute is not a usable water source for humans hello i give points!Describe how the data is dispersed in a box plot with the following data set: 25, 36, 21, 30, 20, 32, 38, 19, 36, 31, 26, 33, 27, 18, 24. Some functions of cellular organelles are given below.a)Protein synthesisb)Cellular respirationc)Detoxify certain compoundsThe organelles that perform the above functions are given respectively in which option?(a) Mitochondrium,Ribosome, Plastid(b) Ribosome,Mitochondrium, EndoplasmicReticulumO (c) Ribosome, Golgy body,Endoplasmic reticulum(d) Ribosome, Plastid,Endoplasmic reticulum what is the triceratops animal kingdom A pet store has 115 fish that need to be placed into fish tanks. Each tank can hold 6 fish. How many tanks does the store need for the fish? Which development best illustrates why world war I is classified as a total war? 3. Two dice are rolled. Whats the conditional probability that both dice are 5s if its known that the sum of points is divisible by 5? Identify the following:Imagine if dinosaurs still existed, roaming the streets alongside humans.A. Comma spliceB. Fused sentence C. Correct Was foreign policy after World War II focused more on collaboration or competition between the world's superpowers?After the Second World War, only the U.S. and the Soviet Union were considered superpowers. How did their philosophies differ? Did they work together or did they work against one another?