Logical Reasoning

Symbolic representations and Logical Inference