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]
2 years ago
12

Prove the formula that:

Mathematics
1 answer:
azamat2 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 the probability that a standard number cube will show a two, five, or six when it is rolled?
tia_tia [17]

Answer:

p=0.5

Step-by-step explanation:

A standard die has six numbers (1 through 6). That means there is a 1/6 probability of rolling any one number. There is a 3/6 probability of rolling one of the selected numbers which simplifies to 1/2 or 0.50

6 0
2 years ago
Ten skeins of yarn will make 4 scarves. how many scarves can be made with 25 skeins of yarn?
ladessa [460]
If 10 skeins makes 4 scarves than if you multiply the skeins by 2 (20 skeins) it would make 8 scarves. There for dividing the skeins by 2 (5 skeins) it would make 2 scarves. So adding 20 skeins and 5 skeins you would get 10 scarves total
8 0
3 years ago
|-3 + 15| what is the sum (answer) ? I think it is 12 but my friend thinks it is 18. Who is right?
Aliun [14]
I do believe it is 12 as well considering the fact that it's negative three and not positive. If it was a positive three then maybe it would be 18.
4 0
3 years ago
Read 2 more answers
Which graph represents a proportional relationship?
Vadim26 [7]

Answer:

The one shown in the photo

Step-by-step explanation:

A proportional relationship is one in which the relationship increases steadily, which looks like a straight line when graphed. Also, the line should pass through the <em>origin</em>, which is the point (0, 0) on a graph.

The graph shown increases steadily (it's a straight line), and passes through the origin (point 0,0) as well. So, it's proportional. Hopefully that's helpful! :)

7 0
2 years ago
5. Complete the calculations so that each shows the correct sum or difference.​
kicyunya [14]

Answer:

hope it helps u..........

4 0
2 years ago
Read 2 more answers
Other questions:
  • Charlene is wrapping the box below. How much wrapping paper will she need? 7in x 9in x 5in,?
    13·2 answers
  • A type of reasoning that uses previously proven or accepted properties to reach conclusion is...
    7·1 answer
  • I'm Stuck Please Help
    10·2 answers
  • Find the 18th term of the arithmetic sequence whose common difference is d = 2 and whose first term is a, =5.
    10·1 answer
  • Evaluate the given algebra expression for x=3and y=3.x2y2
    9·1 answer
  • The Key Club sells hot chocolate and coffee at the varsity soccer games. In one game, they sold $200 worth of hot drinks. They n
    11·2 answers
  • PLS HELP ME ON THIS QUESTION I WILL MARK YOU AS BRAINLIEST IF YOU KNOW THE ANSWER!!
    12·1 answer
  • Can anyone please help me with these
    7·1 answer
  • Masha bought 24 snickers, 56 kit kats and 96 twixies to make identical goody bags with the same number of snickers twixies and k
    9·1 answer
  • Perform the indicated operation.<br> (8-15i)+(-3+2i)
    5·2 answers
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!