Lenguaje simbólico utilizado para analizar las relaciones lógicas entre afirmaciones completas o proposiciones, sin considerar la sintaxis interna (significado) ni la estructura de dichas afirmaciones. Se ocupa de las implicaciones, negaciones, conjunciones y similares.