Logic

math:logic

The study of valid reasoning and formal systems (論理学).