symblic lgic n. 記号論理学《特に, 19 世紀末から急速に発展した, 数学的な記号表記や演算・証明法を駆使する論理学; mathematical logic ともいう》. 1856