that's informal logic. formal logic is mathematical.https://en.wikipedia.org/wiki/Informal_logichttps://en.wikipedia.org/wiki/Logic#Formal_logic
with the first two laws you wouldn't need the third