El principio de no contradicción (PNC), o a veces llamado principio de contradicción, ley de la contradicción[1]​ o ley de no contradicción,[2]​ es un principio clásico de la lógica y la filosofía, según el cual una proposición 
  
    
      
        (
        A
        )
      
    
    {\displaystyle (A)}
   y su negación 
  
    
      
        (
        ¬
        A
        )
      
    
    {\displaystyle (\neg A)}
   no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.[3]​ El principio también tiene una versión ontológica: nada puede ser y no ser al mismo tiempo y en el mismo sentido; y una versión doxástica: nadie puede creer al mismo tiempo y en el mismo sentido una proposición y su negación.[4]​ El principio de no contradicción es, junto con el principio de identidad y el principio del tercero excluido, una de las leyes clásicas del pensamiento lógico.[5]​ Aristóteles, quien fue uno de los primeros en formularlo, lo consideró como el "primer principio", pues de él surgen los demás.[4]​
El principio de no contradicción puede expresarse en el lenguaje de la lógica proposicional. Si A es una metavariable que representa una fórmula cualquiera, entonces el principio de no contradicción se expresa como tautología:

  
    
      
        ¬
        (
        A
        ∧
        ¬
        A
        )
      
    
    {\displaystyle \neg (A\land \neg A)}
    es verdadera.El principio de no contradicción permite juzgar como falso todo aquello que implica una contradicción. De ahí la validez de los argumentos por reducción al absurdo.