Em Lógica, a Lei do Terceiro Excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento. Ela afirma que  para qualquer proposição, ou esta proposição é verdadeira, ou sua negação é verdadeira.