Mathematical logic and philosophical logic are commonly associated with this type of reasoning.
المنطق الرياضي والمنطق الفلسفي عادة ما يرتبطان بهذا النمط من التفكير.