Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
Línea 48:
* Las expresiones construidas con los elementos de la lógica proposicional deben ser fórmulas bien formadas.
* Los paréntesis permiten indicar sin ambigüedades el significado de las expresiones con múltiples conectivas lógicas.
* Las fórmulas bien formadas son proposiciones atómicas, la negación de otras fórmulas bien formadas o la combinación de dos fórmulas bien formadas mediante las conectivas lógicas de conjunción, disyunción o implicación y
== Términos clave ==
| |||