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