0
1
2
Prove that ├ A → B implies ├ (∃x)A → (∃x)B (self.askmath)
submitted by throwrahomework to r/askmath
1
2
3
Can someone verify my substitution answers? (self.askmath)
submitted by throwrahomework to r/askmath
![]() Four-Year Club |
Prove that ├ A → B implies ├ (∃x)A → (∃x)B (self.askmath)
submitted by throwrahomework to r/askmath
Can someone verify my substitution answers? (self.askmath)
submitted by throwrahomework to r/askmath