Computers and Technology, 28.05.2020 03:00 dej33

Prove whether each argument is valid or invalid. First find the form of the argument by defining predicates and expressing the hypotheses and the conclusion using the predicates. If the argument is valid, then use the rules of inference to prove that the form is valid. If the argument is invalid, give values for the predicates you defined for a small domain that demonstrate the argument is invalid. The domain for each problem is the set of students in a class. (e) Every student who missed class or got a detention did not get an A. Penelope is a student in the class. Penelope got an A.

Answers: 2

Show answers

Answers

Answer from: goreeefk5205

The given argument ∀x (S(x) ∧ (M(x) V D(x)) --> ¬ A(x)) ∧ S(Penelope) ∧ A(Penelope) -->¬ D(Penelope) is valid.

Explanation:

Solution:

Let us Consider following predicates:

M(x): x missed the class

D(x): x got a detention

S(x): x is a student in the class

A(x): x got an A

Now,

We Express the hypotheses and conclusion as:

The hypotheses: ∀x (S(x) ∧ (M(x) V D(x)) --> A(x)) and S(Penelope) and A(Penelope)

So,

The Conclusion: D(Penelope)

Thus,

The Argument:

∀x (S(x) ∧ (M(x) V D(x)) --> A(x)) ∧ S(Penelope) ∧ A(Penelope) -->D(Penelope)

Then,

The given argument is valid or correct and prove using the inference rule as follows:

Step Premises Reason (Rule used)

1. ∀x (S(x) ∧ (M(x) V D(x)) --> A(x)) Premise

2. S(Penelope) ∧ (M(Penelope)

V D(Penelope)) --> ¬ A(Penelope) Universal instantiation

3. S(Penelope) Premise

4. A(Penelope) Premise

5. ¬[S(Penelope) ∧ (M(Penelope)

V D(Penelope))] 2,4, Modus Tollens

6. ¬S(Penelope) V (¬M(Penelope)

∧ ¬D(Penelope)) De Morgan law

7.¬M(Penelope) ∧ ¬D(Penelope) 3,6,Disjunctive Syllogism

8¬D(Penelope) 7, Simplification

Therefore, the given argument ∀x (S(x) ∧ (M(x) V D(x)) --> ¬ A(x)) ∧ S(Penelope) ∧ A(Penelope) -->¬ D(Penelope) is valid.

Answer from: Quest

You can't send a chat because your rank on is low. when you reach on a higher status like genius, then you will be able to apply for a higher rank. you'll get a message as shown above.

Answer from: Quest

Answerthe systems development lifecycle;

Another question on Computers and Technology

Computers and Technology, 22.06.2019 03:00

Data is processed, stored, and transmitted as a series of 1s and 0s. each 1 or 0 is called a(n) . a series of eight 0s and 1s, called a(n) , represents one characterâ€”a letter, number, or punctuation mark. data becomes when it is presented in a format that people can understand and use. digital signals are represented by two different , such as +5 volts and +.2 volts. digital data can also take the form of light and dark spots etched onto the surface of a cd or the positive and negative orientation of particles on the surface of a hard disk. data consists of numbers that might be used in arithmetic operations. it can be represented digitally using the number system. data is composed of letters, symbols, and numerals that are not used in arithmetic operations. computers represent this type of data using , ebcdic, unicode, or utf-8. data is quantified using terms such as or kibibyte (1024 bytes), and prefixes such as or mebi (1,048,576), and giga or (1,073,741,824). to reduce file size and transmission times, digital data can be compressed. compression provides the means to compress data and reconstitute it into its original state. compression throws away some of the original data during the compression process. compressed files usually have at the end of the file name and are represented with special icons. these files have to be or unzipped before you can view the data they contain.

Answers: 1

Answer

Computers and Technology, 22.06.2019 14:00

What are procedures that keep a data base current

Answers: 1

Answer

Computers and Technology, 23.06.2019 08:30

Based on your knowledge of a good network, describe what you think is a perfect network would be. what kind of information and resources could users share on this network. what would the network administrator do? what kind of communication would be used?

Answers: 1

Answer

Computers and Technology, 23.06.2019 10:00

Hey i just logged on and one of the moderators deleted a bunch of my answers to questions, even though the answers were right and the people it doesn't make sense but if anyone wants to talk about anything just message me lol (this is super random lol)

Answers: 1

Answer

You know the right answer?

Prove whether each argument is valid or invalid. First find the form of the argument by defining pre...

Questions