Reglas para construir enunciados correctamente a partir de los elementos básicos

¿Cuáles son?

1. Todo átomo es un enunciado.
2. Si A es un enunciado, entonces (⌐A) también lo es.
3. Si A y B son enunciados, entonces (A⋀B), (A⋁ B) y (A→ B) también lo son.
4. Cualquier enunciado se obtiene de la aplicación de las tres reglas anteriores.