Use a non-systematic truth tree to determine whether the following sentences are quantificationally true. If one of them
Posted: Thu May 12, 2022 3:35 pm
Use a non-systematic truth tree to determine whether the following sentences are quantificationally true. If one of them is not quantificationally true, specify the rel- evant part of an interpretation that demonstrates that. (a) (Ex)(y)-x = y (b) (Wx)(Vy)[x = y(V2)Fxz =Fyz)]