sábado, 26 de septiembre de 2009

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.


No hay comentarios:

Publicar un comentario en la entrada