formal logic subgroup of logic, 3 assertions
CapableOf 3
study mathematical reas… 0.25
deal with contradiction 0.25
encompass wide variety … 0.25