Good morning,
This is my first time writting in this page, but I am finding trouble solving some exercises about first order logic. I know the tools I have but I am not sure how should I apply them. I attach some exercises and I hope someone could bring me some light about any of them. I need to prove those implications. (The last one says that x does not happen in phi. enter image description here
