1. Math
  2. Advanced Math
  3. if l is obtained from b by erasing all quantifiers...

Question: if l is obtained from b by erasing all quantifiers...

Question details

If L is obtained from B by erasing all quantifiers (orall x) or ar whose scope does not contain x free, prove that vdash BLeftrightarrow L

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution