¿Qué es la lógica proposicional?

Es el proceso del pensamiento que analiza las relaciones entre proposiciones, así como la verdad o falsedad de los mismas. Contienen tres elementos básicos: variables, conectores y auxiliares; y cinco conceptos fundamentales: Enunciado, proposición, premisa, argumento y conclusión.

• Elementos básicos
  ¿Qué son las variables?
  Son letras que usamos para denotar los enunciados. Por ejemplo: P, q, s, g, f
  ¿Qué son los conectores?
  Son símbolos que ayudan a conectar los enunciados. **Por ejemplo: ->, <->, ∞, - **
  ¿Qué son los auxiliares?
  Son signos de agrupación que nos permiten agrupar y organizar los enunciados. Por ejemplos: (), [], {}

• Conceptos fundamentales
  ¿Qué son enunciados?
  Son oraciones con una idea, con estrutura básica: Sujeto + Verbo + Complemento
  ¿Qué son proporciones?
  Son enunciados que se les puede dar un valor de Falso o Verdadero
  ¿Qué son premisas?
  Son enunciados o proposiciones que ya están afirmadas.
  ¿Qué son argumentos?
  Son un conjunto de premisas que comparten una lógica
  ¿Qué son conclusiones?
  Son el resultado de un grupo de premisas que comparten una lógica.