Today’s Topics. Using CP and RAA Things to watch for, things to avoid Strategic hints for using CP and RAA A Little Metalogic and some History of Logic and Mathematics. Using CP and IP.
A system of logic is COMPLETE if every tautology in the system is a theorem. A system of logic is SOUND if every theorem is a tautology. Our 18 rules plus CP are both complete and sound.