The Propositional Calculus
Carom Maths provides this resource for teachers and students of A Level mathematics.
This presentation challenges students to use the rules they have been given to develop a logical system and deduce theorems which prove that the system is complete and consistent and introduces the idea of truth tables to achieve this aim.
The activity is designed to explore aspects of the subject which may not normally be encountered, to encourage new ways to approach a problem mathematically and to broaden the range of tools that an A Level mathematician can call upon if necessary.
Show health and safety information
Please be aware that resources have been published on the website in the form that they were originally supplied. This means that procedures reflect general practice and standards applicable at the time resources were produced and cannot be assumed to be acceptable today. Website users are fully responsible for ensuring that any activity, including practical work, which they carry out is in accordance with current regulations related to health and safety and that an appropriate risk assessment has been carried out.