AIC1 Logic Propositional Logic (Calculus) First Order Logic Based on Russell and Norvig slides.
1 CMSC 471 Fall 2002 Class #10/12–Wednesday, October 2 / Wednesday, October 9.
Propositional Logic First Order Logic Based on Russell and Norvig slides
CMSC 471 Fall 2002