AIs also need to come to logical conclusions through reasoning. 

Many instances of reasoning in AIs is done through propositional logic.