This may not be the notation that we use at BYU to construct proofs for truth functional logic, but it is just a little taste of what I dread and distaste very much. For some proofs are rather simple and can be fun. For me, I often get confused, lost, etc. The thing about proofs is that you can easily feel like you've just lost your ability to see. Wow, what a tricky thing. So today I had a BAD experience with proofs. Hence, the blog post. I will be better in a little while when my brain recooperates from thinking.
No comments:
Post a Comment