Merge pull request #34 from lamafab/patch-1

Author: sglavoie

level-4/discrete-mathematics/student-notes/fabio-lama/README.md

@@ -10,7 +10,7 @@ errors.
 * [Set Theory](./cheatsheet_set_theory.pdf)
 * [Universal Set, Complement and Laws](./cheatsheet_universal_set_complement_laws.pdf)
 * [Functions](./cheatsheet_functions.pdf)
-* [Propositional & First-order Logic](/level-4/fundamentals-of-computer-science/student-notes/fabio-lama/cheatsheet_propositional_logic.pdf)
+* [Propositional & First-order Logic](/level-4/fundamentals-of-computer-science/student-notes/fabio-lama/cheatsheet_predicate_propositional_logic.pdf)
   * (covered in the Authors _Fundamentals of Computer Science_ module notes)
 * [Postulates of Boolean Algebra](./cheatsheet_postulates_boolean_algebra.pdf)
 * [Logic Gates](./cheatsheet_logic_gates.pdf)