AIs also need to come to logical conclusions through reasoning

Many instances of reasoning in AIs is done through propositional logic