Computers and Technology, 20.06.2020 20:57 needhelpwithHW10
Proving arguments are valid using rules of inference
Use the rules of inference and the laws of propositional logic to prove that each argument is valid. Number each line of your argument and label each line of your proof "Hypothesis" or with the name of the rule of inference used at that line. If a rule of inference is used, then include the numbers of the previous lines to which the rule is applied.
Example 1:
p → q
q → r
¬r
∴ ¬p
Solution to example 1
1. q → r Hypothesis
2. p → q Hypothesis
3. p → r Hypothetical syllogism, 1, 2
4. ¬r Hypothesis
5. ¬p Modus tollens, 3, 4.
Example 2:
(p ∧ q) → r
¬r
q
∴ ¬p
Solution to example 2
1. (p ∧ q) → r Hypothesis
2. ¬r Hypothesis
3. ¬(p ∧ q) Modus tollens, 1, 2.
4. ¬p ∨ ¬q De Morgan's law, 3
5. q Hypothesis
6. ¬¬q Double negation law, 5.
7. ¬q ∨ ¬p Commutative law, 4
8. ¬p Disjunctive syllogism, 6, 7.
1. p → (q ∧ r)
¬q
∴ ¬p
2. p ∨ q
¬p ∨ r
¬q
∴ r
Answers: 3
Computers and Technology, 22.06.2019 12:30
Some of the first computer games were created in the early 1970s by college students experimenting after hours to see what the were capable of doing.
Answers: 3
Computers and Technology, 23.06.2019 06:20
What is a point-in-time measurement of system performance?
Answers: 3
Computers and Technology, 24.06.2019 01:00
Verify each identity[tex] \frac{csc}{cot \: x \: + \: tan \: x} = cos \: x[/tex]
Answers: 1
Computers and Technology, 24.06.2019 21:40
Clunker motors inc. is recalling all vehicles in its extravagant line from model years 1999—2002 as well as all vehicles in its guzzler line from model years 2004—2007. a boolean variable named recalled has been declared. given a variable modelyear and a string modelname, write a statement that assigns true to recalled if the values of modelyear and modelname match the recall details and assigns false otherwise.
Answers: 2
Proving arguments are valid using rules of inference
Use the rules of inference and the laws of pro...
Mathematics, 03.03.2021 20:30
English, 03.03.2021 20:30
Mathematics, 03.03.2021 20:30
Biology, 03.03.2021 20:30
Mathematics, 03.03.2021 20:30
Mathematics, 03.03.2021 20:30
Mathematics, 03.03.2021 20:30
Mathematics, 03.03.2021 20:30
English, 03.03.2021 20:30
Mathematics, 03.03.2021 20:30