¿Cómo se escriben las proposiciones? Vayamos a la Sintaxis
Las proposiciones se encuentran en lenguaje coloquial , y la lógica tiene su propio lenguaje para simbolizar las proposiciones y los conectivos que es el lenguaje simbólico . Como ya mencionamos en posteos anteriores, las proposiciones se representan con las letras: p , q , r , ... que se denominan variables proposicionales , y los conectivos, con los signos: ~ , ^ , v , ⇒, ⇔ , u otros, según las convenciones adoptadas por cada autor. La sintaxis describe como escribir las proposiciones en el lenguaje coloquial. Por lo que es preciso definir unas reglas de escritura correcta de estas " FÓRMULAS ", a partir de las reglas usualmente admitidas para construir frases en el lenguaje real. Entonces diremos que una fórmula sintácticamente correcta se define de acuerdo con las siguientes reglas: Las variables proposicionales p , q , r , s , ... son fórmula correctamente formadas. Si A y B son fórmulas correctas, tambié...