Science and Mathematics
Symbolic Logic
Mathematics 303
A thorough treatment of the techniques of formal reasoning. Topics include truth-functional logic, quantification logic and construction of correct deductions.
A thorough treatment of the techniques of formal reasoning. Topics include truth-functional logic, quantification logic and construction of correct deductions.