Diferencia entre revisiones de «Lógica proposicional»
Contenido eliminado Contenido añadido
Deshecha la edición 38800108 de 189.216.24.91 (disc.) |
|||
Línea 173:
El alfabeto de un sistema formal es el conjunto de símbolos que pertenecen al lenguaje del sistema. Si L es el nombre de este sistema axiomático de lógica proposicional, entonces el alfabeto de L consiste en:
* Una cantidad finita pero arbitrariamente grande de variables proposicionales. En general se las toma del alfabeto latino, empezando por la letra ''p'', luego ''q'', ''r'', etc., y utilizando subíndices cuando es necesario o conveniente. Las variables proposicionales representan
* Un conjunto de [[operador]]es lógicos: <math>\neg, \and, \or, \to, \leftrightarrow</math>
* Dos signos de puntuación: los paréntesis izquierdo y derecho. Su única función es desambiguar ciertas expresiones ambiguas, en exactamente el mismo sentido en que desambiguan la expresión 2 + 2 ÷ 2, que puede significar tanto (2 + 2) ÷ 2, como 2 + (2 ÷ 2).
| |||