Groupoids And Semigroups In Logic An Argument