boolean logic
Related entries include:
principle of non contradiction
;