Talk:Artificial Intelligence/Logic/Representation/Propositional calculus

Useful?
Is this page necessary in the light of Discrete mathematics/Logic? I've listed Discrete mathematics as a prerequisite for this book because of this and other directly relevant topics that I'd expect it to introduce (trees and tree searching, probability, etc.). It seems time would be better spent here focusing on propositional logic in the context of AI. --Mrwojo (talk) 03:49, 5 January 2009 (UTC)