Iโm learning Boolean Logic in my Discrete Mathematics course, and itโs really cool! Lots of writing for the proofs though ๐ฎโ๐จ
I like logic too, the proofs at the beginning can be done almost exclusively by truth tables and de Morgan laws (at least at Introductory level course). Anyway, best luck and fun from it!
Thanks! Iโm just beginning to learn about types of proofs, I think this course just provides an overview of some common ones (I learned proofs by exhaustion, proofs by counterexample and direct proofs today). Hard work, thinking through the processes ๐
Iโm learning Boolean Logic in my Discrete Mathematics course, and itโs really cool! Lots of writing for the proofs though ๐ฎโ๐จ
I like logic too, the proofs at the beginning can be done almost exclusively by truth tables and de Morgan laws (at least at Introductory level course). Anyway, best luck and fun from it!
Thanks! Iโm just beginning to learn about types of proofs, I think this course just provides an overview of some common ones (I learned proofs by exhaustion, proofs by counterexample and direct proofs today). Hard work, thinking through the processes ๐
You probably know it, but just in case, for me one of the best books (very nicely explaining) is Rossi: https://books.google.pl/books/about/Theorems_Corollaries_Lemmas_and_Methods.html?id=kSwVGbBtel8C&redir_esc=y