La lógica proposicional estudia las proposiciones y los símbolos utilizados para formar nuevas proposiciones que pueden ser verdaderas o falsas de acuerdo con reglas formales. Analiza enunciados aseverativos que afirman algo y cuyo valor de verdad puede determinarse como verdadero o falso con respecto a la realidad. Incluye proposiciones simples y compuestas unidas por conectivos lógicos, cuyo valor de verdad depende de las proposiciones que las componen y de cómo están