Ascent++ | formal logic

Assertion list

formal logic (subgroup of logic ) → CapableOf

Results from Ascent++: 3

formal logic → CapableOf → deal with contradiction	0.25
formal logic → CapableOf → encompass wide variety of logic…	0.25
formal logic → CapableOf → study mathematical reasoning	0.25