4 ms·
To be fair, on the pure logic side (forgetting about what the link is really about, i.e. selling scams), it is true that any ∀ ∃ can be turned into a ∃ ∀. It's
by henearkr 3y ago
To be fair, on the pure logic side (forgetting about what the link is really about, i.e. selling scams), it is true that any ∀ ∃ can be turned into a ∃ ∀. It's called skolemization.