Philosophy Now Forum

Hi! I have made an exercise in sentential logic, and would like to hear, whether you think it is correctly done. Task: If God is willing to prevent evil, but unable to do so, he is impotent. If God is able to prevent evil but unwilling to do so, he is malevolent. Evil exist if and only if God is wil...

Hi! I have been trying to solve the following semantic tree in first order predicate logic, and could use some help regarding the variables and constants. (sorry by quantifiers, but I could only type them with letter). -(Ey)(Ex)Syx, (Vy)(Vx)(Rxy --> Sxy) ╞ (Vx)(Vy)-Ryx -(Ey)(Ex)Syx...