Hi there, looking for help with 5-6 questions in an assignment on the following topics.
The First-Order Language of Predicate Logic
Axioms and Rules of First-Order Logic Inserting and Removing (x)
Leibniz Rules that Affect Quantifier Scopes
Inserting and Removing (x)
It has a 1.5 hour deadline, so someone currently online and knowledagle in Discreet math 2 would be ideal
Based on chapters 4.1, 4.2, 6.1, 6.2, 6.4 and 6.5 of attached textbook. Thank you
