Основные законы логики: тождества, непротиворечия, исключенного третьего и достаточного основания. Применяются в математике, философии, компьютерной науке