1answer.
Ask question
Login Signup
Ask question
All categories
  • English
  • Mathematics
  • Social Studies
  • Business
  • History
  • Health
  • Geography
  • Biology
  • Physics
  • Chemistry
  • Computers and Technology
  • Arts
  • World Languages
  • Spanish
  • French
  • German
  • Advanced Placement (AP)
  • SAT
  • Medicine
  • Law
  • Engineering
BlackZzzverrR [31]
3 years ago
12

Prove the formula that:

Mathematics
1 answer:
azamat3 years ago
5 0

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

You might be interested in
Help me with this equation:tan36=48/14
Zigmanuir [339]

It's difficult to spot what kind of help is needed.

There's no variable in that equation whose value needs to be found.

It appears to be simply a statement, saying that the tangent of 36 degrees
is (3 and 3/7) .

As such, it's false, since the tangent of 36 degrees is roughly 0.7265 .

What exactly is the question ?


5 0
3 years ago
How many minutes are there from 01:33hr to 03:18hr on the same day​
goldfiish [28.3K]
3:18-1:33=188 so I think that’s ur answer
3 0
3 years ago
Read 2 more answers
Inequalities Word Problem:
OLEGan [10]

Answer:

37.5 hours.

Step-by-step explanation:

750-300=450

450/12= 37.5

Liza needs to work 37.5 hours.

To check work:

37.5*12=450

3 0
2 years ago
Larry is a locavore,which means he tries to only eat food produced within 200 miles of his home. Which inequality represents the
katovenus [111]

Answer:

d>200

Step-by-step explanation:

if the distance (d) is greater (>) than 200 then he will not eat it.

Hope this helps <3

5 0
3 years ago
Read 2 more answers
Precalc: Vector word problem:
charle [14.2K]
Bearing in mind that   \bf \begin{cases}&#10;x=rcos(\theta )\\\\&#10;y=rsin(\theta )&#10;\end{cases}

I can make this much from that, check the picture below.

8 0
3 years ago
Other questions:
  • Y=6x-3<br> y=2x-7<br><br> Solve using substitution please
    7·1 answer
  • The longest side of an acute triangle measures 30 inches. The two remaining sides are congruent, but their length is unknown.
    13·1 answer
  • If <img src="https://tex.z-dn.net/?f=A%20%3D%20log_%7B5%7D2" id="TexFormula1" title="A = log_{5}2" alt="A = log_{5}2" align="abs
    15·1 answer
  • Can someone help with question 3
    6·1 answer
  • If you have 5 distinct positive integers and the median is 17 and the mean is 12, what are the 5 numbers? How do you know for su
    13·1 answer
  • How can i do this one ☝️
    8·2 answers
  • How much candy at $1.16 a pound should be mixed with candy worth 86 cent a pound in order to obtain a mixture of 60 pounds of ca
    15·1 answer
  • The vertex formation of a parabola is x = 8(y- 1)2-76.
    10·2 answers
  • Angie packed same-size cubes into a rectangular prism. Image shows a base of cubes 3 units long, 2 units wide, and with a column
    7·2 answers
  • Solve for x.<br><br> 3x/-8 =−21/4<br><br> Enter your answer in the box.
    9·2 answers
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!