3. Propositional Reasoning in Isabelle Flashcards
1
Q
What is the cut rule?
A
2
Q
Why do we need the cut rule?
A
Allows us to use a lemma in a proof
What is the cut rule?
Why do we need the cut rule?
Allows us to use a lemma in a proof
Key Links
Subjects
Company
Find Us
