Show/hide contentOpenClose All
Curricular information is subject to change
If you complete the module, you should be able to
- Identify valid and invalid arguments
- Recognise correct translations of sentences and arguments from ordinary language into the language of propositional logic or quantificational logic - and vice versa
- Construct and interpret truth tables to determine the validity or invalidity of deductive arguments and logical properties (e.g. consistency or contradiction) of complex sentences
- Translate sentences and arguments from ordinary language into the language of propositional logic or quantificational logic
- logical concepts such as validity and soundness
- propositional logic
- the truth table method
- quantificational logic
Student Effort Type | Hours |
---|---|
Lectures | 20 |
Tutorial | 7 |
Autonomous Student Learning | 98 |
Total | 125 |
None
Learning Exclusions:None
Learning Recommendations:Description | Timing | Component Scale | % of Final Grade | ||
---|---|---|---|---|---|
Not yet recorded. |
Resit In | Terminal Exam |
---|---|
Spring | Yes - 2 Hour |
• Feedback individually to students, post-assessment
• Online automated feedback
• Self-assessment activities
Not yet recorded.
Name | Role |
---|---|
Pepa Mellema | Tutor |