Show :$(\forall x A) \to A ${$x/t$} wouldnt be a Tautology if we didnt rename bounded variables in substitution.
I have been trying countless Formulas for A but all of them end up Tautologies. Can i get some hint on what to try ?
2026-04-05 02:01:52.1775354512
Show :$(\forall x A) \to A ${$x/t$} wouldnt be a Tautology if we didnt rename bounded variables in substitution.
20 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
How about $\forall x \exists t ~ t > x$