Learning the formal "grammar" of logical symbols and how they map to truth values.
A system of proof where you derive a conclusion from premises using specific rules of inference. Part B: Predicate Logic (PL)
Applying proof techniques to quantified statements. 3. Assessment and Grading phil1068 hku
Learning how to use logic to express concepts of "sameness".
A Comprehensive Guide to PHIL1068: Elementary Logic at HKU is one of the most popular and foundational elective courses offered by the Department of Philosophy at The University of Hong Kong (HKU) . Whether you are a Philosophy major, a Computer Science student looking to sharpen your algorithmic thinking, or simply a student from any faculty seeking to improve your reasoning skills, this course offers a rigorous yet accessible introduction to the world of formal symbolic logic. Learning the formal "grammar" of logical symbols and
There are no prior knowledge requirements in mathematics or philosophy. However, students who have already taken similar logic courses like PHIL1006 or PHIL2510 are generally barred from enrolling. 2. The Curriculum: What You Will Learn
Below is an in-depth exploration of what to expect from PHIL1068, its curriculum, and how to succeed. 1. Course Overview and Format Whether you are a Philosophy major, a Computer
The course is a comprehensive introduction to , divided into two primary sections: Sentential (Propositional) Logic and Predicate Logic . Part A: Sentential Logic (SL)
This section focuses on arguments involving logical connectives such as "and," "or," "not," and "if…then". Key topics include:
©2023 CubeSmart. All rights reserved.