Update for 2023

hw4.tex

@@ -14,7 +14,7 @@
     {\TextHomeworkEng~\#4}
     {Formal Logic}
     {\TextDiscreteMathEng}
-    {\IconFall~Fall 2022}
+    {\IconFall~Fall 2023}
 
 %% Add custom setup below
 
@@ -108,7 +108,7 @@
 
     \item Symbolize the given arguments with well-formed formulae (WFFs) of propositional logic.
     For each argument, determine its validity using a truth table.
-    For each \textit{valid} argument, provide a deductive formal proof\footnote{You can check your proofs at \url{https://proofs.openlogicproject.org}. However, note that some inference rules may be missing here, \eg contraposition and commutativity \--- nevertheless, you are still allowed to use them in this task.} in Fitch notation.
+    For each \textit{valid} argument, provide a deductive formal proof\footnote{You can check your proofs at \url{https://proofs.openlogicproject.org}. Note that some inference rules may be missing here, \eg contraposition and commutativity \--- nevertheless, you are still allowed to use them in this task.} in Fitch notation.
     For each \textit{invalid} argument, provide a counterexample valuation.
 
     \begin{subtasks}