Reglas sintácticas:

Las pruebas de validez, como parte del cálculo proposicional, conforman un

método lógico que, a partir de un conjunto de reglas bien definidas, permite
realizar inferencias válidas, a partir de premisas conocidas como fórmulas
bien formadas, es decir, premisas y argumentos bien estructurados. Para eso
se cuenta con las siguientes reglas que nos permiten construir fórmulas bien
formadas.

Primera regla: Sólo se empleará una letra para una proposición simple o
atómica.

Segunda regla: Toda letra del cálculo proposicional será considerada una
fórmula bien formada.

Tercera regla: Si algo es considerado una fórmula bien formada, entonces, la

negación de ese algo también será una fórmula bien formada.

Cuarta regla: si dos cosas son fórmulas bien formadas, entonces, la unión de
ellas unidas a través de un conectivo lógico y/o encerradas entre paréntesis,
también será considerada una fórmula bien formada.