Learning Outcomes:
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
Indicative Module Content:
- logical concepts such as validity and soundness
- propositional logic
- the truth table method
- quantificational logic