1.4 Formas Proposicionales

Definición (Formas Proposicionales).
Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales y los operadores logicos que las relacionan.

Estas formas proposicionales se representan con las letras mayúsculas del alfabeto español
A, B, C..

Observaciones
* Las formas proposicionales no tienen valor de verdad conocido y, por lo tanto, no serán consideradas proposiciones. Si cada variable proposicional es reemplazada po una proposicion simple o compuesta, la forma proposicional se convierte en una proposicion.

*Si reemplazamos a las variables proposicionales por proposiciones verdaderas o falsas, el numero de proposiciones que se generan es 2n , siendo n el numero de variables proposicionales.

*Las formas proposicionales pueden ser conectadas con operadores logicos para formar nuevas proposicionales. Dadas A y B, los simbolos ¬A, A^B, AvB, A→B y A←→B representan nuevas formas proposicionales.