Analyze the proofing below: 1. (x) (Fx V Gx) 2. ~ (x) Fx :. (3x) Gx 3. asm: ~ (3x) Gx 4. (x) ~ Gx 5. (3x) ~ Fx 6. Fa 7. (Fa v Ga) 8. Gx 9. Ga 10. (3x) Gx {8 and 9 contradicts} Match the lines with what rules it used. Prompts 4. (x)-GX 6. -Fa 7. (Fa v Ga) 9.Ga {from 3} {from 2} {from 5} {from 1} {from 4} {from 7 and 6} Submitted Answers Reverse Squiggle Drop Existential Drop Universal Disjunctive Syllogism (DS)

MATLAB: An Introduction with Applications
6th Edition
ISBN:9781119256830
Author:Amos Gilat
Publisher:Amos Gilat
Chapter1: Starting With Matlab
Section: Chapter Questions
Problem 1P
icon
Related questions
Question
Analyze the proofing below:
1. (x) (Fx v Gx)
2. ~ (x) Fx
.. (3x) Gx
3. asm: ~ (3x) Gx
4. (x) ~ Gx
5. (3x) ~ Fx
6. ~ Fa
{from 5}
7. (Fa v Ga)
{from 1}
8. ~ Gx
{from 4}
9. Ga
{from 7 and 6}
10. (3x) Gx
{8 and 9 contradicts}
Match the lines with what rules it used.
Prompts
4. (X)-GX
6. -Fa
7. (Fa v Ga)
9.Ga
{from 3}
{from 2}
Submitted Answers
Reverse Squiggle
Drop Existential
Drop Universal
Disjunctive Syllogism (DS)
Transcribed Image Text:Analyze the proofing below: 1. (x) (Fx v Gx) 2. ~ (x) Fx .. (3x) Gx 3. asm: ~ (3x) Gx 4. (x) ~ Gx 5. (3x) ~ Fx 6. ~ Fa {from 5} 7. (Fa v Ga) {from 1} 8. ~ Gx {from 4} 9. Ga {from 7 and 6} 10. (3x) Gx {8 and 9 contradicts} Match the lines with what rules it used. Prompts 4. (X)-GX 6. -Fa 7. (Fa v Ga) 9.Ga {from 3} {from 2} Submitted Answers Reverse Squiggle Drop Existential Drop Universal Disjunctive Syllogism (DS)
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
MATLAB: An Introduction with Applications
MATLAB: An Introduction with Applications
Statistics
ISBN:
9781119256830
Author:
Amos Gilat
Publisher:
John Wiley & Sons Inc
Probability and Statistics for Engineering and th…
Probability and Statistics for Engineering and th…
Statistics
ISBN:
9781305251809
Author:
Jay L. Devore
Publisher:
Cengage Learning
Statistics for The Behavioral Sciences (MindTap C…
Statistics for The Behavioral Sciences (MindTap C…
Statistics
ISBN:
9781305504912
Author:
Frederick J Gravetter, Larry B. Wallnau
Publisher:
Cengage Learning
Elementary Statistics: Picturing the World (7th E…
Elementary Statistics: Picturing the World (7th E…
Statistics
ISBN:
9780134683416
Author:
Ron Larson, Betsy Farber
Publisher:
PEARSON
The Basic Practice of Statistics
The Basic Practice of Statistics
Statistics
ISBN:
9781319042578
Author:
David S. Moore, William I. Notz, Michael A. Fligner
Publisher:
W. H. Freeman
Introduction to the Practice of Statistics
Introduction to the Practice of Statistics
Statistics
ISBN:
9781319013387
Author:
David S. Moore, George P. McCabe, Bruce A. Craig
Publisher:
W. H. Freeman