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
Veseljchak [2.6K]
3 years ago
8

Formalize the following argument by using the given predicates and then rewriting the argument as a numbered sequence of stateme

nts. Identify each statement as either a premise, or a conclusion that follows according to a rule of inference from previous statements. In that case, state the rule of inference and refer by number to the previous statements that the rule of inference used. Dogs bark at cats. Max is a dog. Moonbeam is a cat. Therefore, Max barks at Moonbeam. Predicates: B(x,y) = "x barks at y". D(x) = "x is a dog". C(x) ="x is a cat". The common domain of discourse is all animals.

Mathematics
1 answer:
sergiy2304 [10]3 years ago
5 0

Answer:

The answer is "\bold{((P_2 \wedge  P_3)\longrightarrow P_1 \longrightarrow P_1  }".

Step-by-step explanation:

Let assuming the following predicates:

\to B(x,y)= \text{x barks at y} \\\\\to D (x)=  \text{x is a dog} \\\\\to C (x)= \text{x is a cat} \\\\

In the given table it calculates the numbered sequence, which is given in the statement and calculates the other details, please find the attached file.

Premise P1 means whether dogs are shouting at cats.  

Premise P2 means Maximum is a dog.  

Premise P3 means that a cat is Moonbeam.  

Unless the assumptions P1, P2, and P3 all are valid, otherwise the conclusion that Maximum starts barking at Moonbeam also is correct.  

By both the law of deduction of Modus Ponens, statement 4 is the interpretation of states 1, 2, and 3. That conclusion can thus be conveyed as follows:

so, the final answer is "\bold{((P_2 \wedge  P_3)\longrightarrow P_1 \longrightarrow P_1  }"

You might be interested in
What's 4.3 rounded to the nearest tenth
kolezko [41]
The answer would be 4.0
4 0
3 years ago
Read 2 more answers
What is the answer to <br> 29=5a+4
DanielleElmas [232]
29 = 5a + 4
25 = 5a
5 = a
5 0
3 years ago
Read 2 more answers
How do I solve this?​
Bad White [126]

Answer: <em>81</em>

Step-by-step explanation:

<em>3^4</em>

<em>3x3x3x3</em>

<em>3x3=9</em>

<em>9x3=27</em>

<em>27x3=</em><em>81</em>

5 0
2 years ago
Read 2 more answers
A growing farming conglomerate increases its water usage at a rate of 10% every year. If it
Elena-2011 [213]

The quantity of water the farming conglomerate would use 17 years from now is 65,708.11.

<h3>What is the amount of water that would be used 17 years from now?</h3>

The formula for calculating the amount of water that would be needed 1 years from now:

FV = P (1 + r)^N

  • FV = Future value
  • P = Present value
  • R = interest rate
  • N = number of years

13000 x 1.1^17 = 65,708.11

To learn more about future value, please check: brainly.com/question/18760477

8 0
2 years ago
Elena has $80 in a savings account. The interest rate is 5% per year and 1 point
Trava [24]
Don’t know just need points
6 0
3 years ago
Other questions:
  • Oscar ran the 100-yard dash in 12.41 seconds. Jesiah ran the 100-yard dash in 11.85 seconds. How many seconds faster was jesiah'
    15·1 answer
  • A quarter is 1/4 dollar. Nanny has 28 quarters. How much money does she have?
    5·2 answers
  • What is 7/25 in decimal form
    14·1 answer
  • What is the radius of a circle if its area is 120 in2? (Round your answer to the nearest hundredth of an inch)
    8·1 answer
  • Simplificar as expressões<br><br> 7√32 - 5√2 + √8<br><br> 2√150 - 4√54 + 6√24
    15·2 answers
  • Help me :((
    5·2 answers
  • Negative three over eight ÷ five over nine
    5·1 answer
  • I didn’t understand<br> I’m freaking out over here can anybody help please
    11·1 answer
  • what are the four different ways to solve a quadratic equation? When would you prefer to use each method?
    7·2 answers
  • Which is the domain of the function f(x)=-5/6[3/5]^*
    13·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!