|
|
LÓGICA DE ENUNCIADOS |
| 4. SINTAXIS DE LA LÓGICA PROPOSICIONAL: FÓRMULAS BIEN FORMADAS | ||
| La
sintaxis de la lógica proposicional son unas 8 Reglas de
simbolización que nos indican cuando una fórmula está bien formada: R.1. Si A es un enunciado simple, la expresión "no A" se simboliz por "¬A". R.2. Si A, B son enunciados, la relación "A ó B" ( inclusiva) se simboliza por " A٧ B". R.3. Si A, B son enunciados, la relación "A o B" ( exclusiva) se simboliza por " A ٧ B". R.4. Si A,B son enunciados, la relación "A y B" se simboliza por "A٨B". R.5 Si A,B son enunciados, la relación " Si A, entonces B" se simboliza por "A→B". R.6.Si A,B son enunciados, la relación " Si y solo si B" se simboliza "A↔B". R.8. Ningún signo es variable o consante lógica proposicional, sino es en virtud de las reglas de simbolización 1-7 Veamos a ver algunos ejemplos de Fórmulas bien formadas y mal formadas: |
||
| |
Fíjate en las fórmulas bien
formadas de las dos
escenas. ünicamente la negación puede ir sola con una
variable atómica o
diversas variables moleculares unidas por un paréntesis, a la izquierda
de estas variables. Las otras conectivas siempre están entre dos variables, o grupos de variables moleculares, y unen dos variables entre sí. Nunca van solo con una variable atómica o con diversas variables moleculares unidas por un paréntesis. Tanto a su izquierda y como a su derecha han de tener variables atómicas o moleculares.
|
|
| 7.- Escribe en
tu bloc de notas tres fórmulas bien formadas con la negación 8.- Anota en tu cuaderno cinco Fórmulas bien formadas con las demás conectivas. |
||
|
|||||||||||||
Los
contenidos de esta unidad didáctica están bajo una licencia
de Creative Commons si no se indica lo contrario.
