Рет қаралды 64
Logic Course
Explanation of formal proof rule AIntro, universal generalization. Relates to material in Chapter 31 (esp 31.1-2) in the Logic Course Adventure textbook (logiccourse.com).