Excluded middleIdentityNon-contradictionExcluded middle