Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

symbolic logic

You are here: irt.org | FOLDOC | symbolic logic

<logic> The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, whose purpose is to avoid the ambiguities and logical inadequacies of natural language.

(1995-12-24)

Nearby terms: symbolic inference « Symbolic Link « symbolic link « symbolic logic » Symbolic Mathematical Laboratory » symbolic mathematics » Symbolic Optimal Assembly Program

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb