Help! Predicate Logic Proof!?

I need help with this predicate logic proof. I can use existential instantiation, universal generalization, existential generalization, universal instantiation, any of the basic rules of inference, replacement rules, and CP and IP.

Any help would be appreciated!

1. (x)(Fx ⊃ Gx)

2. ~((∃x)Gx v (∃x)Hx)

The conclusion I need to find is : ~(∃x)Fx

Please enter comments
Please enter your name.
Please enter the correct email address.
You must agree before submitting.

Answers & Comments


Helpful Social

Copyright © 2024 Q2A.ES - All rights reserved.