Formas Proposicionales

 Se denomina forma proposicionales a las estructuras constituida por variables proporcionales y los operadores lógicos que los relacionan  P constituye una variable proposicional cuando puede representar a una proposición simple o compuestas.