Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»

Las proposiciones atómicas y las conectivas lógicas son los componentes básicos de la lógica proposicional y a partir de ellas se pueden construir proposiciones complejas que se pueden usar para sacar conclusiones. Sin embargo, no se pueden combinar de forma arbitraria. Es necesario que tengan una estructura que se ajuste a la gramática de este tipo de lógica. Para garantizar que una expresión sea una fórmula bien formada debemos seguir estas reglas:<ref name="lau" />