La lógica proposicional se ocupa del análisis de las expresiones y proposiciones compuestas y simples. Cada proposición está formada por un sujeto, verbo y predicado. Se utilizan signos de agrupación para separar variables y los conectivos lógicos enlazan proposiciones.