Index of concepts for Week 03

• denotation
• logical conjunction
• logical conjunction (nested)
• logical disjunction
• logical equivalence
• logical negation
• modus ponens
• modus tollens
• tCPA constructor (conj)
• tCPA keyword (Abort)
• tCPA keyword (Admitted)
• tCPA keyword (admit)
• tCPA keyword (Proof)
• tCPA keyword (Qed)
• tCPA tactic (apply)
• tCPA tactic (destruct)
• tCPA tactic (exact)
• tCPA tactic (intro)
• tCPA tactic (intros)
• tCPA tactic (reflexivity)
• tCPA tactic (revert)
• tCPA tactic (rewrite)
• tCPA tactic (split)
• tCPA tactic (symmetry)
• tCPA tactic (unfold)

Version

Added an entry about nested logical conjunctions [19 May 2025]

Completed the list of concepts [31 Jan 2025]

Created [31 Jan 2025]