Explore BrainMass

Quantificational formal logic

(See attached file for full problem description with proper symbols)

Premise : (Ex) (Ey) (Axy v Bxy)  (Ez) (Cz)
Premise : (x) (y) (Cx  ~Cy)
Conclusion : /. : (x)(y)(~Axy)

The E's should be backwards. I couldn't find a symbol for it. The /.: means concludes
This symbol  means implies.
The x means for all x


Solution Summary

This solution is comprised of a detailed explanation to answer Quantificational formal logic problem.