This week, we started learning about relations and functions. We learned about binary relations and the properties of reflexivity,...

This week, we learned about a few new rules that can be applied with first-order logic: Universal Instantiation, to eliminate the...

Once we assessed the limitations of propositional logic, we introduced the topic of first-order logic. First-order logic includes proper...

This week we started off learning about conditional derivation. In order to derive implication, one must employ the use of a subproof. A...