Hi guys, I just want to run this proof by you, just to see if I'm correct. I have to prove the following:
where,
Firstly, given that , and that if , then , we have that .
Secondly, pick a . Then this is such that for some , with , we have that . But, given the transitivity property, , to conclude that . Thus, .
Combining the two, we conclude that .
Thanks in advance,
HTale
That looks a whole lot more elegant than what I've written! The only problem is, this was a problem set today, in our first ever lecture on logic, so I'm new to some of the notation that you've presented above. Do you mind explaining what the square and round brackets mean in the first line?
Thanks in advance.