Deductions
- mathematical logic is part of science, technology, engineering, and mathematics ⇐ (mathematical logic is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- field of study is for example mathematical logic ⇐ (mathematical logic is a field of study), (is a is inverse of is for example)
- academic discipline is for example mathematical logic ⇐ (mathematical logic is a academic discipline), (is a is inverse of is for example)
- area of mathematics is for example mathematical logic ⇐ (mathematical logic is a area of mathematics), (is a is inverse of is for example)
- mathematical logic is a field of study ⇐ (academic discipline is subclass of field of study), (mathematical logic is a academic discipline)
- mathematical logic is a academic discipline ⇐ (area of mathematics is subclass of academic discipline), (mathematical logic is a area of mathematics)