subject
Computers and Technology, 18.02.2021 21:30 jjgccc

Determine and prove whether an argument in English is valid or invalid. 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.

Example 1:
Every student on the honor roll received an A.
No student who got a detention received an A.
No student who got a detention is on the honor roll.
Example 1
H(x): x is on the honor roll
A(x): x received an A.
D(x): x got a detention.
∀x (H(x) → A(x))
¬∃x (D(x) ∧ A(x))
∴ ¬∃x (D(x) ∧ H(x))
Valid.
1. ∀x (H(x) → A(x)) Hypothesis
2. c is an arbitrary element Element definition
3. H(c) → A(c) Universal instantiation, 1, 2
4. ¬∃x (D(x) ∧ A(x)) Hypothesis
5. ∀x ¬(D(x) ∧ A(x)) De Morgan's law, 4
6. ¬(D(c) ∧ A(c)) Universal instantiation, 2, 5
7. ¬D(c) ∨ ¬A(c) De Morgan's law, 6
8. ¬A(c) ∨ ¬D(c) Commutative law, 7
9. ¬H(c) ∨ A(c) Conditional identity, 3
10. A(c) ∨ ¬H(c) Commutative law, 9
11. ¬D(c) ∨ ¬H(c) Resolution, 8, 10
12. ¬(D(c) ∧ H(c)) De Morgan's law, 11
13. ∀x ¬(D(x) ∧ H(x)) Universal generalization, 2, 12
14. ¬∃x (D(x) ∧ H(x)) De Morgan's law, 13

Example 2:
No student who got an A missed class.
No student who got a detention received an A.
No student who got a detention missed class.
Example 2
M(x): x missed class
A(x): x received an A.
D(x): x got a detention.
¬∃x (A(x) ∧ M(x))
¬∃x (D(x) ∧ A(x))
∴ ¬∃x (D(x) ∧ M(x))
The argument is not valid. Consider a class that consists of a single student named Frank. If M(Frank) = D(Frank) = T and A(Frank) = F, then the hypotheses are all true and the conclusion is false. In other words, Frank got a detention, missed class, and did not get an A.

Question(c): (confirmed)
Every student who missed class got a detention.
Penelope is a student in the class.
Penelope got a detention.
Penelope missed class.
M(x): x missed class
S(x): x is a student in the class.
D(x): x got a detention.

Question(d): (confirmed)
Every student who missed class got a detention.
Penelope is a student in the class.
Penelope did not miss class.
Penelope did not get a detention.
M(x): x missed class
S(x): x is a student in the class.
D(x): x got a detention.

Question(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.
Penelope did not get a detention.
M(x): x missed class
S(x): x is a student in the class.
D(x): x got a detention.
A(x): x received an A.

ansver
Answers: 1

Another question on Computers and Technology

question
Computers and Technology, 21.06.2019 21:00
Analyze the following code. int x = 1; while (0 < x) & & (x < 100) system.out.println(x++); a. the loop runs forever. b. the code does not compile because the loop body is not in the braces. c. the code does not compile because (0 < x) & & (x < 100) is not enclosed in a pair of parentheses. d. the numbers 1 to 99 are displayed. e. the numbers 2 to 100 are displayed.
Answers: 3
question
Computers and Technology, 22.06.2019 02:30
If you turn on the lock alpha button , what happens
Answers: 1
question
Computers and Technology, 22.06.2019 10:00
Create a word problem that involves calculating the volume and surface area of a three-dimensional object. cube: surface area 6 s2 , volume s3
Answers: 3
question
Computers and Technology, 22.06.2019 21:30
Nathan wants to create multiple worksheet containing common formatting styles for his team members. which file extension him to save these worksheets? nathan to create multiple worksheets with common styles. he needs to save them with the extension.
Answers: 1
You know the right answer?
Determine and prove whether an argument in English is valid or invalid. Prove whether each argument...
Questions