Use a non-systematic truth tree to test the following argument for validity. If it is invalid, specify the relevant part
Posted: Thu May 12, 2022 10:16 am
Use a non-systematic truth tree to test the following argument for validity. If it is invalid, specify the relevant parts of an interpretation that counterexamples the argu- ment. (Wx)-x =a = (Hy)Gyx), Gbc/:.-c=a