Ifuwannabepretty
New member
- Joined
- Oct 21, 2021
- Messages
- 1
Problem : Show that L = {∃xPx, ¬Pvo, ¬Pv1.. } is satisfiable
I change That by
{ ¬(∀x) ¬Px , (∀y) ¬Py }
and by Principle of excluded middle It is not satisfiable
I wonder this have Error some where..
I change That by
{ ¬(∀x) ¬Px , (∀y) ¬Py }
and by Principle of excluded middle It is not satisfiable
I wonder this have Error some where..