symbolic logic

What makes human brains special, compared to a computer, is that their nuts-and-bolts can run more than symbolic logic.

The most remarkable result of modern methods in mathematics is the importance of symbolic logic and of rigid formalism.

Symbolic logic has to do with the world of discourse, not with the world of things.

As Charles L. Dodgson, a mathematician famous for his work in symbolic logic.

Gerd was at the desk, spoiling notepaper in an effort to work something out by symbolic logic.

It means that the computers cannot give accurate answers according to the symbolic logic tables unless they get full information.