Question

Which of the following statements does not describe a valid way of adding new lines to...

Which of the following statements does not describe a valid way of adding new lines to a proof:

Making a substitution using a logical equivalence

Adding the right hand side of a logical implication if the left hand side already appears in the proof

Forming the AND of two lines that already appear

Making a substitution using a logical implication

0 0
Add a comment Improve this question Transcribed image text
Answer #1

(1) Logical equivalent expression can be used to replace each other without changing its meaning. Therefore,Making a substitution using a logical equivalence is a valid way.

(2)implication (A=>B says if A then B ).Therefore ,Adding the right hand side of a logical implication if the left hand side already appears in the proof is a valid way.

(3)Forming the AND of two lines that already appear is a valid way.

(4)Making a substitution using a logical implication is not a valid way.because right hand side of implication depends on its left side.

Add a comment
Know the answer?
Add Answer to:
Which of the following statements does not describe a valid way of adding new lines to...
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for? Ask your own homework help question. Our experts will answer your question WITHIN MINUTES for Free.
Similar Homework Help Questions
  • Question 3 Not yet answered Mariked out of 4,00000 Flag question Please write a natural deduction proof for the following deductive, valid argument. Be sure to construct the natural deduction pro...

    Question 3 Not yet answered Mariked out of 4,00000 Flag question Please write a natural deduction proof for the following deductive, valid argument. Be sure to construct the natural deduction proof in the way indicated in the Hurley textbook, the videos, and lecture material. Please use the typewriter SL symbols; number each derived line with the appropriate Arabic numeral; provide a correct justification on the right-hand side of the proof using the standard abbreviations for the Rules of Inference/Implication and...

  • 14. True or False Aa Aa Use your knowledge of natural deduction in propositional logic and your knowledge of the rules of implication to determine wichof the following statements are true. Place a ch...

    14. True or False Aa Aa Use your knowledge of natural deduction in propositional logic and your knowledge of the rules of implication to determine wichof the following statements are true. Place a check mark in the box beside each true statement. You cannot apply any rules of implication to parts of whole lines The addition (Add) rule always yields a disjunction as its conclusion. Addition (Add) allows you to connect together with a dot the propositions on any previous...

  • 1.)To which of the following does the Fed, as used in the United States, refer? A.The...

    1.)To which of the following does the Fed, as used in the United States, refer? A.The country’s central bank B.The federal government C.The Treasury Department D.The Federal Deposit Insurance Corporation 2.)If a bank’s assets and its liabilities are equal, the bank is said to be _______. A.maximizing its profit B.insolvent C.fully utilizing its resources D.in balance 3.)The possibility that borrowers will not be able to repay their loans on time or in full is known as ________ risk. A.liquidity B.credit...

  • Which lines in the following are not valid? #1 please Put an 'x' at the end...

    Which lines in the following are not valid? #1 please Put an 'x' at the end of the proof line which has the error and write the number of the error made listed on the Restrictions on Quantifier Inference Rules Which lines in the following are not valid? Explain why in each case (1) 1. (9[(Нх Кх) — Мх] 2. (ЭхХ Нх- Кх) 3. Нх- Кх 2 EI 4. Mx 1,3 MP 5. (Эх)Мх 4 EG 1. (х(Мx D Gx)...

  • Which of the following statements about the equilibrium is false? Adding more H_2(g) increases the equilibrium...

    Which of the following statements about the equilibrium is false? Adding more H_2(g) increases the equilibrium constant. Removing HI as it forms forces the equilibrium to the right. If the pressure on the system is increased by changing the volume, the left side favored. If the system is heated, the right side is favored. This is a heterogeneous equilibrium. The proper K_eq expression is: [H_2][I_2]/[HI] squareroot ([H_2][I_2])/[HI]^2 [HI]/squareroot ([H_2]) [HI]^2/[H_2][I_2] [HI]^2/[H_2]

  • Which of the following statements is a valid criticism of nonstatistical sampling? ​Nonstatistical sampling does not...

    Which of the following statements is a valid criticism of nonstatistical sampling? ​Nonstatistical sampling does not differ substantially from statistical sampling methods. ​The cost of performing random selection or testing often exceeds the benefits. ​Conclusions may be drawn in more precise ways when using statistical sampling methods. ​Many audit tests, such as footing of journals, must be performed outside a statistical sampling context.

  • 1. Which of the following does NOT describe financial accounting? financial statements for the bank Balance...

    1. Which of the following does NOT describe financial accounting? financial statements for the bank Balance sheet used only for internal decision making SEC filings 2. Which of the following does NOT describe managerial accounting? used for the SEC filings various formats are used not generally released to the public used primarily for internal making 3. Which of the following is NOT an example of indirect materials? lubricants wood in a desk screws nails 4. Which of the following is...

  • Which of the following statements is not a valid point for using technology on a virtual...

    Which of the following statements is not a valid point for using technology on a virtual project? Select one a. Correlating technology selection to communication and collaboration method and practices Ob. Utlizing the technology eficienty to improve the leamis performance c. Understanding how technology can be leveraged to improve that communication and collaboration d. Aligning technology to organizational and project leadership practices Which of the following does the communication type called Collaboralive involve? Select one O b. When team members...

  • which of the following statements does not accurately describe schedule M-3? A. part 1 of schedule...

    which of the following statements does not accurately describe schedule M-3? A. part 1 of schedule M-3 reconciles items of expenses or deduction. B. The purpose of Schedule M- 3 is to make differences between book and accounting income C. The scedule provides a more detailed analysis of the items making up schedule M-1 .D Part ll of scheules M - 3 reconciles items of income or loss

  • I am confused on how to read valid lines from the input file. I am also...

    I am confused on how to read valid lines from the input file. I am also confused on how to count the averages from these valid input lines to keep running the total from these valid lines. If you could show an example of an input and output file that would be amazing as well. Purpose        Learn how to use Java input/output. Due Date       Per the Course at a Glance. Can be resubmitted. Submissions           In this order: printed copy of...

ADVERTISEMENT
Free Homework Help App
Download From Google Play
Scan Your Homework
to Get Instant Free Answers
Need Online Homework Help?
Ask a Question
Get Answers For Free
Most questions answered within 3 hours.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT