8. {(Vx)(Fx ɔ -Gx), (Vx)(Fx ^ H x)}/ .. (3x)¬Gx

Elementary Geometry For College Students, 7e
7th Edition
ISBN:9781337614085
Author:Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.
Chapter2: Parallel Lines
Section2.CT: Test
Problem 3CT: To prove a theorem of the form "If P, then Q" by the indirect method, the first line of the proof...
icon
Related questions
Topic Video
Question

Pease answer question 8 only

In each of the following construct a derivation in CEL of the conclusion from the premises.
6. {(Vx)(Vy)[(FXAGY) Hxy], (x)(3y)[Fx^¬Fy)^¬Hxy}}
1. (3x)(¬Fx A-Gx)
8. {(Vx)(Fx ɔ ¬Gx), (Vx)(Fx A Hx)}/.. (3x)¬Gx
11. -(Vx)-Fx/ . (Ex)Fx
15. (3x)[Fx Ɔ (3y)Gy]/.. (Vx)Fx ɔ (Ex)Gx
Transcribed Image Text:In each of the following construct a derivation in CEL of the conclusion from the premises. 6. {(Vx)(Vy)[(FXAGY) Hxy], (x)(3y)[Fx^¬Fy)^¬Hxy}} 1. (3x)(¬Fx A-Gx) 8. {(Vx)(Fx ɔ ¬Gx), (Vx)(Fx A Hx)}/.. (3x)¬Gx 11. -(Vx)-Fx/ . (Ex)Fx 15. (3x)[Fx Ɔ (3y)Gy]/.. (Vx)Fx ɔ (Ex)Gx
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Research Design Formulation
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Elementary Geometry for College Students
Elementary Geometry for College Students
Geometry
ISBN:
9781285195698
Author:
Daniel C. Alexander, Geralyn M. Koeberlein
Publisher:
Cengage Learning