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
What is $184.94 if the shipping 5%
pychu [463]
The anwser is $924.70
4 0
3 years ago
Read 2 more answers
The base of a 13 foot ladder is 5 feet away from the wall. How far up the wall does the ladder reach? A)8 feet B)10 feet C)12 fe
Lisa [10]

You are solving for the height. Use the formula:

c² - b² = a²      in which c = hypotenuse

(13)² - (5)² = a²

Simplify

169 - 25 = a²

144 = a²

Isolate the a. Root both sides

√144 = √a²

a = √144

a = √(12 x 12)

a = 12

C) 12 feet is your answer

~

3 0
3 years ago
Read 2 more answers
For what temperature if any, does F=3C?
Vladimir [108]
3 celsius is equal to 37.4 Ferenheight
7 0
3 years ago
A student was assigned to read a book over 5 days. On the first day, she read 25 pages. On the second day she read 45 pages, on
nignag [31]

Answer:

Hint : They are a all common factors of 5

Step-by-step explanation:

You divide each of them by 5 then add them all together then you will get your answer.

Good luck!

7 0
2 years ago
Please help I need to get this done really bad
kupik [55]

Answer:

1 . 4 (x + 6)

2. 9 x × (x+9)

3. 3x× (x-6)

4. 225+75x

3 0
2 years ago
Other questions:
  • Share £50 in the ratio 4:1
    14·1 answer
  • a living room wall is 13 feet long. How far from the corner would you hace to the edge of a 3ft 8in shelf for it to be centered
    5·1 answer
  • For every 1 girl in Mr hegarty’s class there are 2 boys. What is the ratio of girls to boys in the class? Give the answer in sim
    14·2 answers
  • Solve the given initial-value problem. (x + y)^2 dx + (2xy + x^2 - 8) dy = 0, y(1) = 1
    6·1 answer
  • Can you give me the Answers for Estimating 92 × 68
    14·2 answers
  • A pair of shoes was priced $35, but were on sale for $25 . What is the percent of discount?
    15·2 answers
  • Plz help simplify 8/10​
    12·2 answers
  • Sarah has 600 and dimes in her piggy bank which totals to $123.75 how many quarters and dimes does she have
    5·2 answers
  • Which decimals are greater than the one shown in this diagram? HALP
    15·2 answers
  • One button is chosen at random from a bag of buttons.
    15·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!