символічна логіка

СИМВОЛІЧНА ЛОГІКА — назва сучасної логіки, що наголошує її головну особливість — застосування символів, розробку знакових систем для аналізу міркувань.