Fill in all the justifications to complete this formal proof, following all conventions from the textbook. 1. Ax~Q(x) 2. Ax(Q(x)vR(x)) 3. @n Premise Premise 4. | ~Q(n) 5. | Q(n)vR(n) 6. || Q(n) 7. || # 8. || R(n) 9. || R(n) 10. | R(n) 11. AxR(x) Complete this formal proof, following all conventions from the textbook. Pay attention to the subproofs to see how we solved it. 1. Ax~Q(x) 2.1 3.|| 4.|| 5.|| 6.11 7.1 8. Ax~(Q(x)&R(x)) Premise

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter1: Fundamental Concepts Of Algebra
Section1.1: Real Numbers
Problem 26E
icon
Related questions
Question
Fill in all the justifications to complete this formal proof, following all conventions from the
textbook.
1. Ax~Q(x)
2. Ax(Q(x)vR(x))
3. @n
Premise
Premise
4. | ~Q(n)
5. | Q(n)vR(n)
6. || Q(n)
7. || #
8. || R(n)
9. || R(n)
10. | R(n)
11. AxR(x)
Transcribed Image Text:Fill in all the justifications to complete this formal proof, following all conventions from the textbook. 1. Ax~Q(x) 2. Ax(Q(x)vR(x)) 3. @n Premise Premise 4. | ~Q(n) 5. | Q(n)vR(n) 6. || Q(n) 7. || # 8. || R(n) 9. || R(n) 10. | R(n) 11. AxR(x)
Complete this formal proof, following all conventions from the textbook. Pay attention to the
subproofs to see how we solved it.
1. Ax~Q(x)
2.1
3.||
4.||
5.||
6.11
7.1
8. Ax~(Q(x)&R(x))
Premise
Transcribed Image Text:Complete this formal proof, following all conventions from the textbook. Pay attention to the subproofs to see how we solved it. 1. Ax~Q(x) 2.1 3.|| 4.|| 5.|| 6.11 7.1 8. Ax~(Q(x)&R(x)) Premise
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
College Algebra
College Algebra
Algebra
ISBN:
9781337282291
Author:
Ron Larson
Publisher:
Cengage Learning
Algebra: Structure And Method, Book 1
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell