Fill in the missing steps of the proof that (Ex)(CxVDb) proves
(Ex)(Cx)VDb. Put both the missing sentences as well as missing
proof rules, sometimes you'll need to put in a missing sentence as
well as the proof rule used to derive it.
IMPORTANT: When doing Existential Elimination, always begin with
the constant 'a', and then 'b', and so on down the alphabet. This
is only in order for the answer key to recognize your answers
properly.
Fill In The Missing Steps Of The Proof That Ex Cxvdb Proves Ex Cx Vdb Put Both The Missing Sentences As Well As Mi 1 (134.11 KiB) Viewed 15 times
Fill in the missing steps of the proof that (Ex)(CxVDb) proves (Ex)(Cx)VDb. Put both the missing sentences as well as missing proof rules, sometimes you'll need to put in a missing sentence as well as the proof rule used to derive it. IMPORTANT: When doing Existential Elimination, always begin with the constant 'a', and then 'b', and so on down the alphabet. This is only in order for the answer key to recognize your answers properly. (Ex)(CxVDb) -(Ex)Cx&--Db De Morgan's Law -(Ex)Cx --Db (Ex)CxVDb
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!